• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.281-284
• /
• 2017

최근 임베디드 시스템 개발이 Model Driven Engineering 방식으로 변화하면서 요구사항과 모델 간의 추적성을 보장하는 것이 매우 중요해졌다. 이 논문에서는 기존의 FDD(Feature Driven Development)와 FOSE(Feature Oriented Software Engineering) 방법론에 적용된 feature 개념을 재정의하여 이를 AUTOSAR platform에 적용하는 방법을 제시하며 요구사항부터 model, code까지 추적성을 검증한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.385-387
• /
• 2004

현재의 침입탐지 시스템의 문제점들을 개선하기 위해 침입탐지 정보의 축약기술 및 연관성 분석 기법들에 대한 연구들이 진행 중이다. 또한 최근에는 침입탐지 정보의 연관성 분석 시스템에 대한 효과성 검증에 대한 연구도 진행 중이다. 본 논문에서는 침입탐지 정보의 축약기술 및 연관성 분석 시스템의 효과성을 검증하기 위한 평가방안을 제안하였다 즉, 침입탐지 정보의 연관성 분석 시스템에 필요한 기능 요구사항을 제시하고, 그러한 기능을 객관적으로 평가할 수 있는 방법으로 가중치 및 행렬에 의한 방법을 제안하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1925-1928
• /
• 2002

소프트웨어에 대한 고객의 요구수준이 점점 높아지고 복잡, 대형화됨에 따라 개발인력, 예산, 기간 등 많은 개발 자원이 소요되는 추세이지만, 개발자 직관에 의한 정성적인 판단으로 소요자원의 과부족을 초래하는 원인이 되고 있다. 본 논문에서는 요구분석 단계에서 기존의 정성적 판단에 따른 문제점을 보완하기 위해 요구분석 프로세스를 수정/제안하고, 의사결정기법을 이용하여 요구사항을 정량적으로 분석하고 식별할 수 있는 방법을 제안하였다. 이를 위해 사용자 요구분석 프로세스 검증단계에서 요구사항 평가활동을 추가하고, 의사결정 모델을 이용한 요구사항 가중치 계산, 시스템 기능과의 관련성 평가, 중요도 가중치를 계산하여 요구사항에 대한 식별의 기준으로 삼는다.

• Proceedings of the CALSEC Conference
• /
• 2002.01a
• /
• pp.409-418
• /
• 2002

테스트의 목적은 소프트웨어 제품이 갖춰야 하는 품질에 대해 평가하고 문제점을 발견하는 것 -모든 요구사항은 올바르게 구현되었는가를 검증 -소프트웨어 배포 이전에 결함 인식하여 해결 테스트 웍플로우는 기타 웍플로우와 다음과 같은 관계를 가짐 -요구사항 웍플로우 : 테스트 요구사항 수집 -분석＆설계 웍플로우 : 시스템 설계 방법 결정 -구현 웍플로우 : 테스트 대상이 되는 구현모델 생성 -환경 웍플로우 : 테스트 지원 위한 산출물을 생성, 유지보수 -관리 웍플로우 : 전체 프로젝트의 반복 계획(중략)

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.293-296
• /
• 2005

제품에 대한 다양한 사용자의 요구 사항을 지원하기 위해 제품 개발 프로세스는 초기 단계인 분석 및 설계 단계에서부터 다양성을 지원할 수 있도록 개발 주기가 이뤄지고 있고 이러한 추세는 차별화된 서비스의 소프트웨어를 내장한 시스템(이하 임베디드 시스템)의 경우 보다 활발히 이뤄지는 경향이다. 요구 사항에서 공통점은 시스템 개발에 있어 재사용성을 높일 수 있는 중요한 부분이므로 요구 사항에 대한 다양성을 분석하고 표현하여 다양한 제품이 개발이 개발 초기 단계에서부터 이뤄 질 수 있도록 하는 것이 본 논문의 목적이다. 따라서 분석의 기반이 되는 기능 표현 방법은 중요하며 설계와 개발 단계로 연결되기 위해 분석된 기능에 대한 검증이 이뤄져야 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10b
• /
• pp.454-456
• /
• 2004

