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

1415.00

Inclusive of VAT

Free Delivery

Get it by 4 July

Order in 20 h 3 m

Delivery by noon

Cash on Delivery

Secure Transaction

BANK OFFERS

SELLER

Sold by

Ophelia Books

Not enough ratings to show

Partner since

7+ Y

Free delivery on Lockers & Pickup Points

This item is eligible for free returns

Product Overview

Specifications

Publisher	Springer
ISBN 13	9781849967945
ISBN 10	1849967946
Author	Pierre-Jacques Courtois
Language	English

Book Description	Part I: The Context Introduction Current Practices Axiomatic Justification and Uncertainty Justification and Dependability Case Part II: Prescriptions Requirements, Claims and Evidence Arguments, Syntax and Semantics Axiomatic Principles and Limits Part III: Descriptions Structures and Interpretations Embedded Computer System Structures Part IV: Methodological Implications Pre-existing Systems and Components Construction Methods Postface Appendix A: The SIP System Appendix B: Nuclear Material Handling System Example
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.
Publication Date	28 October 2010
Number of Pages	344 pages

Cart Total  1415.00