http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Embedded software development for safety-critical systems
1 online resource (xx, 343 pages) : illustrations
"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
Section 1. Background -- section 2. The project -- section 3. Design patterns -- section 4. Design validation -- section 5. Coding -- section 6. Verification -- section 7. Appendices.
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
Includes bibliographical references and index.