01709cam a22003375a 4500 18970414 20161120121107.0 160210q2016 flua frb 001 0 eng d 2016285033 9781498726702 1498726704 DLC eng DLC EG-ScBUE pcc 22 005.1 HOB Hobbs, Chris‏. 41669 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." Wessam Computer software Reliability. BUEsh 18120 Computer software Development. BUEsh 11535 Embedded computer systems Design and construction. BUEsh 3627 Automatic control Reliability. BUEsh 41082 BUEsh COMSCI November2016 ddc 22 005.1 HOB 23197 23169 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2016-11-20 Purchase 675.00 25842 0 005.1 HOB 000034795 2025-07-15 00:00:00 843.75 BB