Evaluation of pre-developed software for usage in safety-critical systems

Conference Proceedings of the EUROMICRO

Volumn 2, Issue , 2000, Pages 193-199

  Saglietti, F ^a  

^a ISTec GmbH Forschungsgelande   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION PROCESS; QUANTITATIVE CRITERIA; SAFETY CRITICAL SYSTEMS;

MICROWAVE CIRCUITS;

EID: 0141571917     PISSN: 10896503     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURMIC.2000.874418     Document Type: Conference Paper

References (8)

1. Les Hatton: "Safer C: Developing Software for High-integrity and Safety-critical Systems", McGraw-Hill 1997
2. International Electrotechnical Commission (IEC): "Functional Safety: Safety-related Systems", part 3: Software Requirements, International Standard IEC 61508, 1997
3. F. Saglietti: "Integration of Logical and Physical Properties of Embedded Systems by Use of Time Petri Nets", Lecture Notes in Computer Science N. 1516, Springer-Verlag 1998
4. J. Oberg: "Why the Mars Probe went off course", IEEE Spectrum, Dezember 1999
5. European Space Agency-Inquiry Board: "ARIANE 5 Flight 501 Failure Report", Press Release, Paris 1996
6. F. Saglietti: "Dynamic Decision on Checkpointing by Use of Reduced Ordered Binary Decision Diagrams", International Conference on Computer Safety, Reliability and Security, Springer-Verlag 1997
7. H. Stormer: "Mathematische Theorie der Zuverlassigkeit", Oldenbourg-Verlag Miinchen 1970
8. C. Michael: "Reusing Tests of Reusable Software Components", Proceedings of COMPASS '97, June 1997