01862cam a22003495a 45000010009000000050017000090080041000260100017000670200018000840200015001020400028001170420008001450820020001531000028001732450078002012600078002793000033003575000024003905040041004145050188004555200422006435900011010656500050010766500050011266500070011766500050012466510010012966530025013069420023013319990017013549520141013711897041420161120121107.0160210q2016    flua   frb    001 0 eng d  a  2016285033  a9781498726702  a1498726704  aDLCbengcDLCdEG-ScBUE  apcc04222a005.1 bHOB1 aHobbs, Chris‏.94166910aEmbedded software development for safety-critical systems /cChris Hobbs.  aBoca Raton, Florida : bCRC Press / Taylor & Francis Group, LLC,cc.2016.  axx, 343 p. :bill. ;c24 cm.  aIndex : p. 335-343.  aIncludes bibliographical references.0 aSection 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices.  a"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."  aWessam 7aComputer softwarexReliability.2BUEsh918120 7aComputer softwarexDevelopment.2BUEsh911535 7aEmbedded computer systems xDesign and construction.2BUEsh93627 7aAutomatic controlxReliability.2BUEsh941082  2BUEsh  bCOMSCIcNovember2016  2ddce22k005.1 HOB  c23197d23169  00102ddc40708BaccahaMAINbMAINcLOWd2016-11-20ePurchaseg675.00h25842l0o005.1  HOBp000034795r2025-07-15 00:00:00v843.75yBB