Safe Comp 97
The 16th International Conference on Computer Safety, Reliability and Security
Editors: Daniel, Peter (Ed.)
Free PreviewBuy this book
- About this book
-
The safe and secure operation ofcomputer systems continues to be the major issue in many applications where there is a threat to people, the environment, investment or goodwill. Such applications include medical devices, railway signalling, energy distribution, vehicle control and monitoring, air traffic control, industrial process control, telecommunications systemsand manyothers. This book represents the proceedings of the 16th International Conference on Computer Safety, Reliability and Security, held in York, UK, 7-10 September 1997. The conference reviews the state ofthe art, experience and new trends in the areas of computer safety, reliability and security. It forms a platform for technology transfer between academia, industry and research institutions. In an expanding world-wide market for safe, secure and reliable computer systems SAFECOMP 97 provides an opportunity for technical developers, users and legislators to exchange and review the experience, to consider the best technologies now available and to identify the skills and technologies required for the future. The papers were carefully selected by the Conference International Programme Committee. The authors of the papers come from twelve different countries. The subjects covered include safe software, safety cases, management & development, security, human factors, guidelines standards & certification, applications & industrial experience, formal methods & models andvalidation, verification and testing. SAFECOMP '97 continues the successful series of SAFECOMP conferences first held in 1979 in Stuttgart. SAFECOMP is organised by the European Workshop on Industrial Computer Systems, Technical Committee 7 on Safety, Security and Reliability (EWICS TC7).
- Table of contents (29 chapters)
-
-
Software-based Safety-critical Systems: a Taxonomy
Pages 3-13
-
Safety Assessment of Software Based Systems
Pages 14-24
-
Safe and Reliable Computer Control Systems an Overview
Pages 25-36
-
Towards Dependable Software Requirement Specifications
Pages 37-51
-
Safety Case Construction and Reuse Using Patterns
Pages 55-69
-
Table of contents (29 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Safe Comp 97
- Book Subtitle
- The 16th International Conference on Computer Safety, Reliability and Security
- Editors
-
- Peter Daniel
- Copyright
- 1997
- Publisher
- Springer-Verlag London
- Copyright Holder
- Springer-Verlag London Limited
- eBook ISBN
- 978-1-4471-0997-6
- DOI
- 10.1007/978-1-4471-0997-6
- Softcover ISBN
- 978-3-540-76191-4
- Edition Number
- 1
- Number of Pages
- XIII, 381
- Number of Illustrations
- 18 b/w illustrations
- Topics
