| 书目名称 | Development of Safety-Critical Systems |
| 副标题 | Architecture and Sof |
| 编辑 | Gopinath Karmakar,Amol Wakankar,Paritosh Pandya |
| 视频video | |
| 概述 | Provides practical guidance for the development of safety-critical computer-based systems.Presents the most important standards and guidelines and discusses steps how to comply with them.Presents qual |
| 图书封面 |  |
| 描述 | This book provides professionals and students with practical guidance for the development of safety-critical computer-based systems. It covers important aspects ranging from complying with standards and guidelines to the necessary software development process and tools, and also techniques pertaining to model-based application development platforms as well as qualified programmable controllers..After a general introduction to the book’s topic in chapter 1, chapter 2 discusses dependability aspects of safety systems and how architectural design at the system level helps deal with failures and yet achieves the targeted dependability attributes. Chapter 3 presents the software development process which includes verification and validation at every stage, essential to the development of software for systems performing safety functions. It also explains how the process helps in developing a safety case that can be independently verified and validated. The subsequent chapter 4 presents some important standards and guidelines, which apply to different industries and in different countries. Chapter 5 then discusses the steps towards complying with the standards at every phase of developmen |
| 出版日期 | Textbook 2023 |
| 关键词 | Safety-Critical Systems; Formal Methods; Software Verification; Software Validation; Dependable Systems; |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-031-27901-0 |
| isbn_softcover | 978-3-031-27900-3 |
| isbn_ebook | 978-3-031-27901-0 |
| copyright | The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerl |
发表于 2025-3-21 19:47:28
