DocumentCode :
3451354
Title :
Issues with object orientation in verifying safety-critical systems
Author :
Subbiah, Sathyanarayanan ; Nagaraj, Srikanth
Author_Institution :
Aerosp. Div., Honeywell Technol. Solutions Lab., Bangalore, India
fYear :
2003
fDate :
14-16 May 2003
Firstpage :
99
Lastpage :
104
Abstract :
Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.
Keywords :
C++ language; avionics; certification; formal verification; object-oriented programming; safety-critical software; C++ programming language; Primus Epic integrated avionics system; avionics certification; object orientation; safety-critical system verification; Aerospace electronics; Certification; Communication system control; Computer industry; Computer languages; Distributed computing; FAA; Network interfaces; Software safety; Software systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Object-Oriented Real-Time Distributed Computing, 2003. Sixth IEEE International Symposium on
Print_ISBN :
0-7695-1928-8
Type :
conf
DOI :
10.1109/ISORC.2003.1199241
Filename :
1199241
Link To Document :
بازگشت