Abstract
With the rapid development of airborne system and software, the requirement of software’s robustness, adaptability and reliability improves continually. Failure of software function may cause severe property loss and personnel casualties. Formal methods are mathematically based techniques for the specification, development, and verification of software aspects of digital systems that have obvious advantages in improving safety and reliability of airborne software. This paper takes Air Data Computer software as an example for formal verification in the whole software development process including requirements process, design process, coding process and integration process to demonstrate a set of formal methods application in the airborne software verification process.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
