Safety assurance under uncertainties from software to cyber-physical/machine learning systems / editors, Ichiro Hasuo, Fuyuki Ishikawa.
| Other author | Hasuo, Ichirō. |
| Other author | Ishikawa, Fuyuki. |
| Format | Electronic |
| Edition | First edition. |
| Publication Info | Boca Raton : CRC Press, Taylor & Francis Group, 2025. |
| Description | pages cm |
| Supplemental Content | Full text available from eBooks on EBSCOhost |
| Subjects |
| Contents | Optimisation-based falsification -- Monitoring temporal specifications -- Formal specification of temporal properties -- Testing for machine learning-based systems -- Safety standards and safety assurance framework for ADS -- Uncertainty-wise testing -- Decision making for automated driving -- Formal modeling -- Theorem proving at work -- Search-based analysis and engineering -- Fault localisation and understanding. |
| Abstract | "Modern software systems operate under an unprecedented degree of uncertainties, making them hard to specify, model, test, analyze, and verify. Safety assurance of such systems requires efforts that unite different disciplines such as formal methods, software science, software engineering, control theory, machine learning. The book is the first to give a comprehensive overview of such united efforts. Driven by automated driving systems as a leading example, the book describes high-level intuitions of a variety of techniques from black-box testing to contract-based formal verification. It also comes with plenty of pointers to details of technical developments"-- Provided by publisher. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2024040201 |
| ISBN | 9780367554019 (hardcover) |
| ISBN | 9780367554040 (paperback) |
| ISBN | (ebook) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | Access Content Online | ✔ Available |