Semi-formal approach for validating compiler for safety critical software in airborne systems

Avinash, AK and Nanda, Manju and Jayanthi, J (2015) Semi-formal approach for validating compiler for safety critical software in airborne systems. In: 2015 International Conference on Computing for Sustainable Global Development, INDIACom 2015, 11-13 March 2015, New Delhi.

[img] Text
07100370.pdf
Restricted to Registered users only

Download (191kB) | Request a copy
Official URL: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&ar...

Abstract

For safety critical systems, porting the correct object code to perform the safety function is very critical. So apart from verifying the embedded software at hardware, software and system levels, safety critical systems need to be tested and validated even at the object code level [1,2,3] (ref: DO 178, Section 6.4.4.2). This paper proposes a novel semi-formal approach for validating compiler used for safety critical software for airborne systems. The novel approach is demonstrated as a case study for Microtec cross-compiler used for generating the object code for Motorola 68060 for indigenously developed Stall warning and aircraft interface computer system software. Program Analysis technique is used to validate the cross-compiler. The technique is incorporated in an in-house tool which integrates the manual knowledge database to carry out the compiler validation. This tool provides partial automation of the verification process which will be used to provide proof as per the RTCA DO-178B guidelines [3].

Item Type: Conference or Workshop Item (Paper)
Subjects: ENGINEERING > Electronics and Electrical Engineering
Depositing User: Mrs SK Pratibha
Date Deposited: 13 Jun 2018 11:27
Last Modified: 13 Jun 2018 11:27
URI: http://nal-ir.nal.res.in/id/eprint/12800

Actions (login required)

View Item View Item