• 한국군사과학기술학회지
• /
• 제2권2호
• /
• pp.52-60
• /
• 1999

By implementing the Systems Engineering process for the aircraft preliminary design, functional analysis study is performed, hence Functional Interface Data Flow(FIDF) and Functional Flow Block Diagram(FFBD) are generated. Based on FIDF and FFBD, allocable and non-allocable design/performance/RM＆S requirements are allocated to the appropriate levels. Weight and cost tracking and design margin management methodologies are studied and implemented for the balanced aircraft design.

• 디지털융복합연구
• /
• 제19권8호
• /
• pp.241-247
• /
• 2021

도시 발전에 따른 부작용들을 해결하기 위한 한 방안으로 도시에 정보 통신 기술이 융합된 스마트 시티를 구축하고 있다. 스마트 시티 플랫폼은 스마트 시티 서비스의 개발 및 통합을 지원해야 한다. 따라서 스마트 플랫폼이 지원해야 하는 기반 기술과 기능적 및 비 기능적 요구 사항을 분석하였다. 스마트 시티 플랫폼이 지원하는 기반 기술로 사물 인터넷, 클라우드 컴퓨팅, 빅 데이터 및 사이버-물리 시스템의 4가지 범주로 분류하고 구현 가능한 기능적 및 비 기능적 요구 사항과 스마트 시티 플랫폼의 참조 모델을 도출했다. 스마트 시티 플랫폼의 참조 모델은 도시관리자에게 특정 도시 문제를 해결하기 위한 기능적 또는 비 기능적 요구 사항에 따른 기반 기술의 투자와 서비스 개발 범위에 대한 의사 결정에 활용하고. 플랫폼 개발자에게 스마트 시티 구축을 위한 소프트웨어 플랫폼의 기능적 및 비 기능적 요구 사항과 구현 기술을 식별하고 결정하는 가이드라인을 제공한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권3호
• /
• pp.99-109
• /
• 2021

최근의 기계 학습 연구에서는 데이터의 품질 및 완전성을 고려하기 위해 요구 공학 관점에서 데이터에 대한 비기능적 요구사항 도출이 제안되고 있으며, 특히 기계 학습에서의 데이터 요구사항을 요구 공학자들이 정의하였다. 본 연구에서는 데이터 전처리 이전에 데이터를 수집하고 저장하는 데이터 수집(DAQ) 단계에서 데이터 요구사항을 도출하였다. 이를 통해 기존 DAQ 시스템에서 필요로 하는 모든 데이터 요구사항과 이를 만족시키는 태스크(기능)의 유무, 그리고 요구사항과 기능 간의 관계를 표현할 수 있다. 또한 추출된 요구사항을 체계적으로 표현하고, 그 관계를 정의할 수 있어 소프트웨어 설계 문서의 작성이 가능하고 소프트웨어 설계 및 유지 보수 측면에서 체계적인 접근 및 방향성을 설정할 수 있다. 본 연구에서는 기존 DAQ 시스템 사례를 이용하여 요구 공학적 접근을 위한 시나리오와 유스 케이스(Use case)를 작성하고, 이를 기반으로 사례별 데이터 요구사항을 추출하고 목표 모델링을 통해 요구사항, 기능, 목표 간의 관계를 도식화한다. 연구 결과를 통해 요구 공학을 이용한 DAQ 시스템에서 시스템이 필요로 하는 비기능적 요구사항, 특히 데이터의 요구사항을 추출할 수 있었다.

• 융합보안논문지
• /
• 제15권5호
• /
• pp.29-35
• /
• 2015

