Overview
- Editors:
-
-
Gerhard Rabe
-
Technischer Überwachungs-Verein Nord e. V., Hamburg, Germany
Access this book
Other ways to access
Table of contents (35 papers)
-
-
General Issues, Guidelines
-
-
-
-
Safety Analysis
-
-
- Amer Saeed, Rogério de Lemos, Tom Anderson
Pages 27-41
-
- M. F. Chudleigh, J. R. Catmur, Arthur D. Little, F. Redmill
Pages 42-58
-
- Jeffrey M. Voas, Keith W. Miller
Pages 59-72
-
Formal Methods
-
-
- Ken Chan, Clive Fencott, Barry Hebbron
Pages 75-89
-
- Janusz Górski, Jan Magott, Andrzej Wardziński
Pages 90-100
-
- A. J. Harrison, I. D. R. Shannon
Pages 101-112
-
- J. A. McDermid, R. H. Pierce
Pages 113-127
-
Human and Legal Aspects
-
Front Matter
Pages 129-129
-
-
- S. J. Westerman, N. M. Shryane, C. M. Crawshaw, G. R. J. Hockey, C. W. Wyatt-Millington
Pages 142-155
-
-
Invited Paper
-
Front Matter
Pages 171-171
-
- Bev Littlewood, David Wright
Pages 173-188
-
Design
-
Front Matter
Pages 189-189
About this book
Safety-related computer systems are those which may lead to loss of life, injury or plant and environmental damage. Such systems therefore have to be developed and implemented so that they meet strict require and security because their applications cover ments on safety, reliability nearly all areas of daily life and range from controlling and monitoring industrial processes, through robotics and power generation, to transport systems. Highly reliable electronic systems for safety-related applications represent an area in which industry has been involved for many years and which is now gaining increasing importance in academia. Their relevance also results from an increased perception of safety by society. Therefore, not only are technicians involved in this area, but psycho logical and sociological aspects also play a major role. Dealing with safety-related systems we have to consider the whole lifecycle of these systems, starting from specification up to implementation, assessment and operation. All those issues mentioned above are covered in this book, which represents the proceedings of the 14th International Conference on Computer Safety, Reliability and Security, SAFECOMP '95, held in Belgirate, Italy, 11-13 October 1995. The conference continues the series of SAFECOMP conferences which was originated by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7) and reflects the state of the art, experience and new trends in the area of safety-related computer systems.
Editors and Affiliations
-
Technischer Überwachungs-Verein Nord e. V., Hamburg, Germany
Gerhard Rabe
