Embedded Software Development for Safety-Critical Systems. (Record no. 216362)

000 -LEADER
fixed length control field 03355cam a2200481Mi 4500
001 - CONTROL NUMBER
control field 9781351688949
003 - CONTROL NUMBER IDENTIFIER
control field FlBoTFG
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20201105111207.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cn|||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 171208s2017 flua o 000 0 eng d
040 ## - CATALOGING SOURCE
Original cataloging agency OCoLC-P
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency OCoLC-P
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781315169439
Qualifying information (e-book)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1315169436
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781351688949
Qualifying information (e-book ;
-- PDF)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1351688944
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781498726719
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 1498726712
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)1014363622
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC-P)1014363622
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.76.D47
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM011000
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code COM051230
Source bisacsh
072 #7 - SUBJECT CATEGORY CODE
Subject category code TEC009000
Source bisacsh
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.3
Edition number 23
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Hobbs, Chris,
Relator term author.
245 10 - TITLE STATEMENT
Title Embedded Software Development for Safety-Critical Systems.
250 ## - EDITION STATEMENT
Edition statement First edition.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Boca Raton, FL :
Name of producer, publisher, distributor, manufacturer CRC Press,
Date of production, publication, distribution, manufacture, or copyright notice 2017.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource :
Other physical details text file, PDF
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
520 2# - SUMMARY, ETC.
Summary, etc. "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 ## - SOURCE OF DESCRIPTION NOTE
Source of description note OCLC-licensed vendor bibliographic record.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Embedded computer systems.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element System safety.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer software
General subdivision Development.
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified Taylor & Francis
Uniform Resource Identifier <a href="https://www.taylorfrancis.com/books/e/9781351688949">https://www.taylorfrancis.com/books/e/9781351688949</a>
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified Taylor & Francis
Uniform Resource Identifier <a href="https://www.taylorfrancis.com/books/e/9781498726719">https://www.taylorfrancis.com/books/e/9781498726719</a>
856 40 - ELECTRONIC LOCATION AND ACCESS
Materials specified Taylor & Francis
Uniform Resource Identifier <a href="https://www.taylorfrancis.com/books/9781315169439">https://www.taylorfrancis.com/books/9781315169439</a>
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified OCLC metadata license agreement
Uniform Resource Identifier <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection code Permanent location Current location Date acquired Total Checkouts Date last seen Price effective from Koha item type
        CRC IIT Roorkee IIT Roorkee 05/11/2020   05/11/2020 05/11/2020 E-books
                                                                           

For any support mail to –

library@iitr.ac.in; amar.mgcl@iitr.ac.in

Powered by Koha