Embedded software development for safety-critical systems / Chris Hobbs.
Material type: TextPublication details: Boca Raton, Florida : CRC Press / Taylor & Francis Group, LLC, c.2016.Description: xx, 343 p. : ill. ; 24 cmISBN:- 9781498726702
- 1498726704
- 22 005.1 HOB
Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Book - Borrowing | Central Library Lower Floor | Baccah | 005.1 HOB (Browse shelf(Opens below)) | 25842 | Available | 000034795 |
Browsing Central Library shelves, Shelving location: Lower Floor Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
005.1 HAL Competitive programming. | 005.1 HAL Competitive programming. | 005.1 HEY Novell's guide to integrating NetWare and TCP/IP / | 005.1 HOB Embedded software development for safety-critical systems / | 005.1 HUA Path-oriented program analysis / | 005.1 HUN The pragmatic programmer : | 005.1 JAL Software project management in practice / |
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."
Wessam
There are no comments on this title.