Title :
Design for validation
Author :
Johnson, Sally C. ; Butler, Ricky W.
Author_Institution :
NASA Langley Res. Center, Hampton, VA, USA
Abstract :
An approach is outlined for the development of ultrareliable avionics for civil air transports using a design-for-validation philosophy that includes rigorous application of formal methods. The basic concept of the methodology is introduced, and the role of formal methods is explored. The impact of the design-for-validation philosophy on the system design process is then demonstrated by two simple examples. More details about the design-for-validation methodology are then given.<>
Keywords :
aircraft instrumentation; reliability; avionics; civil air transports; design-for-validation; formal methods; Aerospace electronics; Application software; Certification; Computer aided analysis; Engines; Failure analysis; Formal specifications; Hardware; NASA; Power system reliability;
Journal_Title :
Aerospace and Electronic Systems Magazine, IEEE
