Safety Systems Engineering in Autonomy
Safety systems engineering in autonomy is the discipline concerned with providing rigorous, verifiable guarantees that complex automated systems — in cars, aircraft, and medical devices — will behave safely even under unexpected conditions. It draws on structured methodologies such as ISO 26262 for automotive functional safety, assurance cases that formally argue why a system meets its safety goals, and model-based development practices that let engineers analyze hazards before a single line of production code is written. As automated systems grow more capable and software-intensive, the field faces hard open questions about how to certify components built on machine learning, where traditional techniques for tracing failures through deterministic logic break down. Active research directions include developing new risk assessment frameworks that account for emergent behavior in autonomous systems and extending security assurance methods to address the growing overlap between safety and cybersecurity vulnerabilities.
- Works
- 27,270
- Total citations
- 69,602
- 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,353
- IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview↗ 1,577
- Protection in operating systems↗ 1,039OA
- Model-checking algorithms for continuous-time markov chains↗ 771
- Business Process Management Workshops↗ 762
- Automotive Control Systems↗ 760
- Guidelines for Chemical Process Quantitative Risk Analysis↗ 663
- Challenges in Autonomous Vehicle Testing and Validation↗ 653
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates↗ 644OA
- 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.