Programmable electronic system design & verification utilizing DFM

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 275-285

  Houtermans, Michel ^a,b   Apostolakis, George ^c   Brombacher, Aarnout ^a   Karydas, Dimitrios ^d  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b TUV Product Service   (United States)

^c Massachusetts Institute of Technology   (United States)

^d Factory Mutual Research   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER HARDWARE; SAFETY ENGINEERING; SECURITY SYSTEMS; SOFTWARE TESTING;

DESIGN VERIFICATION; DIAGNOSTIC CAPABILITIES; ELECTRONIC SYSTEM DESIGN; SAFETY-RELATED SYSTEMS;

SOFTWARE DESIGN;

EID: 80051998563     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_24     Document Type: Conference Paper

References (8)

1. Leveson, N., 1995, Safeware, System Safety and Computers. Addison Wesley
2. Garrett, C.J., Guarro, S.B., Apostolakis G.E., The Dynamic Flowgraph Methodology for Assessing the Dependability of Embedded Software Systems. IEEE Transactions on Systems, Man, and Cybernetics, Vol. 25, No. 5, May 1995
3. Yau, M., Apostolakis, G., Guarro, S., 1998, The Use of Prime Implicants in Dependability Analysis of Software Controlled Systems. Reliability Engineering and System Safety, 62, 23-32
4. Milici, A., Yau, M., Guarro, S., Software Safety Analysis of the Space Shuttle Main Engine Control Software. PSAM 4, New York, September 1998
5. Garrett, C.J., Apostolakis, G., Context in the Risk Assessment of Digital Systems. Risk Analysis, 19, 23-32, 1999
6. ASCA, DFM software tool, ASCA Incorporated, 706 Silver Spur Road, Ste 203, Rolling Hill Estates, CA, 1999
7. Health and Safety Executive, Programmable electronic systems in safety related applications. Health and Safety Executive, ISBN 0 11 883906, Sheffield, United Kingdom, 1987
8. IEC 61508, Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related Systems. International Electrotechnical Committee, Part 1.7, Version 5.0, 1999