Safety assurance under uncertainties : from software to cyber-physical/machine learning systems
著者
書誌事項
Safety assurance under uncertainties : from software to cyber-physical/machine learning systems
CRC Press, Taylor & Francis Group, 2025
First edition
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Content Type: text (ncrcontent), Media Type: unmediated (ncrmedia), Carrier Type: volume (ncrcarrier)
Includes bibliographical references and index
Summary:"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
