Comparing Automatic Allocation of Safety Integrity Levels in the Aerospace and Automotive Domains

详细信息    查看全文

• 作者：Ioannis Sorokos ^{I.Sorokos@2012.hull.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Luis P. Azevedo ^{L.P.Azevedo@2012.hull.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Yiannis Papadopoulos ^{Y.I.Papadopoulos@hull.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Martin Walker ^{Martin.Walker@hull.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; David J. Parker ^{D.J.Parker@hull.ac.uk" class="auth_mail" title="E-mail the corresponding author}
• 关键词：safety-critical systems ; safety requirements ; ASIL allocation ; DAL allocation ; optimisation
• 刊名：IFAC-PapersOnLine
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：49
• 期：3
• 页码：184-190
• 全文大小：534 K

文摘

Safety standards guide the development of systems whose operation raises concerns about safety. We focus our attention on the automotive and aerospace standards, ISO 26262 and ARP4754-A respectively. Both standards advocate a process for controlled allocation of safety integrity requirements that starts early in the design and continues as the system architecture is being refined. This procedure may generate a plethora of feasible design variants, all satisfying system safety requirement, but each having different allocations of integrity to components and different costs. In this paper, we describe a model-based safety analysis method for automating this allocation process in a way that cost-optimal design variants are selected. We show that the proposed method is generic and can satisfy both the automotive and aerospace safety standards with application to both industries. We apply the method using both standards on a common case study and discuss the differences in the results obtained, reflecting on the commonalities and differences between the two standards.