The potential for a generic approach to certification of safety critical systems in the transportation sector

Reliability Engineering and System Safety

Volumn 63, Issue 1, 1999, Pages 47-66

  Papadopoulos, Y ^a   McDermid, J A ^a  

^a UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AIR TRANSPORTATION; AUTOMOBILE ELECTRONIC EQUIPMENT; AVIONICS; CODES (STANDARDS); ELECTRONIC EQUIPMENT; MOTOR TRANSPORTATION; RAILROAD TRANSPORTATION;

SAFETY CRITICAL PROGRAMMABLE ELECTRONIC SYSTEMS; SAFETY CRITICAL SYSTEMS CERTIFICATION;

ACCIDENT PREVENTION;

EID: 0032731082     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0951-8320(98)00015-5     Document Type: Article

References (20)

1. Kopetz, H., The Time-triggered Approach to Real-time System Design, Predictably Dependable Computing Systems, ESPRIT basic research series, Springer-Verlag, Berlin, 1995.
2. Kopetz H, Damm A, Koza C, Mulazzani M, Schwabl W, Senft C, Zainlinger R. Distributed fault tolerant real-time systems: the MARS approach. IEEE Micro, 1989;9(1):25-40.
3. Kopetz H, Grunsteil G. TTP - a protocol for fault tolerant real-time systems. IEEE Computer, 1994;27(1):14-23.
4. Kopetz, H., Braun, M., Ebner, C., Kruger, A., Millinger, D., Nossal, R., Schedl, A., The design of large real-time systems: the time triggered approach, Mars Bericht 14/95, Institut fur Technische Informatic, Techniche Universitat Wien, 1995.
5. McDermid JA. Support for safety cases and safety arguments using SAM. Reliability engineering and System Safety, 1994;43:111-127.
6. Edwards, C., Railway safety cases. In Proceedings of the 12th Annual CRS Workshop on Safety and Reliability of Computer Systems, Bruges, 1995, Springer-Verlag, London, 1997, pp. 317-322.
7. Vogel, T., System safety - challenge and chance for automotive applications. In Proceedings of the 12th Annual CRS Workshop on Safety and Reliability of Computer Systems, Bruges, 1995, SpringerVerlag, London, 1997, pp. 96-106.
8. Wilson, S. P., Kelly, T. P., McDermid, J. A., Safety case development: current practice, future prospects. In Proceedings of the 12th Annual CRS Workshop on Safety and Reliability of Computer Systems, Bruges, 1995, Springer-Verlag, London, 1997, pp. 135-156.
9. EUROCAE (European Organisation for Civil Aviation equipment) ED-79/ARP-4754, Certification considerations for highly-integrated or complex aircraft, EUROCAE, 17 Rue Hamelin, 75783 Paris, Cedex 16, France, 1996.
10. EUROCAE (European Organisation for Civil Aviation equipment) ED-12B/DO-178B, Software considerations in airborne systems and equipment certification, EUROCAE, 17 Rue Hamelin, 75783 Paris, Cedex 16, France, 1994.
11. SAE (Society of Automotive Engineers) ARP 4761, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE 400 Commonwealth Drive, Warrendale, PA 15096-000, USA, 1994.
12. RAILTRAC, Engineering Safety Management System, Section 22, pp. 3-4, Praxis, 20, Manvers Street, BA1 IPX, UK, Sept 1996.
13. CENELEC (European Committee for Electrotechnical Standardisation), Railway Applications: the specification and demonstration of dependability, reliability, availability, maintainability and safety. Draft prEN 50126, November 1995.
14. CENELEC (European Committee for Electrotechnical Standardisation), Railway Applications: safety related electronic railway control and protection systems. Draft prEN 50129, December 1994.
15. CENELEC (European Committee for Electrotechnical Standardisation), Railway Applications: software for railway control and protection systems. Draft prEN 50128, August 1996.
16. CENELEC (European Committee for Electrotechnical Standardisation), Railway Applications: communication, signaling and processing systems, Part 1: safety-related communication in closed transmission systems. Draft prEN 50159-1, August 1996.
17. IEC (International Electrotechnical Commission) 65A/179-185, Draft IEC-61508: Functional safety of electrical/electronic/ programmable electronic safety-related Systems, 1997.
18. MISRA (Motor Industry Software Reliability Association), Development Guidelines for Vehicle Based Software, ISBN 0-9524156-0-7, November 1994.
19. MIL-HDBK-217F, Military Handbook -Reliability Prediction of Electronic Equipment, US Department of Defense, 1991.
20. Wilson SP, McDermid JA. Integrated analysis of Complex Safety Critical Systems. The Computer Journal, 1995;38:765-776.