Safety Assurance under Uncertainties (eBook, PDF)

From Software to Cyber-Physical/Machine Learning Systems
Redaktion: Hasuo, Ichiro; Ishikawa, Fuyuki

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 366
• Erscheinungstermin: 13. Mai 2025
• Englisch
• ISBN-13: 9781040368381
• Artikelnr.: 73656359

Autorenporträt

Ichiro Hasuo, Ph.D. (cum laude, Radboud University Nijmegen, 2008), is a Professor at National Institute of Informatics (NII), Tokyo, Japan. He is at the same time the Research Director of the JST ERATO "Metamathematics for Systems Design'' Project, and the Director of Research Center for Mathematical Trust in Software and Systems at NII. His research field is software science and his interests include formal verification, mathematical and logical structures, category theory, integration of formal methods and testing, and application to cyber-physical systems and systems with statistical machine learning components. Fuyuki Ishikawa, Ph.D. (The University of Tokyo, 2007), is an Associate Professor in Information Systems Architecture Science Research Division and the Director of GRACE Center, at National Institute of Informatics (NII), Tokyo, Japan. His research focuses on software engineering, especially for dependability of emerging AI and smart cyber-physical systems, including test generation, fault analysis, automated repair, and formal verification for automated driving systems. He is leading relevant initiatives of the Japanese industry such as the QA4AI guidelines for quality assurance of AI systems.

Inhaltsangabe

Preface. 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 Modelling. Theorem Proving at Work. Search-Based Analysis
and Engineering. Fault Localisation and Understanding. Index.