000			03355cam a2200481Mi 4500
001			9781351688949
003			FlBoTFG
005			20201105111207.0
006			m o d
007			cr cn|||||||||
008			171208s2017 flua o 000 0 eng d
040			_aOCoLC-P _beng _erda _epn _cOCoLC-P
020			_a9781315169439 _q(e-book)
020			_a1315169436
020			_a9781351688949 _q(e-book ; _qPDF)
020			_a1351688944
020			_a9781498726719
020			_a1498726712
035			_a(OCoLC)1014363622
035			_a(OCoLC-P)1014363622
050		4	_aQA76.76.D47
072		7	_aCOM011000 _2bisacsh
072		7	_aCOM051230 _2bisacsh
072		7	_aTEC009000 _2bisacsh
082	0	4	_a005.3 _223
100	1		_aHobbs, Chris, _eauthor.
245	1	0	_aEmbedded Software Development for Safety-Critical Systems.
250			_aFirst edition.
264		1	_aBoca Raton, FL : _bCRC Press, _c2017.
300			_a1 online resource : _btext file, PDF
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
520	2		_a"Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. 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. Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that's the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free."--Provided by publisher.
588			_aOCLC-licensed vendor bibliographic record.
650		0	_aEmbedded computer systems.
650		0	_aSystem safety.
650		0	_aComputer software _xDevelopment.
856	4	0	_3Taylor & Francis _uhttps://www.taylorfrancis.com/books/e/9781351688949
856	4	0	_3Taylor & Francis _uhttps://www.taylorfrancis.com/books/e/9781498726719
856	4	0	_3Taylor & Francis _uhttps://www.taylorfrancis.com/books/9781315169439
856	4	2	_3OCLC metadata license agreement _uhttp://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
999			_c216362 _d216362