Safety-critical embedded systems have become a part of everyone’s daily life. Before deploying these systems, their safety must be ensured to prevent severe accidents. A part of the verification process to minimize system failures is a hazard analysis. One such technique is System-Theoretic Process Analysis (STPA), which finds more causes of failures than other hazard analysis techniques. The disadvantage of hazard analyses is that they are time-consuming and prone to human error since they are performed manually. We propose several techniques to ease the STPA process and reduce pitfalls. These encompass automated component generation and consistency checks as well as enhanced utilization of diagrams to provide a good overview and ease the discussion with other stakeholders.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis

  • Jette Petzold,
  • Reinhard von Hanxleden

摘要

Safety-critical embedded systems have become a part of everyone’s daily life. Before deploying these systems, their safety must be ensured to prevent severe accidents. A part of the verification process to minimize system failures is a hazard analysis. One such technique is System-Theoretic Process Analysis (STPA), which finds more causes of failures than other hazard analysis techniques. The disadvantage of hazard analyses is that they are time-consuming and prone to human error since they are performed manually. We propose several techniques to ease the STPA process and reduce pitfalls. These encompass automated component generation and consistency checks as well as enhanced utilization of diagrams to provide a good overview and ease the discussion with other stakeholders.