Abstract
This paper describes a model for the assessment and certification of safety-critical programmable electronic systems in the transportation industries. The proposed model is founded on the significant commonalities between emerging international safety-related standards in the automotive, railway and aerospace industries. It contains a system development and a safety assessment process which rationalise and unify the common requirements among the standards in these areas. In addition, it defines an evolutionary process for the development of the system’s safety case. The safety case process shows how the evidence produced in the progression of safety assessment can be structured in order to form an overall argument about the safety of the system. We conclude that it is possible to use this model as the basis of a generic approach to the certification of systems across the transportation sector.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Kopetz H. The time-triggered approach to real-time system design, ESPRIT basic research series. Predictably Dependable Computing Systems, 1995
Kopetz H. Real-time systems: design principles for distributed embedded applications. Kluwer, Dordrecht, 1997
Kopetz H, Grunsteil G. TTP: A protocol for fault tolerant realtime systems. IEEE Comput 1994;27(1): 1423
McDermid JA. Support for safety cases and safety arguments using. SAM Reliability Eng Syst Safety 1994;43: 111–127
Edwards C. Railway safety cases. In: Proceedings of the 12th annual CRC workshop on safety and reliability of computer systems, Bruges. Springer, London, 1995, pp 317–322
Wilson S P, Kelly TP, McDermid JA. Safety case development: current practice, future prospects. In: 12th annual CRS workshop on safety and reliability of computer systems, Bruges. Springer, London, 1995, pp 135–156
Wilson SP, McDermid JA. Integrated analysis of complex safety critical systems. Comput J 1995;38: 765–776
EUROCAE (European Organisation for Civil Aviation equipment). ED-79/ARP-4754: Certification considerations for highly-integrated or complex aircraft. EUROCAE, Paris, 1996
EUROCAE (European Organisation for Civil Aviation equipment) ED-12B/DO-178B: Software considerations in airborne systems and equipment certification. EUROCAE, Paris, 1994
SAE (Society of Automotive Engineers). ARP 4761: Guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. SAE, Warrendale, PA, 1994
CENELEC (European Committee for Electro-technical Standardisation). Draft prEN 50126: Railway applications: the specification and demonstration of dependability, reliability, availability, maintainability and safety. CENELEC, 1995
CENELEC (European Committee for Electro-technical Standardisation). Draft prEN 50129: Railway applications: safety related electronic railway control and protection systems. CENELEC, 1994
CENELEC (European Committee for Electro-technical Standardisation). Draft prEN 50128: Railway applications: software for railway control and protection systems. CENELEC, 1996
MISRA (Motor Industry Software Reliability Association). Development guidelines for vehicle based software. MISRA, 1994
IEC (International Electro-technical Commission). Draft IEC-61508: Functional safety of electrical/electronic/programmable electronic safety-related systems. IEC, 1997
Papadopoulos Y, McDermid JA. The potential for a generic approach to certification of safety-critical systems in the transportation sector. J Reliability Eng Syst Safety (in press)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Papadopoulos, Y., McDermid, J.A. A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries. Requirements Eng 3, 143–149 (1998). https://doi.org/10.1007/BF02919975
Issue Date:
DOI: https://doi.org/10.1007/BF02919975