• 시스템엔지니어링워크숍
• /
• s.1
• /
• pp.1-8
• /
• 2003

시스템 개발환경이 대형화, 복잡화됨에 따라 개발 생명주기의 각 단계에서 발생하는 요건은 기술적, 관리적 측면에서 많은 영향을 받게 되었다. 즉, 개발 생명주기의 초기단계에서 요건에 대한 잘못된 이해나 분석, 개발 영역에 대한 충분한 이해와 관리의 부재 및 계속적인 변경 요구는 부정확성하고 불완전한 요건을 발생시키고, 다른 요건과의 충돌 및 일관성 결여 등을 발생시킬 수 있다. 이러한 결과는 전체적인 시스템의 완전성과 성능 등에 커다란 영향을 주고 유지보수에 많은 비용과 노력을 요구한다. 본 연구에서는 이러한 문제점을 해결하기 위하여 실무 프로젝트 개발에 적용할 수 있도록 요건관리와 관련된 프로세스와 활동을 요구공학을 기반으로 완전성과 일치성을 가진 요구사항의 생성 및 관리 등을 포함하는 총체적인 활동과 원칙에 대한 공학적 접근을 제시하여 전체 소프트웨어 개발비용과 위험부담을 경감시키며 품질향상을 이룰 수 있도록 한다. 또한, 각 업무 도메인과 개발 환경에 따라 적절하게 적용할 수 있도록 프로세스와 활동을 커스터마이징 및 컴포넌트화하고 요구사항 관리 도구의 프로토타입을 제시한다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.20 no.9
• /
• pp.1666-1672
• /
• 2016

In recent years, smart technology has been applied to various information system fields. Especially, traditional library service area is changing to Smart-Library from Digital-Library. In this environment are need to library service software platform for supporting variety content, library services, users and smart-devices. Due to this, existing library service has a limitation that inhibits semantic interoperability between different heterogeneous library systems. In this paper, we propose Linked-Open-Data based smart library as an archetype of future-library system that provide a variety content and system interaction and integration of services. It is an innovative system of the cutting-edge information intensive. Therefore, we designed system environments according to various integration requirements for smart library based on Linked-Open-Data. And, we describe the functional requirements of smart-library systems by considering the users' demands and the eco-systems of information technology. In addition, we show the reference framework, which can accommodate the functional requirements and provide smart knowledge service to user through a variety of smart-devices.

• Annual Conference of KIPS
• /
• 2019.10a
• /
• pp.691-693
• /
• 2019

현실적으로 요구사항의 불명료성은 테스트 케이스 추출에 어려움을 초래한다. 명료한 요구사항 기반의 사용자 승인 테스트는 소프트웨어의 올바른 품질을 증가시키고, 유지보수 비용을 감소시킨다. 하지만 중소기업에서는 촉박한 개발 기간, 테스트 도구 구매 비용의 부담, 낮은 테스트 기술 레벨 등의 이유로 좋은 품질의 테스트를 수행하기가 힘들다. 이러한 문제점의 해결을 위해 말뭉치 정규화를 이용한 의미 규칙으로 불명료한 요구사항을 간결하고 명료한 요구사항으로 변경하기 위한 메커니즘을 제안한다. 또한 이를 원인-결과 그래프 자동 생성하는 방법을 제안한다. 이는 원인-결과 그래프를 통해 테스트케이스를 최대한 생성하는 기초가 될 수 있다.

• Annual Conference of KIPS
• /
• 2012.04a
• /
• pp.1219-1222
• /
• 2012

Synthesis 기술은 요구사항을 입력 받아서 자동적으로 시스템을 생성한다. 그러므로 생성된 시스템에 대한 추가적인 테스팅과 검증을 요구하지 않는다는 장점이 있지만 자연어가 아닌 특별한 형태의 논리식으로 요구사항을 기술하기 때문에 정확하게 변환되었는지, 누락된 요구사항이 있는지 확인하는 과정이 반드시 필요하다. 이러한 Synthesis 기술을 로봇 계획 분야에 적용하면 다중 로봇의 작업 계획도 단일 로봇과 동일한 형태로 확장하는 것이 가능하다. 그러나 기존의 LTLMoP 시뮬레이터는 단일 로봇의 시뮬레이션만을 지원해서 다중 로봇의 시뮬레이션은 어려움이 많았다. 따라서 본 연구에서는 다중 로봇들의 작업 계획도 시뮬레이션 할 수 있도록 LTLMoP 시뮬레이터를 확장하였고 사례연구를 통하여 이를 확인하였다.

• Nuclear Engineering and Technology
• /
• v.27 no.4
• /
• pp.603-618
• /
• 1995

원자력 발전소 및 동위원소 사용기관에서 발생되는 가연성 고체 폐기물 및 유기폐액의 소각기술의 활용에 있어서 이의 안전성 확보를 위한 기술적 기준의 설정을 위한 고려인자들을 조사하였다. 국내외의 소각기술 활용현황을 알아보았고 본 기술의 국내 도입시 필요한 기술적 안전지침에 관한 외국의 사례를 조사하고 국내 관련 규정도 검토, 비교, 분석하여 주요 고려항목을 도출하였다. 안전성 확보를 위한 고려 항목을 크게 일반산업시설 적용항목, 원자력시설 상 안전조건, 소각시설의 기술적 요구사항, 기타 제반사항으로 나누어 제시할 수 있었다. 이들 내용은 기존 원자력 및 환경시설에 적용되는 안전성분석보고서 및 환경영향평가서로 작성될 수 있다고 보았으며 시설의 개요, 시설의 기술적 사항과 이에 따르는 안전을 위한 조건, 폐기물의 인수조건 등이 포함되며 기존 관련 법규의 적용 및 확인이 필요하였다. 기술적 사항에는 공정의 제염계수, 연소효율, 소각재의 형상, 배기가스의 방출농도, 작업자 및 인근주민의 피폭등이 확인되어야 하며 소각재의 처리방법 및 조건이 제시되어야 하고 소각재의 침출특성 등이 주요한 인자라고 보았다. 아울러 소각대상폐기물의 인수조건이 명시되어 소각성능에 따른 이의 안전성이 입증되어야 한다. 따라서 인허가 후 건설된 시설에서의 사용전 시험소각절차의 제시 및 이에 대한 관련 규제기관의 검사제도가 있어야 하며 품질보증절차 역시 관련지침에 따라 실시되어야 한다. 이와 같은 내용을 포함하는 안전기술지침의 설정이 절대적으로 필요하며 본 연구조사 결과의 활용이 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04d
• /
• pp.82-84
• /
• 2003

