Embedded Software Development for Safety-Critical Systems, Second Edition

Embedded Software Development for Safety-Critical Systems, Second Edition

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general embedded software development, but who are now facing the prospect of delivering a software-based system for a safety-critical application. It is aimed at those creating a product that must satisfy one or more of the international standards relating to safety-critical applications, including IEC 61508, ISO 26262, EN 50128, EN 50657, IEC 62304, or related standards. Of the first edition, Stephen Thomas, PE, Founder and Editor of FunctionalSafetyEngineer.com said, "I highly recommend Mr. Hobbs' book."


Author
Publisher CRC Press
Release Date
ISBN 1000497453
Pages 366 pages
Rating 4/5 (58 users)
Read More

More Books:

Embedded Software Development for Safety-Critical Systems, Second Edition
Language: en
Pages: 366
Authors: Chris Hobbs
Categories: Computers
Type: BOOK - Published: 2019-08-16 - Publisher: CRC Press

This is a book about the development of dependable, embedded software. It is for systems designers, implementers, and verifiers who are experienced in general e
Embedded Software Development for Safety-Critical Systems
Language: en
Pages: 344
Authors: Chris Hobbs
Categories: Computers
Type: BOOK - Published: 2017-09-07 - Publisher: CRC Press

Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standar
Software Engineering for Embedded Systems
Language: en
Pages: 1200
Authors: Mark Kraeling
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-01 - Publisher: Elsevier Inc. Chapters

In this chapter, we cover the aspects of developing safety-critical software. The first part of the chapter covers project planning, and the crucial steps that
Fundamental Approaches to Software Engineering
Language: en
Pages: 378
Authors: Tom Maibaum
Categories: Computers
Type: BOOK - Published: 2000-03-15 - Publisher: Springer Science & Business Media

ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in
Mission-Critical and Safety-Critical Systems Handbook
Language: en
Pages: 592
Authors: Kim Fowler
Categories: Technology & Engineering
Type: BOOK - Published: 2009-11-19 - Publisher: Newnes

This handbook provides a consolidated, comprehensive information resource for engineers working with mission and safety critical systems. Principles, regulation
CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems
Language: en
Pages: 391
Authors: Ajitha Rajan
Categories: Technology & Engineering
Type: BOOK - Published: 2013-03-25 - Publisher: Springer Science & Business Media

The book summarizes the findings and contributions of the European ARTEMIS project, CESAR, for improving and enabling interoperability of methods, tools, and pr
Software Engineering for Embedded Systems
Language: en
Pages: 1200
Authors: Mark Kraeling
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-01 - Publisher: Elsevier Inc. Chapters

This chapter provides some guidelines that are commonly used in embedded software development. It starts with principles of programming, including readability,
Software Engineering for Resilient Systems
Language: en
Pages: 145
Authors: Alessandro Fantechi
Categories: Computers
Type: BOOK - Published: 2015-08-27 - Publisher: Springer

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, Fran
Software Engineering for Embedded Systems
Language: en
Pages: 645
Authors: Robert Oshana
Categories: Technology & Engineering
Type: BOOK - Published: 2019-06-21 - Publisher: Newnes

Software Engineering for Embedded Systems: Methods, Practical Techniques, and Applications, Second Edition provides the techniques and technologies in software
Embedded Software
Language: en
Pages: 430
Authors: Alberto Sangiovanni-Vincentelli
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

This book constitutes the refereed proceedings of the Second International Conference on Embedded Software, EMSOFT 2002, held in Grenoble, France in October 200