Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering
Author:   Pierre-Jacques Courtois
Publisher:   Springer London Ltd
Edition:   Softcover reprint of hardcover 1st ed. 2008
ISBN:  

9781849967945


Pages:   323
Publication Date:   28 October 2010
Format:   Paperback
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Our Price $393.36 Quantity:  
Add to Cart

Share |

Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering


Add your own review!

Overview

Full Product Details

Author:   Pierre-Jacques Courtois
Publisher:   Springer London Ltd
Imprint:   Springer London Ltd
Edition:   Softcover reprint of hardcover 1st ed. 2008
Dimensions:   Width: 15.50cm , Height: 1.80cm , Length: 23.50cm
Weight:   0.528kg
ISBN:  

9781849967945


ISBN 10:   1849967946
Pages:   323
Publication Date:   28 October 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print   Availability explained
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

The Context.- Current Practices.- Axiomatic Justification and Uncertainty.- Justification and Dependability Case.- Prescriptions.- Requirements, Claims and Evidence.- Arguments, Syntax and Semantics.- Axiomatic Principles and Limits.- Descriptions.- Structures and Interpretations.- Embedded Computer System Structures.- Methodological Implications.- Pre-existing Systems and Components.- Construction Methods.- Postface.

Reviews

Author Information

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.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now