네트워크 보안 암호화 방식은 단대단 암호화 방식과 링크간 암호화 방식으로 구분된다. 네트워크 환경에서 보안 품질요구사항 이란 시스템이 제공해야 할 보안품질 속성의 수준이다. 품질속성은 관찰할 수 있고 측정할 수 있어야 하기 때문에 품질 요구사항도 가능하면 정확한 수치로 제시되어야 한다. 품질 요구사항이 정의되어야 구체적 품질 관리 목표가 설정된다. 품질속성에서 기능적 요구사항은 암호화를 통해 얻을 수 있는 서비스 기능에 대한 요구조건이다. 비 기능적 요구사항은 암호화를 통해 얻을 수 있는 서비스의 품질 요구조건이다. 본 연구에서 제안하는 암호화 품질 평가체계는 기능적 요구사항과 비 기능적 요구사항 2개영역으로 도출한다. 평가지표의 동일 분류내 척도를 산출한 후 각 지표의 품질 측정값에 대한 연계지표를 작성한다. 품질평가 매트릭스는 품질측정 값에 대한 연계지표 분석용 2-factor 평가로서 기능적 요구사항과 비기능적 요구사항 두 가지 기준으로 평균치를 산출 한다. 산출결과는 추세를 분석하여 종합 평가가 가능하도록 한다. 이와같은 방식을 적용할 경우 네트워크 보안 암호화 품질평가의 기반을 구성할 수 있다.

• Nuclear Engineering and Technology
• /
• 제51권2호
• /
• pp.463-478
• /
• 2019

The most important non-functional requirements for dependability of any Embedded Real-Time Safety Systems are safety, availability and reliability requirements. System architecture plays the primary role in achieving these requirements. Compliance with these non-functional requirements should be ensured early in the development cycle with appropriate considerations during architectural design. In this paper, we present an application of system architecture modeling for quantitative assessment of system dependability. We use probabilistic model checker (PRISM), for dependability analysis of the DTMC model derived from system architecture model. In general, the model checking techniques do not scale well for analyzing large systems, because of prohibitively large state space. It limits the use of model checking techniques in analyzing the systems of practical interest. We propose abstraction based compositional analysis methodology to circumvent this limitation. The effectiveness of the proposed methodology has been demonstrated using the case study involving the dependability analysis of safety system of a large Pressurized Water Reactor (PWR).

• 한국경영과학회지
• /
• 제28권2호
• /
• pp.91-103
• /
• 2003

Use case modeling on UML (Unified Modeling Language) is getting widely used in OOAD and CBD and it is considered a useful technique in dealing with the complexity of the requirements analysis. However, some of the problems with use case modeling are that it is not structured, difficult to handle non-functional requirements, and to analyze impacts among use cases. To alleviate these problems, we propose a scenario-based goal-oriented approach for use case modeling. The proposed approach is to apply a goal-oriented analysis method to use case modeling. Since goal-oriented analysis method is not systematic and many heuristics are involved, we have adopted scenarios as the basis for goal extraction. The proposed method is applied to CBIS (City Bus Information Subsystem) in ITS (Intelligent Transportation System) domain. The proposed approach helps software engineers to analyze the impact among use cases and represent non-functional requirements.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제6권8호
• /
• pp.391-400
• /
• 2017

소프트웨어 아키텍처는 비기능적 요구사항(Non-Functional Requirement, NFR), 즉 품질 요구사항과 제약사항을 만족시키는데 중요한 역할을 한다. 현재까지 진행된 대부부의 연구는 전형적인 NFR을 위한 아키텍처 설계 방법과 설계 택틱에 국한된다. 그러나, 목표 시스템에 특화된 비전형적인 NFR을 위한 설계 방법에 대한 연구는 많이 진행되고 있지 않고, 소프트웨어 아키텍트가 보유한 지식과 경험에 의해 비전형적인 NFR을 만족시킬 수 있는 효과적인 방법과 택틱을 유도하고 이를 기반으로 아키텍처를 설계한다. 그러므로, 비전형적인 NFR을 고려하여 아키텍처를 설계하는 효과적인 방법 및 택틱을 고안하는 것이 어렵다. 본 논문에서는 비전형적인 NFR을 만족시키는 소프트웨어 아키텍처를 설계하는 효과적이며 체계적인 아키텍처 설계 방법론을 제안한다. 이 방법론은 전형적인 NFR을 고려한 아키텍처 설계에도 적용될 수 있다. 제안된 방법론은 5개의 스텝으로 구성된 프로세스, 각 스텝에 대한 상세 활동 지침을 포함한다. 그리고, 제안된 프로세스가 잘 설계되었음을 보이기 위해, 산출물 간의 추적성 관계를 확인한다. 마지막으로, 제안된 방법론의 효율성과 실용성을 평가하기 위해 사례 연구를 수행한 결과를 제시한다.

