Designing Critical Systems with Iterative Automated Safety Analysis
TimeTuesday, July 12th2:15pm - 2:37pm PDT
Location3004, Level 3
Embedded System Design Methodologies
Time-Critical System Design
DescriptionSafety analysis is an important aspect in safety-critical systems engineering to discover potential design flaws that can potentially lead to hazards and eventually, accidents. Performing safety analysis requires significant manual effort -- its automation has become the research focus in the safety-critical system domain due to the increasing complexity and autonomy of systems. In this paper, we present a methodology, in which automated safety analysis drives the design of safety-critical systems. We illustrate our approach with tool support and evaluate its efficiency. We also discuss the integration of our approach in the current practice of safety-critical systems engineering.