Normal view MARC view ISBD view

Hobbs, Chris‏.

Embedded software development for safety-critical systems / Chris Hobbs. - Boca Raton, Florida : CRC Press / Taylor & Francis Group, LLC, c.2016. - xx, 343 p. : ill. ; 24 cm.

Index : p. 335-343.

Includes bibliographical references.

Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices.

"Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508, ISO 26262, EN 50128, and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification through anomaly detection to the so-called "safety bag" systems."

ISBN: 9781498726702 1498726704

LCCN: 2016285033

Subjects--Topical Terms:
Computer software--Reliability.
Computer software--Development.
Embedded computer systems --Design and construction.
Automatic control--Reliability.

Subjects--Geographic Terms:

Subjects--Index Terms:

Dewey Class. No.: 005.1 / HOB