Safety Systems Engineering in Autonomy
Safety systems engineering in autonomy is the discipline concerned with rigorously demonstrating that complex, software-intensive systems—autonomous vehicles, aircraft, medical devices—will behave safely even under failure conditions or unforeseen inputs. Central to the work are structured frameworks like ISO 26262 for automotive functional safety and processes such as Automotive SPICE, which provide systematic methods for identifying hazards, assigning risk levels, and tracing requirements through to verified implementations. A recurring challenge is building convincing assurance cases: structured arguments, backed by evidence, that regulators and developers can use to justify confidence in a system whose behavior may emerge from learned models rather than hand-written logic. Active research focuses on how to certify systems that incorporate machine learning components, where traditional assumptions about deterministic, fully specified software break down, and on how security threats—which can deliberately drive a system into unsafe states—should be integrated into safety analysis from the outset.
- Works
- 26,631
- Total citations
- 68,832
- Keywords
- Safety AssuranceAssurance CasesSoftware CertificationFunctional SafetyAutomotive SPICEModel-Based Development
Top papers in Safety Systems Engineering in Autonomy
Ordered by total citation count.
- PRISM 4.0: Verification of Probabilistic Real-Time Systems↗ 2,332
- IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview↗ 1,577
- Protection in operating systems↗ 1,034OA
- Model-checking algorithms for continuous-time markov chains↗ 770
- Business Process Management Workshops↗ 762
- Automotive Control Systems↗ 759
- Guidelines for Chemical Process Quantitative Risk Analysis↗ 663
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates↗ 641OA
- Challenges in Autonomous Vehicle Testing and Validation↗ 635
- Safety analysis of timing properties in real-time systems↗ 631
- Automatically Validating Temporal Safety Properties of Interfaces↗ 605
- INTERNATIONAL JOURNAL OF CIVIL ENGINEERING AND TECHNOLOGY↗ 600OA
Active researchers
Top authors in this area, ranked by h-index.