Software in safety-related systems: basic concepts and concerns
p. 1
Regulatory issues
p. 19
Legal liability
p. 35
Standardization efforts worldwide
p. 56
Real-time software requirements specification and animation using extended Petri nets: theory and application
p. 76
Independent software verification and validation in practice: methodological and managerial aspects
p. 88
Formal methods: use and relevance for the development of safety-critical systems
p. 96
Use of Ada in safety-critical systems
p. 154
Fault-tolerant control for safety
p. 187
The problems of an industrial supplier - and how to achieve good quality
p. 205
Design and licensing of safety-related software
p. 227
Index
p. 245
Table of Contents provided by Blackwell. All Rights Reserved.
What is included with this book?
The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.
The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.
Please wait while the item is added to your bag...