000			01709cam a22003375a 4500
001			18970414
005			20161120121107.0
008			160210q2016 flua frb 001 0 eng d
010			_a 2016285033
020			_a9781498726702
020			_a1498726704
040			_aDLC _beng _cDLC _dEG-ScBUE
042			_apcc
082	0	4	_222 _a005.1 _bHOB
100	1		_aHobbs, Chris‏. _941669
245	1	0	_aEmbedded software development for safety-critical systems / _cChris Hobbs.
260			_aBoca Raton, Florida : _bCRC Press / Taylor & Francis Group, LLC, _cc.2016.
300			_axx, 343 p. : _bill. ; _c24 cm.
500			_aIndex : p. 335-343.
504			_aIncludes bibliographical references.
505	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.
520			_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."
590			_aWessam
650		7	_aComputer software _xReliability. _2BUEsh _918120
650		7	_aComputer software _xDevelopment. _2BUEsh _911535
650		7	_aEmbedded computer systems _xDesign and construction. _2BUEsh _93627
650		7	_aAutomatic control _xReliability. _2BUEsh _941082
651			_2BUEsh
653			_bCOMSCI _cNovember2016
942			_2ddc _e22 _k005.1 HOB
999			_c23197 _d23169