A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
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