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

Full description

Saved in:
Bibliographic Details
Main Author: Hobbs, Chris (Author)
Format: Book
Language:English
Published: Boca Raton, FL CRC Press, Taylor & Francis Group 2016
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
Call Number :QA 76.76 .H63 2016

MARC

LEADER 00000nam a2200000 i 4500
001 96851
003 MY-KLNDU
005 20241220021825.0
008 221104 20162016flua i 001 0 eng d
020 |a 9781498726702 (hardback) 
039 9 |a 202211041137  |b VLOAD  |c 201605300754  |d azraai  |c 201605300754  |d azraai  |c 201605300753  |d azraai  |y 201512092009  |z zubir 
040 |a UPNM  |b eng  |c UPNM  |e rda 
090 |a QA 76.76  |b .H63 2016 
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, Taylor & Francis Group  |c 2016 
264 4 |a ©2016 
300 |a xx, 343 pages  |b illustrations  |c 23 cm 
336 |a text  |2 rdacontent 
337 |a unmediated  |2 rdamedia 
338 |a volume  |2 rdacarrier 
504 |a Includes bibliographical references and index 
505 |a Section I: Background -- Section II: The project -- Section III: Design patterns -- Section IV: Design validation -- Section V: Coding -- Section VI: Verification -- Section VII: 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 
592 |a IN / 11521  |b 03/03/2016  |c RM 281.23  |h INNOWAWASAN 
650 0 |a Computer software 
650 0 |a Embedded computer systems 
650 0 |a System safety 
650 0 |a Computer security 
650 0 |a Automatic control 
650 0 |a Software engineering 
999 |a vtls000056119  |c 96851  |d 96851