Embedded software development for safety-critical systems /
Hobbs, Chris
Embedded software development for safety-critical systems / Chris Hobbs. - xx, 343 pages : illustrations ; 24 cm
Minimal Level Cataloging Plus.
Includes bibliographical references and index.
Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices.
9781498726702
2016285033
Embedded computer systems--Programming
System safety--Data processing
Computer software--Reliability
Computer software--Development
Safety appliances--Data processing
MLCM 2019/43901 (Q)
Embedded software development for safety-critical systems / Chris Hobbs. - xx, 343 pages : illustrations ; 24 cm
Minimal Level Cataloging Plus.
Includes bibliographical references and index.
Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices.
9781498726702
2016285033
Embedded computer systems--Programming
System safety--Data processing
Computer software--Reliability
Computer software--Development
Safety appliances--Data processing
MLCM 2019/43901 (Q)