• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.600-610
• /
• 1994

원자력산업계에서는 원전 계측제어계통의 디지털화를 위해 많은 노력을 기울이고 있으나, 원자력산업의 특수성인 시스템 안전성 확보에 필요한 소프트웨어 개발기준과 규제방법이 정립되지 못하고 있다. 뿐만 아니라 디지털 계측제어계통의 핵심 기반기술인 고신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 논란의 대상이 되고 있다. 이와 같이 원전 계측제어계통 디지털화 성공을 위해서는 소프트웨어 신뢰도 확보가 관건이며 고신뢰도 소프트웨어 확인 및 검증 기술 개발이 절실히 요구된다. 본 기술보고에서는 디지털 계측제어계통 소프트웨어에 대한 규제요건을 소프트웨어 신뢰도 보장을 위한 개발자, 사용자, 규제자 사이의 합의 기준측면에서 분석하였다. 또한 최근의 미국 원자력규제위원회의 디지털 계측제어계통 소프트웨어에 대한 규제방법과 규제동향을 살펴보았으며 마지막으로 고신뢰도 소프트웨어 개발과 확인 및 검증 방법, 규제 요건, 규제 방법 등에서 공통적으로 고려해야 할 기술적 측면의 현안과 이의 해결을 위한 연구 현황등을 파악하였다.

• Journal of Korea Game Society
• /
• v.11 no.6
• /
• pp.53-60
• /
• 2011

Since the importance of software reliability for game service increases continuously, the reliability evaluation becomes very important. This research performed an experiment which was intended to analyze the effect of software verification and validation, a representative activity of the software development process, on the software reliability. The results from the experiments provided the reliability evaluation based on the development process (e.g., Bayesian Belief Network based reliability estimation) with very useful bases.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.05a
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.40 no.6
• /
• pp.548-554
• /
• 2012

Verification and validation of operational software of the flight control computer, which is flight safety critical, is very important to prove correctness and faultness of the software. To verify the real-time softare requirement on operational software of flight control computer, real-time software internal parameter and variable monitoring technics on hardware-in-the-loop environment, similar to on-flight environment, is required. This paper describes flight safety critical software validation and verificiation environment using standard debugging interface, NEXUS 5001.

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

오늘날 소프트웨어의 설계 및 개발과 관련된 연구들은 많은 발전을 이루고, UML과 같은 의사소통을 위한 표준 언어가 만들어졌으며 많은 사람들이 관련 이론을 수용 및 활용하고 있다. 또한, 개발 프로세스에서의 설계 및 구현과 더불어 소프트웨어의 유지 보수 단계는 매우 중요하며 이러한 소프트웨어의 유지 보수를 위한 소프트웨어 검증에 관련된 연구는 근래에 많은 주목을 받고 있다. 하지만 소프트웨어 검증의 기술 개발 수준은 설계 및 개발에 비하여 많이 미흡한 실정이다. 소프트웨어 검증은 주로 검증하기 위한 입력 데이터를 산출하여 프로그램 실행을 통해 결과를 확인하는 동적 분석에 대한 연구가 주를 이룬다. 이러한 동적 분석은 원하는 산출물의 확인을 주목적으로 하며, 결과를 표현하는 데에는 따로 정형화된 형식이 필요 없다. 하지만 소스코드를 분석하여 소프트웨어의 구조 관계와 흐름을 파악하는 정적 분석은 분석 자료를 표현하는 표현 모델이 중요하다. 현재는 정적 분석의 결과를 표현하기 위한 공통의 표현 모델이 없기 때문에 검증 과정에서의 의사소통에서 의견의 불일치의 가능성이 있고, 설계 단계에서 사용되는 표현 모델로는 정적 분석 정보의 모든 내용을 표현하는데 한계가 있다. 따라서 본 논문에서는 소프트웨어의 정적 분석 과정을 분석 4계층으로 구분하고, 각 계층마다 분석 결과를 나타내기 위한 표현 모델을 제시한다. 그리고 이 표현 모델을 활용한 소프트웨어 분석 도구의 개발을 위해, 소스 분석 데이터를 가시적으로 표현하기 위한 자료구조의 설계에 대한 내용을 다룬다.

• ETRI Journal
• /
• v.10 no.2
• /
• pp.52-62
• /
• 1988

소프트웨어 검증과 확인은 소프트웨어 시스팀의 높은 신뢰도를 보증하기 위한 활동이다. 즉, 더 신뢰성 있는 소프트웨어 제품 생성, 더 낮은 가격의 생명 순기(life-cycle), 요구사항과 일치하지 않는 사항들과 설계 에러들을 초기에 발견하여 개발 가격을 줄이는데 큰 의의를 갖는다. 본고에서는 대형 소프트웨어 개발에서 필요한 검증에 관하여 그 정의와 이제까지 검증 활동을 통하여 제시된 여러 사항들 및 일반적인 자동화된 검증시스팀에 대하여 살펴보고, 특히 General Research Corporation(Santa Barbara, California)에서 개발하고 Huges 항공사에서 프로젝트에 적용을 시켜 성공을 거둔 상용화된 검증시스팀에 대해 고찰하였다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.6
• /
• pp.435-439
• /
• 2009

Software used in safety-critical system must have high dependability. Software testing and V&V (Verification and Validation) activities are very important for assuring high software quality. If we can predict the risky modules of safety-critical software, we can focus testing activities and regulation activities more efficiently such as resource distribution. In this paper, we classified the estimated risk class which can be used for deep testing and V&V. We predicted the risk class for each module using support vector machines. We can consider that the modules classified to risk class 5 and 4 are more risky than others relatively. For all classification error rates, we expect that the results can be useful and practical for software testing, V&V, and activities for regulatory reviews.

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

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• v.2
• /
• pp.427-430
• /
• 2006

본 논문에서는 일반적인 항법 확인 뿐만 아니라 간섭신호 제거용 필터의 성능 검증을 위한 고성능 GNSS SDR 플랫폼을 개발하였다. 개발된 수신기 플랫폼은 간섭 신호 제거 필터 응용까지 고려한 RF부와 16비트의 분해능을 갖는 고속의 USB 데이터 수집장치, PC 및 GNSS 소프트웨어 수신기 프로그램으로 구성된다. 개발된 플랫폼은 스펙트럼 분석기로 RF부를 검증하였으며, 상용의 GNSS 시뮬레이터를 사용하여 PC에서 데이터를 확인함으로써 신호 수집장치의 동작을 검증하였다. 실제 GPS 신호를 PC에 저장하고, 소프트웨어 수신기에서 항법 결과와 신호 획득시간, 신호 대 잡음 전력비를 확인하여 전체 플랫폼 기능 및 성능을 확인하였다.