Open AccessVerification of Air Data Computer Software using Formal Methods
Author(s) -
Jian Xu,
Xinai Zhang,
Yi Zhao,
Bing Xu
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1827/1/012207
Subject(s) - computer science , verification and validation , software verification , avionics software , formal methods , software construction , software engineering , formal verification , software development , software development process , reliability engineering , software , engineering , programming language , operations management
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.