• Review of KIISC
• /
• v.30 no.1
• /
• pp.7-12
• /
• 2020

비침투보안은 암호모듈 검증제도와 CC 평가 등에서 암호 시스템이 만족해야 하는 보안 요구사항 중 하나이다. 최근 미국 CMVP 제도는 기존 FIPS 140-2 기반의 시험기준을 ISO/IEC 19790, 24759 기반의 FIPS 140-3으로 변경하고 있으며, 2020년 9월 22일부터 실제 시험에 적용할 예정이다. 이러한 변화와 더불어 ISO/IEC 19790, 24759의 비침투공격 보안 요구사항에 대한 구체적인 시험 방법, 시험 도구 요구사항, 시험 도구 설정 방식 등에 관한 표준이 ISO/IEC JTC 1/SC 27에 의해 ISO/IEC 17825와 20085-1, 2으로 각각 발간 혹은 표준 제정 진행중에 있다. 본 논문에서는 비침투보안 시험방법론과 관련된 ISO 표준인 ISO/IEC 17825와 20085-1, 2를 통해 비침투공격 시험방법론 표준화 동향에 대해 살펴보고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06b
• /
• pp.148-152
• /
• 2010

열차제어 시스템은 안전필수 시스템으로 고신뢰성과 고품질이 요구되고 있다. 열차 제어 시스템 개발 과정에서 요구 사항 분석에 따라 결정되는 설계 사항의 경우 여러가지 요소들이 고려된다. 본 논문에서는 정형 요구 명세와 검증을 거쳐 제안된 설계 사항들을 하나의 패턴으로 정의하고, 시스템 개발 주기를 고려한 안전필수 시스템 설계단계에서 활용하는 프레임워크를 제안한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2015.10a
• /
• pp.1065-1067
• /
• 2015

시스템 모델링은 규모와 크기에 따라서 방법이 모두 다르며, 시스템 요구사항에 따라서 설계를 하는 방법이다. 하지만 현재까지의 기법은 개별적인 방법만 고려했기 때문에 시스템 요구사항의 모든 것을 적용하기 어려운 단점이 있다. 따라서 요구사항에 따른 시스템의 완성도를 높이기 위해서는 복합적인 모델링 방법의 접근이 필요하다. 본 논문에서는 절차지향 및 객체지향 모델링 방법에 대한 접근을 통합 할 수 있는 DEVS기반 하이브리드 모델링 기법에 대해 제안한다. 제안하는 기법은 프로세스와 객체와의 관계를 계층형으로 구조화 시킬 수 있으며, 수학적 명세가 가능하다. 또한, 하이브리드 모델링의 시뮬레이션을 위한 분산처리 환경에서 DEVS 기반 하이브리드 시뮬레이션에 대해 제안을 한다. 제안하는 모델을 통해서 복잡한 시스템에 대한 명세와 검증이 가능하다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.7
• /
• pp.424-430
• /
• 2008

Identifying crosscutting concerns during requirements engineering phase is one of the most essential parts in Aspect-Oriented Software Development. Considering crosscutting concerns in the earlier phase of the development improves consistency among requirements so that it can help maintain software systems efficiently and effectively. It also provides a systematic way to manage requirements changes by supporting traceability throughout the software lifecycle. Thus, identifying tangled and scattered concerns, and encapsulating them into separate entities must be addressed from the early phase of the development. To do so, first, functional and non-functional concerns must be clearly separated. Second, a pointcut where a main concern meets crosscutting concerns should be defined and specified precisely. Third, it is required to detect conflicts being occurred during composition of crosscutting concerns from the earlier phase. Therefore, this paper proposes a systematic approach to identifying and specifying crosscutting concerns using goal-scenario based requirements analysis. And we demonstrate the applicability of the approach by applying it into the intelligent service robot system.

• Journal of Service Research and Studies
• /
• v.11 no.1
• /
• pp.45-58
• /
• 2021

Requirements engineering can be seen as proceeding with various processes and activities such as extraction, analysis, specification, management, and verification without temporal and spatial constraints in the development environment of information systems that are becoming large and decentralized. Developing requirements well and conducting continuous evaluation and management is the shortcut to success in project management, and it is recognized as a very important matter in relation to requirements in the information system audit. When we conduct information system audit and conducting projects subject to audit, we need to improve the required engineering aspect. Therefore, this study derives inspection items suitable for the target project by referring to the audit inspection manual and audit inspection guide when conducting the current audit, and relates to the required engineering aspect among the contents of the inspection guide for each business type that is the basis for deriving the inspection items were derived for each audit point/audit area for the project management and quality assurance project type corresponding to the inspection items. The suitability of the extracted occupation items was verified through a questionnaire survey by experts.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1333-1336
• /
• 2003

