Browse > Article
http://dx.doi.org/10.5139/JKSAS.2012.40.6.548

Development of Verification Environment for Flight Safety Critical Software using NEXUS  

Yoon, Hyung-Sik (국방과학연구소)
Han, Jong-Pyo (국방과학연구소)
Publication Information
Journal of the Korean Society for Aeronautical & Space Sciences / v.40, no.6, 2012 , pp. 548-554 More about this Journal
Abstract
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.
Keywords
Flight Control Computer; OFP; Flight Safety Critical Software; Verification & Validation;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
연도 인용수 순위
1 Marija Punt, Jovan Djordjevic, Milo Tomasevic, "A Simulation Environment for the On-Line Monitoring of a Fault Tolerant Flight Control Computer", IEEE Eastern European Conference on the Engineering of Computer Based Systems, 2009.
2 IEEE-ISTO, "The Nexus 5001 Forum Standard for a Global Embedded Processor Debug Interface", 2003
3 B. Vermeulen, N. Stollon, R. Kuhnis, G. Swoboda, and J. Rearick, "Overview of debug standardization activities," IEEE Design & Test of Computers, 2008. pp 258-267
4 RealtimeWave, "RTNgine V1.5", 2010
5 이기훈, 허기봉, 김유경, "비행조종컴퓨터 OFP 검증 장치 개발", 한국항공우주학회 추계학술대회, 2007. 11.
6 Windriver, "Windview 2.0.1", 1999
7 공기석, 손승우, 임채덕, 김흥남, "내장형 실시간 소프트웨어의 원격디버깅을 위한 디버그에이전트의 설계 및 구현", 한국 정보과학회 추계학술대회, 1999. 10.   과학기술학회마을