Techniques based on formal methods for verifying complex avionics systems.
|4 Jun 2013||Linda Webb||
By Jay Abraham and Jon Friedman, MathWorks
Software in critical civilian and military aerospace applications, including avionics and other systems in which quality and reliability are imperative, continues to become both more common and more complex. The embedded software development organizations that build these systems must meet stringent quality objectives that are mandated by their organizations or required by customers or governments. For engineering teams to meet these objectives, and to ideally deliver high-quality software, state-of-the-art testing and verification solutions are needed.
This article examines software verification and testing approaches based on formal methods that have been applied to critical software projects in civil and military aerospace and defense projects. Examples illustrate how these verification techniques can be deployed to improve the quality and reliability of complex avionics systems.
This article was published in Cross Talk.