Safety of computer control systems: challenges and results in software development

Janusz Zalewski, Wolfgang Ehrenberger, Francesca Saglietti, Janusz Górski, Andrew Kornecki
2003 Annual Reviews in Control  
This paper reviews some results in improving software safety in computer control systems. The discussion covers various aspects of the software development process, as opposed to the product features. Software diversity, off-the-shelf software, failure mode and effect analysis, rigorous and formal software development are discussed.
doi:10.1016/s1367-5788(03)00004-x fatcat:mtuoxdn7vndrjikbugrlemt3ju