A harmonised model for safety assessment and certification of safety-critical systems in the transportation industries |
| |
Authors: | Yiannis Papadopoulos John A McDermid |
| |
Affiliation: | (1) Department of Computer Science, University of York, YO10 5DD York, UK |
| |
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. |
| |
Keywords: | Certification requirements IEC-61508 Safety assessment Safety cases Safety process Safety standards |
本文献已被 SpringerLink 等数据库收录! |