This project initiated a shift of software verification from a “people-intensive” and “test-centric” process to one that is more “model-based” and supported by automated tools.
- Worked to develop more effective model-based verification methods and algorithms for automation.
- Worked to develop tool prototypes incorporating algorithms.
- Worked with Tool Vendors and regulators to turn prototypes into commercial “qualifiable” tools per DO-178B/ED-12B.
Researchers defined a methodology to support the specification, verification, and certification of digital avionics systems containing components from multiple suppliers, where some components could be commercial off-the-shelf (COTS) developed for another domain that do not carry the traditional FAA pedigree.
A key element of this project was the development an Architectural Specification Language (ASL) to facilitate system design and verification in which only partial knowledge may be available about some components.
Researchers also investigated how traditional safety analysis, such as fault trees, can be integrated into the overall approach.