Safety Aspects of Computer Control

✍ Scribed by Phil Bennett

Publisher: Elsevier Ltd, Butterworth-Heinemann
Year: 1993
Tongue: English
Leaves: 254
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

In recent years the dramatic reduction in the cost of computing equipment has encouraged industry to automate its manufacturing processes as a credible means of reducing the unit costs of products. However, the application of computers to the control of processes generates new risks. These risks arise from the increased complexity and the lack of understanding of the safety aspects of such control strategies. This book provides the international perspective on the design and verification of safety-critical systems

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
Preface, Page vii, Phil Bennett
Contributors, Page ix
1 - Software in safety-related systems: basic concepts and concerns, Pages 1-18, Bob Malcolm
2 - Regulatory issues, Pages 19-34, Diane Rowland
3 - Legal liability, Pages 35-55, Dai Davis
4 - Standardization efforts worldwide, Pages 56-75, J.M. Rata
5 - Real-time software requirements specification and animation using extended Petri nets: theory and application, Pages 76-87, Sandro Bologna
6 - Independent software verification and validation in practice: methodological and managerial aspects, Pages 88-95, Sandro Bologna
7 - Formal methods: use and relevance for the development of safety-critical systems, Pages 96-153, John A. McDermid
8 - Use of Ada in safety-critical systems, Pages 154-186, Ian C. Pyle
9 - Fault-tolerant control for safety, Pages 187-204, Iain H.A. Johnston
10 - The problems of an industrial supplier – and how to achieve good quality, Pages 205-226, Leif Danielsen
11 - Design and licensing of safety-related software, Pages 227-244, Wolfgang D. Ehrenberger
Index, Pages 245-250

📜 SIMILAR VOLUMES

Computational Aspects of Linear Control

📁 Computational Aspects of Linear Control

✍ Claude Brezinski (auth.), Claude Brezinski (eds.) 📂 Library 📅 2002 🏛 Springer US 🌐 English

<p>Many devices (we say dynamical systems or simply systems) behave like black boxes: they receive an input, this input is transformed following some laws (usually a differential equation) and an output is observed. The problem is to regulate the input in order to control the output, that is for obt

Computational aspects of commutative alg

📁 Computational aspects of commutative algebra

✍ Lorenzo Robbiano (ed.) 📂 Library 📅 1989 🏛 Academic press 🌐 English

Computational aspects of commutative alg

📁 Computational aspects of commutative algebra

✍ Lorenzo Robbiano 📂 Library 📅 1989 🏛 Academic Press 🌐 English

We give a self-contained exposition of Mayr & Meyer's example of a polynomial ideal exhibiting double exponential degrees for the ideal membership problem, and generalise this example to exhibit minimal syzygies of double exponential degree. This demonstrates the existence of subschemes of projectiv

Aspects of soft computing, intelligent r

📁 Aspects of soft computing, intelligent robotics and control

✍ Endre Pap (auth.), János Fodor, Janusz Kacprzyk (eds.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Aspects of Soft Computing, Intelligent R

📁 Aspects of Soft Computing, Intelligent Robotics and Control

✍ Endre Pap (auth.), János Fodor, Janusz Kacprzyk (eds.) 📂 Library 📅 2009 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><P>Soft computing, as a collection of techniques exploiting approximation and tolerance for imprecision and uncertainty in traditionally intractable problems, has become very effective and popular especially because of the synergy derived from its components. The integration of constituent techno

Computational aspects of motor control a

📁 Computational aspects of motor control and motor learning

✍ Jordan M. 📂 Library 🌐 English