Dependability of Critical Computer Systems 1

Front Cover
F. J. Redmill
Springer Netherlands, Nov 11, 1988 - Computers - 292 pages
M. CARPENTIER Director General DG XIII, Telecommunications, Information Industries and Innovation of the Commission of the European Communities It is with great pleasure that I introduce and recommend this collection of guidelines produced by EWICS TC7. This Technical Committee has consistently attracted technical experts of high quality from all over Europe and the standard of the Committee's work has reflected this. The Committee has been sponsored by the Commission of the European Communities since 1978. During this period, there has been the opportunity to observe the enthusiasm and dedication in the activities of the group, the expertise and effort invested in its work, the discipline in meeting objectives and the quality of the resulting guidelines. It is no surprise that these guidelines have influenced the work of international standardisation bodies. Now the first six of EWICS TCTs guidelines are being made available as a book. I am convinced that all computer system developers who use them will greatly enhance their chances of achieving quality systems. v Acknowledgements In the preparation of this book, the editoLisgrateful to P. Bishop, G. Covington II, C. Goring, and W. Quirk for their help in editing the guidelines. In addition, he would like to thank S. Bologna, W. Ehrenberger, M. Ould, J. Rata, L. Sintonen and J. Zalewski for reviewing the chapters and providing additional material.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

OF CRITICAL COMPUTER SYSTEMS
4
System Requirements Specification SRS
13
Technical Support Documentation
35
Maintenance Documentation
54
Operational Documentation
61
A GUIDELINE FOR THE PRODUCTION
71
The Form of a System Requirements Specification
82
A GUIDELINE FOR THE DEVELOPMENT
113
Safe Hardware
161
A GUIDELINE FOR THE VERIFICATION
233
CONTENTS
234
The Verification and Validation Activities
237
TECHNIQUES FOR THE VERIFICATION
251
Glossary
279
Companies of the EWICS TC7 Members
285
Copyright

Language Translator and Linkage Editor
153

Other editions - View all

Bibliographic information