최근의 인터넷은 기하급수적으로 폭증하는 트래픽을 원활히 수용하기 위하여 광인터넷으로 급속히 전환되고 있다. 이에 따라 새롭게 제시되는 네트워크 구조를 기반으로 네트워크 설계 단계에서 구축단계까지 새로운 운용관리 체계를 필요로 한다. 광인터넷 시뮬레이션 도구는 이러한 요구사항을 효과적으로 지원할 수 있는 도구로서 네트워크 요소시스템의 기능성 검증 및 네트워크 운용성 검증 등을 제공할 수 있다. 한편 광인터넷 시뮬레이션 도구에 있어서 광인터넷의 표현 및 모델링은 주요한 요구사항 중의 하나이며 이는 DML(Domain Modeling Language) 기반의 네트워크 모델링 컴포넌트를 통하여 구성될 수 있다. DML 은 간단하면서 고급의 모델 정의 기능을 제공하고 인터넷과 같은 대규모 모델로의 확장이 용이하며 이종 엔진과의 시뮬레이션 모델교환 형식으로도 사용이 가능하므로, 광인터넷 시뮬레이션 도구에서 시뮬레이션 모델의 표현에 매우 적합하다. 따라서 이 논문에서는 광인터넷 시뮬레이션 도구에 적용 가능한 DML 기반 네트워크 모델링 컴포넌트를 설계한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.379-381
• /
• 2000

인터넷의 급속한 발전으로 인터넷 경매와 같은 e-business가 활발해 지면서 사용자의 요구사항도 빠르게 변하고 있다. 급변하는 사용자들의 요구사항을 반영하고 소프트웨어의 경제성, 시장 경쟁력 확보를 위한 방법은 산업계 및 학계에서 많이 거론되고 있다. 최근 EJB(Enterprise JavaBeans) 기반의 컴포넌트 개발은 재사용성을 확보할 수 있는 가장 주목 받는 방안으로 제시되고 있다. 기존의 객체지향에 의한 소프트웨어 개발 방법은 이미 재사용성, 유지보수성, 무결정, 안정성 등의 많은 장점으로 인해 학계와 산업계에서 이미 많이 보편화 되어 있고 널리 이용되어지고 있다. 하지만, EJB에 기반하여 컴포넌트 어플리케이션을 개발하는데 있어서는 그 적용 사례가 드물고 그 활요성 또한 검증된 바가 거의 없다. 따서 본 논문에서는 인터넷 경매시스템에 EJB를 적용해 봄으로써 시스템 개발시의 그 실무적인 유용성을 검증해 본다.

• Journal of the Korean Society of Systems Engineering
• /
• v.2 no.2
• /
• pp.33-38
• /
• 2006

It is well known that efficient management and thorough implementation of stakeholder requirements is vital for a successful development of a large-scale and complex system. Equally important is to make sure that all the requirements be correctly realized in the developed system. For the purpose, verification requirements are derived with traceability from the system requirements. This paper discusses a step by step process for constructing the requirements verification model which includes : 1) the schema modeling both requirements and their traceability; 2) the template documenting the verification requirements; 3) the verification model constructed from the schema; and 4) the test and evaluation plan that can be printed automatically.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2011.06a
• /
• pp.101-103
• /
• 2011

해상교통관제 시스템(VTS)는 선박 통항의 안전과 효율을 증진시키고 해상 환경을 보호하는 매우 중요한 역할을 하는 시스템으로서, 최근 국제적으로 e-Navigation을 지향한 최신 IT기술을 반영한 새로운 패러다임 형태로 활발하게 진행되고 있다. 이러한 국제적 변화와 더불어 국내에서도 차세대 VTS 개발이 진행되고 있으며, 물표 추적 및 융합 알고리즘의 국내 환경을 고려한 기술개발 필요성이 제기되어 왔다. 따라서 국내 환경에서 차세대 VTS를 개발하기 위한 추적 및 융합 알고리즘을 설계하고 이를 적용하기 위한 시뮬레이터를 통하여 국내 VTS 센터로부터 추적 및 융합 요구사항을 검증하고자 한다. 따라서 본 논문에서는 차세대 VTS인 u-VTS의 추적 및 융합 요구사항을 검증하기 위하여 시뮬레이터를 구성하고, 이를 통하여 추적 및 융합 성능을 분석하였다.

• Journal of the Korean Society of Systems Engineering
• /
• v.3 no.1
• /
• pp.33-40
• /
• 2007

The requirement verification is the integral part of the weapon system R&D to reduce cost and schedule. And, a systems engineering is an interdisciplinary engineering management process that evolves and verifies an integrated, life-cycle balanced set of system solutions that satisfy customer needs. Therefore, this study analyzes the national defense need and acquisition management process, investigates the systems engineering verification activity. Through the requirement verification example in terms of technical evaluation this study presented the requirement verification approach in the weapon system R&D.