Star Wars Sale
 
 

Special Offers see all

Enter to WIN!

Weekly drawing for $100 credit. Subscribe to PowellsBooks.news for a chance to win.
Privacy Policy

More at Powell's


Recently Viewed clear list


The Powell's Playlist | June 18, 2014

Daniel H. Wilson: IMG The Powell’s Playlist: Daniel H. Wilson



Like many writers, I'm constantly haunting coffee shops with a laptop out and my headphones on. I listen to a lot of music while I write, and songs... Continue »
  1. $18.87 Sale Hardcover add to wish list

    Robogenesis

    Daniel H. Wilson 9780385537094

spacer

This item may be
out of stock.

Click on the button below to search for this title in other formats.


Check for Availability
Add to Wishlist

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

by

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

 

Synopses & Reviews

Publisher Comments:

What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by Justifying the Dependability of Computer-based Systems, which provides a framework for the justification of the dependability of a computer-based system. The book also explores some of the more fundamental aspects of safety evaluation, such as the nature of models, arguments, evidence and documentation, and the ways to deal with different types of risk and uncertainty.Justifying the Dependability of Computer-based Systems will be of value to software, computer system, instrumentation and control engineers, and regulators working in industry sectors such as nuclear safety.Pierre-Jacques Courtois is a Professor in the Department of Computer Science and Engineering at the Catholic University of Louvain-la-Neuve, with particular research interests in safety-critical software for the nuclear industry. He has more than fifteen years experience in the nuclear safety industry, having worked as a nuclear safety advisor in Finland and the UK, and as a consultant to the International Atomic Energy Agency (IAEA) and the Organisation for Economic Co-operation and Development (OECD).

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.

Product Details

ISBN:
9781848003729
Subtitle:
With Applications in Nuclear Engineering
Publisher:
Springer
Author:
Pierre-Jacques Courtois
Author:
Courtois, Pierre-Jacques
Subject:
Industrial engineering
Subject:
Networking - General
Subject:
Engineering - General
Subject:
Automation
Subject:
Power Resources - Nuclear
Subject:
Software Development & Engineering - General
Subject:
Nuclear engineering -- Safety measures.
Subject:
Computer systems - Reliability
Subject:
Software Development & Engineering - Quality
Subject:
Engineering - Industrial
Subject:
Computer systems
Subject:
Nuclear engineering
Subject:
Reliability
Subject:
Reliability (engineering)
Subject:
safety-critical systems
Subject:
Safety Evaluation
Subject:
Software engineering
Subject:
Quality Control, Reliability, Safety and Risk
Subject:
Computational intelligence
Subject:
Computer Systems Organization and Communication Networks
Subject:
Industrial and Control Engineering-General
Subject:
Science Reference-Technology
Subject:
main_subject
Subject:
all_subjects
Publication Date:
20081113
Binding:
ELECTRONIC
Language:
English
Pages:
323

Related Subjects

Computers and Internet » Artificial Intelligence » General
Computers and Internet » Computers Reference » General
Computers and Internet » Networking » General
Computers and Internet » Software Engineering » Quality Assurance and Testing
Engineering » Engineering » General Engineering
Engineering » Industrial and Control Engineering » General
Reference » Science Reference » Technology
Science and Mathematics » Energy » Nuclear Engineering

Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering
0 stars - 0 reviews
$ In Stock
Product details 323 pages Springer - English 9781848003729 Reviews:
spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.