Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
- English
- ePUB (mobile friendly)
- Available on iOS & Android
Safety Assurance under Uncertainties
From Software to Cyber-Physical/Machine Learning Systems
About this book
Safety assurance of software systems has never been as imminent a problem as it is today. Practitioners and researchers who work on the problem face a challenge unique to modern software systems: uncertainties. For one, the cyber-physical nature of modern software systems as exemplified by automated driving systems mandates environmental uncertainties to be addressed and the resulting hazards to be mitigated. Besides, the abundance of statistical machine-learning components massive numerical computing units for statistical reasoning such as deep neural networks make systems hard to explain, understand, analyze or verify.
The book is the first to provide a comprehensive overview of such united and interdisciplinary efforts. Driven by automated driving systems as a leading example, the book describes diverse techniques to specify, model, test, analyze, and verify modern software systems. Coming out of a collaboration between industry and basic academic research, the book covers both practical analysis techniques (readily applicable to existing systems) and more long-range design techniques (that call for new designs but bring a greater degree of assurance).
The book provides high-level intuitions and use-cases of each technique, rather than technical details, with plenty of pointers for interested readers.
Frequently asked questions
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
Information
Table of contents
- Cover Page
- Title Page
- Copyright Page
- Preface
- Contents
- Chapter Overview
- Contributors
- Chapter 1 Optimisation-Based Falsification—Showcasing Black-Box Techniques for System Safety
- Chapter 2 Monitoring Temporal Specifications
- Chapter 3 Formal Specification of Temporal Properties
- Chapter 4 Testing for Machine Learning-Based Systems
- Chapter 5 Safety Standards and Safety Assurance Framework for ADS
- Chapter 6 Uncertainty-wise Testing
- Chapter 7 Decision Making for Automated Driving
- Chapter 8 Formal Modelling
- Chapter 9 Theorem Proving at Work
- Chapter 10 Search-Based Analysis and Engineering
- Chapter 11 Fault Localisation and Understanding
- Index