• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권1호
• /
• pp.46-61
• /
• 2002

소프트웨어의 개발 단계 중 품질을 결정하는 주요 단계는 요구 명세 단계로 알려져 있다. 따라서, 소프트웨어 개발 업체는 소프트웨어 요구명세서의 분석을 가장 중요한 단계 중 하나로 취급하고 있고, 특히 안전성이 중요한 시스템의 경우에는 시스템을 운영하기 위하여 국내와 국제적인 규제 기관에서는 요구 명세의 분석을 통한 안전성의 입증을 요구한다. 소프트웨어의 요구 명세 분석을 위한 방법 중 인스펙션과 정형 검증이 가장 효과적인 방법으로 알려져 있다. 본 논문에서는 SCR-style의 요구 명세를 정리 증명기인 PVS를 이용하여 정형 검증을 수행하는 방법을 제안하였다. 그리고, 논문에서 제안된 방법으로 실제 월성 원자력 발전소의 정지 시스템의 검증을 수행하였다. 이 시스템은 인스펙션으로 검증된 적은 있으나 정형 검증 방법으로는 증명된 적이 없고, 국내에서 실제 운영되는 산업계시스템에 정형 검증 방법이 적용된 사례는 매우 드물기 때문에 차후 정형 검증 방법을 적용하기 위한 평가로서도 이와 같은 실험적인 적용이 매우 중요하다.

• 산업공학
• /
• 제21권1호
• /
• pp.18-32
• /
• 2008

In recent, a general trend is observed towards more customized products and shorter product life cycles in manufacturing companies. In these companies, customers often wish to influence the product they order and to get a variant of product that meets their requirements. This environment is called as a customer-oriented manufacturing companies. This paper presents a procedure of product specification management for customer-oriented manufacturing companies by using product specification framework. This framework is founded on the product specification based product structure which is made of model, specification, function, and part. Also, a product specification management system(PSMS) is implemented by using the proposed product specification framework and is a core system in product data integration system. To illustrate an utilization of the proposed framework and procedure, a case of a ship engine product is applied. As a result, PSMS reduces delivery time and improves customer relationships. Moreover, the case shows that PSMS can be used as a tool for improving inter-department coordination within a company during product life cycle.

• 한국국방경영분석학회지
• /
• 제33권1호
• /
• pp.135-155
• /
• 2007

성능형 규격이란 재료, 공정 등의 구체적인 사양에 대한 명시가 없이 최종적인 요구성능, 환경 및 연동되는 부분의 호환성 확보에 대한 규제만을 함으로써 우수한 민수기술의 도입을 통하여 경제적이고 높은 신뢰성을 달성하고자 활용되는 규격으로 이미 선진국에서는 많이 작성되어지고 기존의 상세형 규격의 성능형 규격 전환도 활성화되고 있는 실정이다. 그러나 우리나라의 경우 규격 작성시 성능형으로 작성토록 규정화하고 성능형 규격 작성지침을 마련하는 등 성능형 규격 작성의 활성화에 많은 노력을 기울이고 있으나 현재까지의 작성 및 활용 실적을 보면 매우 미흡한 실정이다. 따라서 성능형 규격의 효과적인 작성/전환을 위하여 시장조사 방안, 무기체계개발 또는 부품국산화에 따른 성능형 규격 작성 방안, 성능형 규격 전환 방안, 성능형 규격 전환을 위한 절차와 방법, 성능형 규격과 상세형 규격의 혼합형태 활용을 제시하였다.

• 정보처리학회논문지D
• /
• 제8D권1호
• /
• pp.99-104
• /
• 2001

소프트웨어 위기를 해결하기 위한 한가지 대응책으로 최근 컴포넌트기반 소프트웨어공학(혹은 컴포넌트웨어)이 등장하였다. 컴포넌트기반 소프트웨어공학을 이루는 관련 기술들 중 하나로써 컴포넌트기반 소프트웨어 개발 프로세스들이 제안되고 있다. 컴포넌트기반 소프트웨어 개발 프로세스중 컴포넌트 명세활동은 재사용 가능한 컴포넌트를 생성하기 위해서 꼭 필요하며 매우 중요한 활동이다. 그러나, 기존의 컴포넌트기반 소프트웨어 개발 프로세스에서는 컴포넌트 명세를 자연어로 기술함으로써 명세에 있어서 정확성을 갖지 못했고 사용자의 요구사항이 제대로 반영되었는지 검증할 수 있는 방법을 제공하지 못하고 있다. 본 논문에서는 정형방법에서 사용되고 있는 분석력과 논리성이 검증된 정형 명세 언어 Z를 이용하여 컴포넌트를 명세 하는 정형 활동을 제안하였다. 제안 활동은 5개의 태스크와 12개이 서브태스크들로 구성되며 10개의 산출물을 구체적으로 제시함으로써 재사용을 위한 컴포넌트 기반 소프트웨어 개발의 기초가 되는 컴포넌트 정형 명세 활동을 제안하였다. 제안 활동은 컴포넌트기반 소프트웨어 개발 프로세스의 초기단계에 사용자의 요구사항 명세의 정확성과 검증을 통하여 컴포넌트의 품질을 향상시킬 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제32권12호
• /
• pp.1178-1191
• /
• 2005

본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인 차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다.

• 시스템엔지니어링학술지
• /
• 제2권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.

• 품질경영학회지
• /
• 제41권3호
• /
• pp.423-432
• /
• 2013

Purpose: A Study on the application of quality management system specification to production validation and audit in military airworthiness certification. Methods: Aircraft quality management system specification for quality assurance and production validation and audit requirements were examined to verify. Also, the system for domestic and foreign production certification were investigated. Results: Production validation and audit criteria for military aircraft by applying methods suggested Aircraft Certifications Systems Evaluation Program(ACSEP). ACSEP evaluation of the items, some items were complementary and not applied. Conclusion: As a way to ensure the safety of aircraft, confirm the correction of Production validation & audit criteria and rulemaking is necessary and how to manage for Critical Safety Item(CSI) is a need to improve.

• 한국국방경영분석학회지
• /
• 제29권2호
• /
• pp.131-147
• /
• 2003

The complexity of modern weapon systems using the intelligence technology demands that rapid and effective transition from force requirements to deployment and fielding. Thus this paper deals with the integration of development procedure, evolutionary acquisition, integrated test and evaluation, improvement of the requirements decision process, use of commercial products of high quality and low cost, specification deviation, and the effective use of dual use technology. In general, decision­makers, and military field users shall first consider the moving technology rapidly into use. This study is aimed to improve the defence acquisition management directive for timely force integration of weapon system.

• Nuclear Engineering and Technology
• /
• 제54권5호
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.

• 한국윤활학회:학술대회논문집
• /
• 한국윤활학회 2005년도 lubricants SYMPOSIUM
• /
• pp.53-66
• /
• 2005

[ $\cdot$ ] Performance can be evaluated beyond specification and requirements using existing pump tests $\cdot$ Bench testing of stressed fluids can deonstrate Retention of Performance