데이터베이스에 대한 제약사항들은 소프트웨어의 개발 및 사용에 있어 개발자와 사용자가 모두 참고해야 하는 중요한 사항임에도 불구하고 데이터베이스 모델링괴 소프트웨어 모델링의 불일치 및 표현 방법의 차이로 인해, 일관성 있는 제약사항 명세 및 설계에 많은 어려움을 겪어왔다. OCL(Object Constraint Language)은 객체의 제약사항을 표현하는 언어로서 UML(Unified Modeling Language)의 일부분이다. 본 논문은 객체의 제악사항을 표현하는데 사용하던 OCL을 데이터베이스의 제악사항을 설계에 일관성 있게 표현, 반영하기 위하여 사용하는 기법을 제시하고, 이에 대한 검증을 수행하는 방법에 대한 연구이다. 본 논문에서는 요구사항에서 추출한 데이터베이스의 제악사항을 정의한 규칙에 따라 추출해내고, 이를 OCL의 표현법을 이용하여 정형적으로 표현한다. 그리고 그 OCL의 형식적 표현을 ODL(Object Description Language)로 정의하는 기법을 정의함으로서 이에 대한 일관성 검증을 수행하는 기법을 제안한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06b
• /
• pp.53-57
• /
• 2007

경쟁이 없는 블루오션을 개척하기 위하여 블루오션 요구공학 방법론과 세부 접근법인 ERRC Analysis 기법이 제안되었다. 하지만, 기존에 제안된 기법은 정량적인 데이터를 근거로 하는 분석방식을 제시하지 않기 때문에, 고객에게 객관적인 판단기준을 제시하기 어렵다는 문제점이 있다. 본 논문에서는 이러한 문제점을 해결하기 위한 방안으로 요구사항의 비용산출을 통한 정량적인 ERRC 분석 방법에 대하여 제안하였다. 제안된 방법에서는 요구사항을 구현하는 비용을 산출한 다음, 이를 요구사항별 가중치와 비교하여 요구사항에 대한 ERRC 수치를 정량적으로 산정하는 방법을 적용하였다. 유효성 검증을 위하여 "스마트카드를 이용한 학생증 시스템"에 적용한 사례를 제시한다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.511-512
• /
• 2023

자율주행 소프트웨어의 안전성에 대한 요구가 높아짐에 따라 소프트웨어를 개발 시 정형 검증 기법을 적용하여 안전성을 확보하고자 하는 노력이 증가하고 있다. 본 논문에서는 ROS 기반의 자율주행 소프트웨어의 동작을 Timed Automata를 사용하여 모델링하고 그 정확성(실시간적 특성)을 모델체킹을 통해 정형 검증하는 방법을 제시한다. ROS 기반 응용 프로그램의 동작은 ROS가 제공하는 노드 간의 통신에 영향을 받기 때문에 자율주행 소프트웨어뿐 아니라 그 동작에 영향을 끼치는 ROS의 큐를 통한 통신을 통합한 모델을 제시한다. 또한 통합 모델에서 큐 크기, 타임아웃, 프로세스의 주기를 매개 변수로 주어 다양한 조합에 따른 실시간 요구사항의 만족 여부를 검증함으로써 ROS에서 매개 변수 설정 기준을 제시한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2008.05a
• /
• pp.253-256
• /
• 2008

아직도 많은 프로젝트에서 지속적으로 변화하는 요구사항과 불가능한 납기일정 그리고 품질을 무조건 만족해야 하는 상황에 많은 개발자들이 괴로워하고 있다. 또한 최근 들어 프로젝트들이 그 개발의 방법으로 컴포넌트 기반 개발(CBD)를 많이 사용하고 있다. 이러한 상황에서 재사용성을 강조하는 품질 좋은 컴포넌트를 식별하고, 개발하기란 매우 어렵다. 또한 기존의 CBD 개발 방법의 프로세스가 요구사항을 초기에 고정하고, 그 기반 위에 여러 단계를 거치기 때문에, 납기기간이 짧거나, 요구사항이 고정되지 않았을 경우 많은 어려움에 직면하고 있다. 본 논문에서는 요구사항이 불명확하고, 납기일정이 짧은 프로젝트에서 유용하도록, 작은 단위의 반복과 그 피드백을 통해, 고객의 요구사항 변경에 빠르게 반응할 수 있고, 기존의 컴포넌트 개발 방법을 단순화한 기민한 컴포넌트 개발 프로세스를 제시한다. 이러한 제안된 기법의 실용성을 검증하기 위해 기존 식별 방법과의 비교, 평가를 제시한다.