Issues with object orientation in verifying safety-critical systems

Proceedings - 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, ISORC 2003

Volumn , Issue , 2003, Pages 99-104

  Subbiah, S ^a   Nagaraj, S ^a  

^a HONEYWELL TECHNOLOGY SOLUTIONS   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; C++ (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; HIGH LEVEL LANGUAGES;

AIRBORNE SYSTEMS; GENERAL AVIATION; HONEYWELL INTERNATIONALS; INTEGRATED AVIONICS SYSTEM; OBJECT ORIENTATION; OBJECT ORIENTED PARADIGM; SAFETY CRITICAL SYSTEMS; SOFTWARE COMPONENT;

OBJECT ORIENTED PROGRAMMING;

EID: 47849131477     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISORC.2003.1199241     Document Type: Conference Paper

References (5)

1. Federal Aviation Administration, DOT/FAA/AR-02/113, "Issues Concerning the Structural Coverage of Object-Oriented Software"
2. Federal Aviation Administration, AC 25.1309-1A, "Draft of Guidance for Certification of Honeywell Primus Epic Systems"
3. RTCA DO-178B, "Software Considerations in Airborne Systems and Equipment Certification".
4. th International Real-time Ada Workshop (IRTAW), http://polaris.dit.up.es/~ork/documents/RP-spec.pdf
5. Integrated Avionics Systems - Primus Epic, http://www.myflite.com/myflite/products/ias/epic/14Topology.jsp