Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995 - Tapa blanda

Rabe, Gerhard

 
9783540199625: Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

Reseña del editor

This volume contains the papers presented at SAFECOMP '95, the 14th International Conference on Computer Safety, Reliability and Security, held in Belgirate, Italy, 11 - 13 October 1995. The papers cover all the main topics which are relevant to the safety lifecycle, including general guidelines, legal and human aspects, safety analysis, formal methods, design, verification and validation, reliability issues, dependable software technology, and safety-related applications. Together they provide both a comprehensive overview of the international state of the art, and also an indication of possible future directions for research in this area. The resulting volume will be of interest to all those in universities, research institutions, industry and business who want to be well-informed about computer safety, reliability and security. It provides a representative sample of recent research results and applications problems, presented by experts from both industry and academia.

"Sobre este título" puede pertenecer a otra edición de este libro.

Otras ediciones populares con el mismo título

9781447130550: Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11-13 October 1995

Edición Destacada

ISBN 10:  1447130553 ISBN 13:  9781447130550
Editorial: Springer, 2014
Tapa blanda