首页 | 本学科首页   官方微博 | 高级检索  
     


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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号