Overview
- Provides a framework for the justification of the dependability of a computer system
- Author is a consultant to the OECD and the IAEA and has published over 100 papers on computers and communications in nuclear and safety engineering
- Includes supplementary material: sn.pub/extras
Part of the book series: Springer Series in Reliability Engineering (RELIABILITY)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
The Context
-
Prescriptions
-
Descriptions
-
Methodological Implications
Keywords
About this book
Authors and Affiliations
About the author
Pierre-Jacques Courtois is a professor of computer science in the engineering department of the Catholic University of Louvain-la-Neuve in Belgium. He has degrees in electrical engineering and nuclear physics, and a doctorate in applied sciences. Formerly with the Philips Research Laboratory in Brussels, he has been working for the last fifteen years at the Belgian authorized inspection agency for nuclear installations, where he is in charge of the assessment of safety critical software based systems used in nuclear power plants. He has served as a consultant to the OECD and to the IAEA for issuing guidance on the design and validation of software important to nuclear safety. He has also served as the chairman of the European Commission nuclear regulator task force on licensing issues of nuclear safety critical software, and he has been active in several European research projects on dependable computer systems and nuclear safety.
Bibliographic Information
Book Title: Justifying the Dependability of Computer-based Systems
Book Subtitle: With Applications in Nuclear Engineering
Authors: Pierre-Jacques Courtois
Series Title: Springer Series in Reliability Engineering
DOI: https://doi.org/10.1007/978-1-84800-372-9
Publisher: Springer London
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer-Verlag London 2008
Hardcover ISBN: 978-1-84800-371-2Published: 11 September 2008
Softcover ISBN: 978-1-84996-794-5Published: 28 October 2010
eBook ISBN: 978-1-84800-372-9Published: 17 August 2008
Series ISSN: 1614-7839
Series E-ISSN: 2196-999X
Edition Number: 1
Number of Pages: XVIII, 323
Number of Illustrations: 24 b/w illustrations
Topics: Quality Control, Reliability, Safety and Risk, Engineering, general, Computational Intelligence, Computer Systems Organization and Communication Networks