Verification of Air Data Computer Software using Formal Methods
Jian Feng Xu, Xinai Zhang, Yi Zhao, Bing Sen Xu · Journal of Physics Conference Series · 2021
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.