Computer Safety, Reliability and Security: 17th International Conference, SAFECOMP'98, Heidelberg Germany, October 5-7, 1998, Proceedings: 1516 (Lecture Notes in Computer Science, 1516) - Softcover

Softcover

ISBN 10: 3540651101 ISBN 13: 9783540651109

Publisher: Springer, 1998

Synopsis

Computers and their interactions are becoming the characteristic features of our time: Many people believe that the industrial age is going over into the information age. In the same way as life of the beginning of this century was dominated by machines, factories, streets and railways, the starting century will be characterised by computers and their networks. This change naturally affects also the institutions and the installations our lives depend upon: power plants, including nuclear ones, chemical plants, mechanically working factories, cars, railways and medical equipment; they all depend on computers and their connections. In some cases it is not human life that may be endangered by computer failure, but large investments; e. g. if a whole plant interrupts its production for a long time. In addition to loss of life and property one must not neglect public opinion, which is very critical in many countries against major technical defects. The related computer technology, its hardware, software and production process differ between standard applications and safety related ones: In the safety case it is normally not only the manufacturers and the customers that are involved, but a third party, usually an assessor, who is taking care of the public interest on behalf of a state authority. Usually safety engineers are in a better position than their colleagues from the conventional side, as they may spend more time and money on a particular task and use better equipment.

About this title

Synopsis

This book constitutes the refereed proceedings of the 17th International Conference on Computer Safety, Reliability and Security, SAFECOMP'98, held in Heidelberg, Germany, in October 1998. The 30 revised full papers were carefully reviewed and selected from numerous submissions. The book is divided in sections on formal methods: analysis and specification, management and human factors, security, medical informatics, formal methods: languages and verification, applications, formal methods: Petri nets, and reliability.

Edition details

• Publisher: Springer
• Publication date: 1998
• ISBN 10: 3540651101
• ISBN 13: 9783540651109
• Binding: Paperback
• Language: English
• Number of pages: 420
• Editor: Ehrenberger Wolfgang