Development of Safety-Critical Systems : Architecture and Software 9783031279010, 9783031279003
This book provides professionals and students with practical guidance for the development of safety-critical computer-ba
139 102 23MB
English Pages 382 Year 2023
Table of contents :
Cover
Front Matter
1. Introduction
2. System Architecture and Dependability
3. Software Development Process
4. Complying with Standards and Guides
5. Qualification of Safety System Software
6. Formal Modeling, Verification and Automated Synthesis
7. Development of Qualified Platform
Back Matter
Cover
Front Matter
1. Introduction
2. System Architecture and Dependability
3. Software Development Process
4. Complying with Standards and Guides
5. Qualification of Safety System Software
6. Formal Modeling, Verification and Automated Synthesis
7. Development of Qualified Platform
Back Matter
- Author / Uploaded
- Gopinath Karmakar
- Amol Wakankar
- Ashutosh Kabra
- Paritosh Pandya
![Effective Software Development for the Enterprise: Beyond Domain Driven Design, Software Architecture, and Extreme Programming [1st ed.]
9781484293874, 1484293878](https://ebin.pub/img/200x200/effective-software-development-for-the-enterprise-beyond-domain-driven-design-software-architecture-and-extreme-programming-1st-ed-9781484293874-1484293878.jpg)
![ISO/IEC/IEEE 42020:2019 Software, systems and enterprise — Architecture processes [1 ed.]
9781504459020, 9781504459037](https://ebin.pub/img/200x200/iso-iec-ieee-420202019-software-systems-and-enterprise-architecture-processes-1nbsped-9781504459020-9781504459037.jpg)