Design for validation
- 1 January 1992
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Aerospace and Electronic Systems Magazine
- Vol. 7 (1) , 38-43
- https://doi.org/10.1109/62.127129
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
This publication has 4 references indexed in Scilit:
- Cleanroom Software EngineeringIEEE Software, 1987
- Software safety: why, what, and howACM Computing Surveys, 1986
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986
- The "BUG" heard 'round the worldACM SIGSOFT Software Engineering Notes, 1981