• The KIPS Transactions:PartD
• /
• v.18D no.6
• /
• pp.433-442
• /
• 2011

As software is varied and grew in size, the importance of clear understanding and representing customer's need, has been emphasized. It is not easy to drive and define critical system needs, since requirements in early stage of the development, is and conceptual. Technical perspective view, Several theoretical analysis methods and validation techniques are introduced, but in practice, it is hard to drive clear customer's requirement. In this paper, to drive clear customer's requirements, Macrostruktur concept of textlinguistics is used. First, Macrostruktur of textlinguistics is used to analysis descriptive requirements. Second, Macrostruktur-rule is applied to analyzed Macrostruktur data in order to derive Macrostruktur-propositions. Finally, it is proposed to generating Use-case model using derived Macrostruktur-propositions.

• 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 Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.114-118
• /
• 2008

시스템 운영 중에 오류가 발생하면 치명적인 인적, 물적 피해를 초래하는 안전필수 시스템은 안전성과 신뢰성을 확보하기 위한 요구명세의 정형적인 명세와 검증이 요구된다. 철도 차량의 진로와 속도를 제어하는 철도제어 시스템은 안전필수 시스템임에도 불구하고 요구사항이 자연어로 표현되어 있다. 자연어로 명세 된 요구사항은 자연어의 모호한 특성으로 인하여 오류의 위험으로부터 안전하지 못하다. 본 논문에서는 자연어로 명세 되어있는 철도제어 시스템의 요구사항을 도식적인 설계언어인 상태차트(Statechart)를 이용하여 정형적으로 명세함으로써 철도제어 시스템의 안전성과 신뢰성을 향상하고자 한다.

• Convergence Security Journal
• /
• v.13 no.5
• /
• pp.97-105
• /
• 2013

It is very important the government project should be supported by enough budget for proceeding. The insufficient budget by poor budget estimating uesd to bring about discontinuing for the project. This is originally caused by inaccuracy for cost estimating about system and evaluating for system requirements on the projet initial phase. The system requirements is technical requirements that converted the user needs and is needs for communicating between stakeholder and developer and manufacturer. Also the system requirements is the primary factor to make the project cost. The cost estimating is not easy due to complication of cost factors and an aberration between cost estimating and actual cost. Specially, on the project initial phase, shortage of detail information for project make more difficult to do cost estimating. This study proposes the architecture for validating proper system requirements by using cost estimations methodology on the project initial phase and shows the computer tool for simulating the proposed architecture.

• Journal of KIISE:Software and Applications
• /
• v.31 no.5
• /
• pp.543-554
• /
• 2004

In Requirements engineering, requirements elicitation and analysis are very important tasks to develop software systems successfully. Even though various methods have been proposed including scenario-based analysis, goal based analysis, and coupling goal with scenario, each method has its own strengths and weaknesses. If you use only one method, it is very difficult to elicit and to analyze system requirements completely. Since these methods don't support a comprehensive elicitation process, this paper proposes an integrated approach. This integrated approach is focused on two viewpoints. One is what factors are comprised and the other is how they are integrated. This paper also shows how the proposed approach can be applied to Meeting Reservation System (MRS) development. An experiment has been conducted using this approach to demonstrate how complete requirements are elicited and analyzed and to show relative time savings during elicitation in comparison to each method.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.16 no.7
• /
• pp.4863-4870
• /
• 2015

Currently, as a priority to secure the safety of the railway signalling system, verification for satisfy of the safety integrity requirements(SIR) is required to the essential elements. Safety Integrity Requirements(SIR) verification is performed based on the system safety analysis. But the probability of securing basic data for system safety analysis significantly dropped because there is no experience yet performed in the country. Therefore we are had to rely on a qualitative analysis. There are methods such as qualitative risk analysis matrix, and risk graphs. The qualitative analysis is wide, the width of the accident. However, the reliability of the result is significantly less has a disadvantage. Therefore, it should be parallel quantitative safety analysis of the system/products in order to compensate for the disadvantages of the qualitative analysis. This paper presents a quantitative safety analysis method to overcome the disadvantages of the qualitative analysis. And through a result, highly reliable Safety Integrity Requirements(SIR) verification measures proposed. Verification results, the dangerous failure incidence for vital data processing device was calculated to be $1.172279{\times}10^{-9}$. The result was verified to exceed the required safety integrity targets more.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.39 no.6
• /
• pp.923-932
• /
• 2019

VE is used as a powerful tool to add value to facilities by improving functionality and reducing costs. By identifying the client's requirements in the VE process and reflecting them in the quality model, the developed alternatives meet the client's requirements. However, there is no process to verify how the developed alternatives reflect the needs of the client through functional analysis, idea generation and evaluation. The purpose of this study was to develop, verify, and prove the effectiveness of a methodology for evaluating client satisfaction with alternatives developed during the VE Job Plan. The KANO model, which can identify the satisfaction and dissatisfaction of requirements in product planning, was set as a methodology for alternative verification procedures of VE, and was improved and applied to the purpose of this study. As a result, the alternative evaluation method developed in this study was found to be useful. It is expected that the KANO model will be used to evaluate the satisfaction of VE alternatives in the VE Job Plan analysis.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10c
• /
• pp.76-78
• /
• 2000

전력 시스템 가운데 과전류 차단 시스템은 전력 시스템의 보호를 위해 중요한 내장형 시스템이다. 이러한 시스템은 꼭 필요한 작동을 해야 하는 mission-critical 시스템이라 볼 수 있다. 이러한 mission-critical 시스템에 내장되는 소프트웨어의 개발은 요구사항 분석 및 설계, 개발 단계에서 시스템의 신뢰도를 높이는 것이 매우 중요하다. 본 논문에서 이러한 시스템의 소프트웨어의 설계가 요구사항과 일치하는지를 확인하고 요구된 성질을 만족하는 지를 검증하기 위해 회로 설계를 적합한 언어인 ESTEREL과 모델 체킹 도구를 이용하고 설계 및 검증 기법을 구현함으로 설계의 안정성과 정확성 및 설계에 대한 더 정확한 이해와 분석을 가능케 하는 설계 방법을 구현하는데 목적을 두고 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.508-511
• /
• 2016

IT 프로젝트 수행하는 과정 중 가장 많은 시간을 투자해야 하는 부분은 요구사항 분석이다. 소프트웨어 공학에서 요구사항 분석 방법이 체계화되어 실무에서 많이 활용하고 있으며, 분석 결과로 프로그램 개발뿐만 아니라 정보시스템 관련 모든 분야에서 활용할 수 있다. 하지만 소프트웨어 중심의 요구사항 분석방법은 데이터베이스 설계에 적용하기에는 불필요한 정보가 포함 되어 잘못된 데이터 모델로 설계될 수 있다. 또한, 데이터 중심으로 필요한 요구사항을 분석하는 방법론이 없는 실정이기에 선행 연구에서 데이터 모델링을 위한 업무 요구사항 방법을 제시하였다. 선행 연구 방법은 실제로 적용할 때 절차가 복잡하고 분석에 어려움이 있어, 본 연구는 선행 연구방법의 절차를 개선하고 적용하기 쉬운 방법으로 연구하여 제시하였다. 제안한 방법을 검증하기 위해 선행 연구방법과 동일한 업무요구사항명세서를 적용하여 단계별로 업무 분석 결과를 비교하였다. 그 결과 선행 연구방법보다 절차가 간소화되어 향상된 결과를 얻을 수 있었다. 분석한 결과를 바탕으로 향후 데이터 모델링 단계에 대해 계속 연구할 예정이다.