• Proceedings of the Korea Information Processing Society Conference
• /
• 2014.11a
• /
• pp.1104-1106
• /
• 2014

FSDM은 SMART 기술검증 및 표준설계 인가 획득 사업을 통해서 개발된 인간공학 통합검증설비로서 SMART 주제어실 설계에 대한 인간공학 확인 및 검증시험 활동을 수행하기 위한 수단과 방법을 제공하는 설비이다. 이러한 목적으로 개발된 FSDM은 운영허가 취득단계에서 개발하여 운전원 훈련에 사용되어야 하는 시뮬레이터에 대비하여 약 10%의 모의 성능을 가지고 있다. 본 논문에서는 개발된 FSDM의 제어실 설계 측면에서 하드웨어 및 소프트웨어 자원에 대한 설계현황 분석을 수행하여 설계 개선 요구사항을 도출 및 반영하여 SMART 시뮬레이터 개발에 적용하였다.

• Review of KIISC
• /
• v.11 no.2
• /
• pp.27-37
• /
• 2001

PKI 정보보호 제품의 개발에 있어서 반드시 고려해야 하는 요소 가운데 하나는 PKI 정보보호 제품이 안전성, 신뢰 성 등의 요구조건을 만족하며, 확장성 및 상호연동성을 갖도록 개발되었는지 확인하는 것이다. 만약 이와 같은 사항들 이 만족되지 못한다면, 사용자는 PKI 정보보호 제품의 안전성 및 신뢰성을 의심할 수밖에 없다. 또한 다른 PKI 제품 들과의 연동에 있어서 문제를 일으킬 수밖에 없으며, 이는 결과적으로 사용자에게 불이익을 가져다 주게 된다. 이러한 문제를 방지하기 위해서는 개발 단계에서부터 X.509 등 관련된 기술 표준을 정확하게 준수하여야 한다. 또한 표준 적 합성 확인을 위해서 PKI 정보보호 제품이 표준에 따라 적합하게 구현되었는지 검증하는 절차가 필요하다. 즉, PKI 정 보보호 제품의 표준 적합성 여부에 대한 검증을 전문적으로 수행할 수 있는 시험도구의 개발이 요구된다. 본 논문에서는 PKI 정보보호 제품의 표준 적합성 여부를 판단할 수 있는 시험 절차를 제시하고, 이에 따라 PKI 정 보보호 제품에 대한 검증을 수행할 수 있는 시험도구를 구현하였다. 즉, PKI 정보보호 제품이 인증 서비스 제공을 위 해 사용하는 X.509 등 인증 관련 기술이 표준을 준수하고, 이를 통해 PKI 제품 간의 상호운용성을 지원할 수 있는지 여부를 검증하려는 것이다.

• 한국항공운항학회:학술대회논문집
• /
• 2015.11a
• /
• pp.277-281
• /
• 2015

시스템 엔지니어링은 현대사회에서 성공적인 프로젝트의 실현을 가능케 하는 하나의 개발 방법론으로 선진국에서는 정부, 공공기관, 방위산업체, 민수산업체 등에서 도입하여 시스템 개발 프로젝트를 전수명주기에 걸쳐 효율적이고 체계적으로 관리하고 있다. 시스템 검증 및 확인 프로세스는 시스템 엔지니어링의 핵심 요소 중의 하나로서 고객이 요구하는 시스템 요구사항들이 프로젝트 전수명주기에 걸쳐 올바르게 충족이 되었는가를 입증하고 확인하는 일련의 활동으로 구성된다. 본 논문에서는 국외의 연구 사례들을 조사하여 이러한 검증 및 확인 활동의 독립성이 시스템 개발 사업에 어떠한 긍정적인 효과를 발생시키는지를 분석하였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2003.12a
• /
• pp.45-52
• /
• 2003

정보통신기술의 발달로 인터넷상의 PKC를 사용한 전자거래가 활성화되었다. 이에 따라 실질적으로 Web Server나 Database Server에 접속하기 위한 접근통제의 방안으로 속성인증서에 대한 연구도 활발히 진행되고 있다. 그러나 현재 제안되고 있는 CRL(Certificate Revocation List) 및 OCSP를 이용한 공개키인증서 검증방법은 속성인증서의 인증상태확인과 적용시킬 수 없다. 따라서 본 논문에서는 기존의 공개키인증서 검증방법인 OCSP 방법에 속성인증서 검증방법을 포함시킴으로서, 공개키인증서와 속성인증서간의 동기문제를 해결하고자 한다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.6
• /
• pp.335-342
• /
• 2017

In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.

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

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

• The Bulletin of The Korean Astronomical Society
• /
• v.37 no.2
• /
• pp.226.1-226.1
• /
• 2012

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

• 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.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.6
• /
• pp.71-80
• /
• 2004

In this paper, we study for the design and verification of a 16 bits micro controller, which is compatible with a 8 bits micro controller, 8051, widely used in the industrial fields these days. To confirm our design, we verified our design for all instruction sets and various combinational sets of them. Also we propose a new idea for the verification of various instruction sets, We verified our design through some application programs such as IMA-ADPCM, SOLA. Finally, we verified our design for all instruction sets and application programs through an application board, used Xilinx FPGA(XCVl000-560C). After the comparison our design with a 8051 for various cases, We concluded that we could substitute our design for a 8051 and our design could be operated more powerfully than a 8051.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2010.10a
• /
• pp.328-331
• /
• 2010

본 연구는 IMO에서 제안하고 있는 피난모델에 대한 검증 및 확인 절차를 알아보고 이를 SIMULEX 모델에 적용하여 분석해보았다. 결과적으로 볼때 이 검증절차가 현재 사용되고 있는 피난모델들을 검증하기에는 아직 보완해야할 점이 많은 것으로 판단된다. 피난모델을 검증, 평가하기 위한 평가체계에 대한 연구가 필요하다 생각된다.