Development of Verification Environment for Flight Safety Critical Software using NEXUS

NEXUS를 이용한 비행안전 필수 소프트웨어 검증환경 개발

  • Received : 2012.02.19
  • Accepted : 2012.06.01
  • Published : 2012.06.01


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.


  1. 이기훈, 허기봉, 김유경, "비행조종컴퓨터 OFP 검증 장치 개발", 한국항공우주학회 추계학술대회, 2007. 11.
  2. Windriver, "Windview 2.0.1", 1999
  3. 공기석, 손승우, 임채덕, 김흥남, "내장형 실시간 소프트웨어의 원격디버깅을 위한 디버그에이전트의 설계 및 구현", 한국 정보과학회 추계학술대회, 1999. 10.
  4. 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.
  5. IEEE-ISTO, "The Nexus 5001 Forum Standard for a Global Embedded Processor Debug Interface", 2003
  6. 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
  7. RealtimeWave, "RTNgine V1.5", 2010

Cited by

  1. A Software-Based Monitoring Framework for Time-Space Partitioned Avionics Systems vol.5, 2017,
  2. A Study on Software Based Fault-Tolerance Techniques for Flight Control Computer vol.44, pp.3, 2016,