The licensing of safety critical systems containing software
This report reviews the methods used to assess the dependability of hardware and software systems and looks, in particular, at the techniques used in the nuclear power, aircraft and railway industries to ensure adequate levels of dependability that are acceptable to licensing organisations. The report concludes that the current position is far from satisfactory and that research is needed to improve the position. A particular need is for data about the dependability of current operational systems containing software, and for information about the way in which they are constructed and tested before use.
Bibliographic Reference: EUR 15341 EN (1993) 75 pp., free of charge
Availability: Available from Joint Research Centre, Publication Department, I-21020 Ispra (Va.) (IT)
Record Number: 199511585 / Last updated on: 1995-12-12
Original language: en
Available languages: en