Embedded software development for safety-critical systems

"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...

Full description

Saved in:
Bibliographic Details
Main Author: Hobbs, Chris, (Author)
Format: eBook
Language: English
Published: Boca Raton, FL : CRC Press, [2016]
Subjects:
Computer software > Development.
Embedded computer systems.
System safety.
Computer security.
Automatic control > Reliability.
Software engineering.
elektronické knihy
electronic books
ISBN: 9781498726719
1498726712
9781523108107
152310810X
9781498726702
1498726704
Physical Description: 1 online resource (xx, 343 pages) : illustrations

Cover

Table of contents

LEADER 02864cam a2200493 i 4500
001 kn-ocn921985483
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
008 150924t20162016flua ob 001 0 eng c
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d N$T  |d OCLCO  |d IDEBK  |d CDX  |d YDXCP  |d UIU  |d VLB  |d CUS  |d WAU  |d OCLCF  |d OCLCO  |d EBLCP  |d OCLCO  |d CRCPR  |d UTBLW  |d DEBSZ  |d COO  |d CAUOI  |d OCLCO  |d K6U  |d KNOVL  |d VGM  |d OTZ  |d LIV  |d OCLCQ  |d MERUC  |d UAB  |d YDX  |d OCLCQ  |d STF  |d OCLCA  |d D6H  |d VVB  |d GILDS  |d UBY  |d CEF  |d U3W  |d OCLCQ  |d UHL  |d OCLCQ  |d BRF  |d OCLCO  |d OCLCQ  |d SFB  |d OCLCQ  |d OCLCO  |d OCLCL 
020 |a 9781498726719  |q (electronic bk.) 
020 |a 1498726712  |q (electronic bk.) 
020 |a 9781523108107  |q (electronic bk.) 
020 |a 152310810X  |q (electronic bk.) 
020 |z 9781498726702 
020 |z 1498726704  |q (hardback) 
035 |a (OCoLC)921985483  |z (OCoLC)921940082  |z (OCoLC)927489473 
042 |a pcc 
100 1 |a Hobbs, Chris,  |e author. 
245 1 0 |a Embedded software development for safety-critical systems /  |c Chris Hobbs. 
264 1 |a Boca Raton, FL :  |b CRC Press,  |c [2016] 
264 4 |c ©2016 
300 |a 1 online resource (xx, 343 pages) :  |b illustrations 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
500 |a "An Auerbach book." 
504 |a Includes bibliographical references and index. 
505 0 |a Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices. 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
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."--Back cover 
590 |a Knovel  |b Knovel (All titles) 
650 0 |a Computer software  |x Development. 
650 0 |a Embedded computer systems. 
650 0 |a System safety. 
650 0 |a Computer security. 
650 0 |a Automatic control  |x Reliability. 
650 0 |a Software engineering. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
776 0 8 |i Print version:  |t Embedded Software Development for Safety-critical Systems.  |d Auerbach Pub 2015  |z 9781498726702  |w (OCoLC)909323226 
856 4 0 |u https://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpESDSCS05/embedded-software-development?kpromoter=marc  |y Full text 

Similar Items