Safety Aspects of Computer Control

A practical text for safety and control engineers in the process industries as well as graduate students in relevant disciplines, structured as a simplified tour through the development life cycle. In 11 chapters, international contributors address fundamental concepts, regulatory issues, legal liability, international standardization, specification, verification and validation, formal methods, use of Ada, fault tolerance, procurement and quality, and licensing issues. Annotation copyright Book News, Inc. Portland, Or.