응용 계층 멀티 캐스트는 IP 멀티 캐스트의 배치 문제를 효율적으로 해결하지만 각 응용 서비스의 다양한 요구 사항을 융통적으로 해결하지 못한다는 단점을 가진다. 본 연구에서는 응용 계층 멀티캐스트 서비스의 공통 기능과 응용 서비스의 다양한 요구 사항을 충족시킬 수 있는 단일화된 인터페이스를 제공함으로써 융통성 이 있고 재사용이 가능한 응용 계층 멀티캐스트 프래임웍을 설계하고 구현한다. 본 프레임웍은 응용 서비스의 요구에 따라 다양한 응용 계층 멀티 캐스트 기법을 선택적으로 재배치할 수 있으므로 쉽고 빠른 응용 서비스의 개발 및 구축을 가능하게 하고 기법 개발자에는 개별 기법을 응용 프로그램과 독립적으로 확장하거나 추가할 수 있도록 한다. 본 논문에서는 응용 계층 멀티 캐스트 서비스의 요구 사항 분석을 통해 본 프레임웍의 설계 및 구현에 대해 기술하며 그 효율성과 실제 적용성을 검증하기 위해 TBCP 프로토타입을 구현한 결과를 기술한다.

• Review of KIISC
• /
• v.6 no.1
• /
• pp.21-32
• /
• 1996

정보통신 자원에 대한 위협이 날로 증가하고 있는 현 상황에서 시스팀의 안전성을 보장하기 위해 시스팀의 개발 단계에서부터 보다 체계적인 보호기술 적용이 요구되고 있다. 따라서 본 논문에서는 시스팀 위험분석의 개념과 그 필요성에 대해 기술하고 자동화된 위험 분석용 도구를 이용하여 특정 전산시스팀에 대한 위험분석 작업을 수행하였다. 그리고 이에 대한 대응 방안을 수립하여 이를 안전한 시스팀 요구사항으로 제시하므로써 시스팀 개발과 운용시에 반영하도록 하였다.

• Annual Conference of KIPS
• /
• 2015.10a
• /
• pp.870-871
• /
• 2015

빠르게 발전하는 스마트폰 기술 발전에 의해 스마트폰은 민감한 개인 정보를 다루는 경우가 많아졌다. 바이오인식 기술은 이를 안전하게 보호하기 위한 수단으로써 여러 제품에 도입되고 있으나 설계 단계에서 보안이 고려되지 않을 경우 취약점이 발생할 수 있는 잠재적 가능성이 존재한다. 본 논문에서는 스마트폰 바이오인식 시스템 설계 시에 주의해야 할 점을 분석하고, 이를 해결하기 위해 시스템에 요구되는 요구사항들을 정리한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.7
• /
• pp.1568-1574
• /
• 2009

One of the most difficult problems in user requirement engineering is the communication gap that exists between different end-users, stakeholders, and software engineers. Since scenarios allow different stakeholders to describe and review the problem in their own language instead of some abstract model, they are also a solution to the problem. We propose a progressive, iterative and interleaved process of using scenario at different requirement engineering stages including elicitation, analysis and validation. This process model has been applied to our TRES System. In our proposed system, we combine prototype, scenarios and use cases in a single and comprehensive framework to avoid most of the shortcomings in other tools. Our system is an XML-based system for scenario-driven requirement engineering. Within the TRES system, scenarios are stories capture information about users and their tasks, including the context of use. In our TRES system, scenarios are stored in XML-based database and described using XML notation.

• KIPS Transactions on Computer and Communication Systems
• /
• v.8 no.2
• /
• pp.41-56
• /
• 2019

Cloud manufacturing is a new concept of manufacturing process that works like a single factory with connected multiple factories. The cloud manufacturing system is a kind of large-scale CPS that produces products through the collaboration of distributed manufacturing facilities based on technologies such as cloud computing, IoT, and virtualization. It utilizes diverse and distributed facilities based on centralized information systems, which allows flexible composition user-centric and service-oriented large-scale systems. However, the cloud manufacturing system is composed of a large number of highly heterogeneous subsystems. It has difficulties in interconnection, data exchange, information processing, and system verification for system construction. In this paper, we derive the user requirements of various aspects of the cloud manufacturing system, such as functional, human, trustworthiness, timing, data and composition, based on the CPS Framework, which is the analysis methodology for CPS. Next, by analyzing the user requirements we define the system requirements including scalability, composability, interactivity, dependability, timing, interoperability and intelligence. We map the defined CPS system requirements to the requirements of oneM2M, which is the platform standard for IoT, so that the support of the system requirements at the level of the IoT platform is verified through Mobius, which is the implementation of oneM2M standard. Analyzing the verification result, finally, we propose a large-scale cloud manufacturing platform based on oneM2M that can meet the cloud manufacturing requirements to support the overall features of the Cloud Manufacturing CPS with dependability.