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

158 79 23MB

English Pages 382 Year 2023

Report DMCA / Copyright

DOWNLOAD FILE

Development of Safety-Critical Systems : Architecture and Software
9783031279010, 9783031279003

Author / Uploaded
Gopinath Karmakar
Amol Wakankar
Ashutosh Kabra
Paritosh Pandya

Categories
Computers
Security

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

Polecaj historie

Development of Safety-Critical Systems. Architecture and Software 9783031279003, 9783031279010

169 45 14MB Read more

Secure Software Systems: Design and Development 1284261158, 9781284261158

Secure Software Systems presents an approach to secure software systems design and development that tightly integrates s

587 135 20MB Read more

Software Architecture Patterns for Serverless Systems 9781800207035, 9781838645649, 9781788470414

3,082 477 20MB Read more

Project management of large software-intensive systems : controlling the software development process 9780367136710, 0367136716

1,905 227 10MB Read more

Software and systems engineering

1,038 152 820KB Read more

Visualise, document and explore your software architecture Software Architecture for Developers - Volume 2 [2]

4,831 1,213 28MB Read more

Effective Software Development for the Enterprise: Beyond Domain Driven Design, Software Architecture, and Extreme Programming 9781484293850, 9781484293874, 1484293878

It’s a jungle out there. Delivering software solutions with predictable costs, time, scope, and quality has become more

181 75 4MB Read more

Embedded Systems Architecture: Design and write software for embedded devices to build safe and connected systems, 2nd Edition 9781803239545, 1803239549

Design safe and reliable software for embedded systems and explore the internals of device drivers, RTOS, and TEE Key Fe

533 145 7MB Read more

Effective Software Development for the Enterprise: Beyond Domain Driven Design, Software Architecture, and Extreme Programming [1st ed.] 9781484293874, 1484293878

It’s a jungle out there. Delivering software solutions with predictable costs, time, scope, and quality has become more

721 242 35MB Read more

SOLID: The Software Design and Architecture Handbook

5,421 1,281 16MB Read more