• Nuclear Engineering and Technology
• /
• 제51권5호
• /
• pp.1289-1296
• /
• 2019

Non-functional requirements plays a critical role in designing variety of applications domain ranges from safety-critical systems to simple gaming applications. Performance is one of the crucial non-functional requirement, especially in control and safety systems, that validates the design. System risk can be quantified as a product of probability of system failure and severity of its impact. In this paper, we devise a technique to do the performance analysis of safety critical and control systems and to estimate performance based risk factor. The technique elaborates Petri nets to estimate performability to ensure system dependability requirements. We illustrate the technique on a case study of Nuclear Power Plant system. The technique has been validated on 17 safety critical and control systems of Nuclear Power Plant.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권8호
• /
• pp.547-565
• /
• 2009

시뮬레이션은 컴퓨터를 이용하여 실제 사물이나 작업의 상태, 혹은 프로세스를 모방하여 그 특징을 찾아내는 작업을 지칭하며, 시뮬레이터는 이러한 시뮬레이션 작업을 수행하는 하드웨어/소프트웨어 도구를 말한다. 다양한 시뮬레이터의 개발에 있어 공통적으로 요구되는 비기능적 속성은 변경가능성, 상호 운영성, 확장성이다. 그러나 기존의 시뮬레이터 개발에 관한 연구는 관심 시뮬레이션 모델에 대한 개발에 관한 것이며, 이러한 비기능적 요구사항에 대한 관심이 적다. 이에 본 논문에서는 소프트웨어 기반 시뮬레이터 개발에 있어 요구되는 비기능적 요구사항 중 변경가능성, 상호운영성, 확장성을 고려한 시뮬레이터 아키텍처 패턴을 제시한다. 본 논문에서는 아키텍처 패턴을 정의하기 위해 시뮬레이터의 필수 요소를 파악하고 그들 간의 관계를 정의하였으며, 비기능적 요구사항을 반영할 수 있는 구조로 설계하였다. 제시된 패턴은 다양한 시뮬레이션 모델을 구축할 수 있도록 시뮬레이션 모델 컴포넌트를 중심으로 이들의 조합을 통해 문제를 해결할 수 있다. 이는 시뮬레이션 모델의 재구축을 통해 유연하게 시스템의 변경가능성을 보장하며, 시뮬레이션 모델에 다양한 인터페이스를 추가할 수 있고, 시뮬레이션 모델 컴포넌트의 인터페이스를 통일시켜 상호운영성 및 확장성을 보장한다. 이 논문의 아키텍처 패턴은 향후 개발될 다양한 소프트웨어 기반 시뮬레이터의 참조 모델로 활용될 수 있다.

• 정보과학회 논문지
• /
• 제45권1호
• /
• pp.36-44
• /
• 2018

4차 산업혁명의 도래로 인하여 자율주행 자동차, 지능 로봇 등을 구현을 위한 ICT 분야의 기술 개발이 시급히 요구되고 있다. 특히 융합 IT를 기반으로 하는 모든 시스템들이 센서나 액추에이터와 연동하는 CPS(Cyber Physical Systems) 형태로 개발되고 있다. 기존의 CPS 명세는 단일 시스템의 행위만을 명세하였기 때문에, 초연결성과 초융합성을 갖는 4차 산업혁명 시대의 CPS 시스템이 갖는 협업 및 다양성 측면에 명세는 충분히 제시되지 못하였다. 특히 실시간적 특성을 갖는 다양한 응용에서는 더욱 협업적 특성을 고려한 행위 모델링이 이루어지지 못하였다. 본 논문에서는 이러한 실시간 협업 환경에서 임무를 수행하는 CPS용 임베디드 소프트웨어를 개발할 때, 어떠한 비기능 요구사항이 식별되어야 하는가를 정의한다. 이러한 요구사항은 ISO 25010 표준에 근거하여 도출하며, 실시간 협업을 위해 상태 기반의 Timed Process를 이용하여 정형적으로 명세한다. 도출된 비기능 요구사항들은 추후 CPS 기반의 새로운 임베디드 소프트웨어에 대한 요구사항을 정의하기 위해 재사용될 수 있을 것이며, 이를 통해 CPS의 품질만족도를 향상시킬 수 있을 것이다.