By Pierre-Jacques Courtois

ISBN-10: 1848003714

ISBN-13: 9781848003712

What proof is enough to justify the discharge of a computer-based protection severe process? How should still this proof be offered to certification our bodies or regulatory professionals? What most sensible practices may be utilized? those are only some of the questions addressed through Justifying the Dependability of Computer-based Systems, which supplies a framework for the justification of the dependability of a computer-based process. The e-book additionally explores a few of the extra primary points of protection assessment, resembling the character of versions, arguments, proof and documentation, and the how one can care for kinds of probability and uncertainty.

Justifying the Dependability of Computer-based Systems could be of price to software program, desktop approach, instrumentation and regulate engineers, and regulators operating in sectors comparable to nuclear safety.

Pierre-Jacques Courtois is a Professor within the division of desktop technological know-how and Engineering on the Catholic collage of Louvain-la-Neuve, with specific learn pursuits in safety-critical software program for the nuclear undefined. He has greater than fifteen years adventure within the nuclear defense undefined, having labored as a nuclear protection consultant in Finland and the united kingdom, and as a expert to the foreign Atomic strength organisation (IAEA) and the employer for monetary Co-operation and improvement (OECD).

Show description

Read or Download Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering PDF

Similar nuclear books

Download PDF by J. Mathers: The Russian Nuclear Shield from Stalin to Yeltsin (St.

This paintings makes huge use of Soviet assets to supply an entire research of Moscow's ballistic missile defence coverage, from its origins to post-Soviet advancements. It considers the Soviets' motivations for pursuing an anti-ballistic missile strength and the level in their good fortune, and divulges that ballistic missile defence coverage was once utilized by each political management from Krushchev to Yeltsin as a way of sending indications approximately Moscow's intentions to the West.

Download e-book for iPad: Infrastructure and methodologies for the justification of by Agustin Alonso

The aptitude improvement of any nuclear energy programme calls for a rigorous justification approach outfitted upon an goal infrastructure, reviewing the huge regulatory, monetary and technical info required to competently pick out implementation of this type of long term dedication. either new entrants and people international locations wishing to renovate their nuclear fleets after a moratorium might want to increase and observe acceptable infrastructures to check the justification of the aptitude use of nuclear energy.

New PDF release: Radioactivity and Radiation: What They Are, What They Do,

This ebook lays the rules so that you can comprehend all that you simply consistently desired to learn about radioactivity. It starts off via starting up crucial information regarding the constitution of subject, how radiation happens and the way it may be measured. It is going directly to discover the big advantages of radioactivity via its many functions, and likewise the prospective dangers linked to its use.

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

Sample text

While design correctness is a property of components, reliability, survivability, fault tolerance, security are properties of component interactions for which architecture is an indispensable source of evidence. 2 We regard the system architecture at level-2 as being the organization in space and in time of the dependable hardware and software components of the system, and of their control and communication interfaces. To make things more concrete, let us give some examples of evidence material for each level: - - At level 1: a regulation or a regulatory position asserting or justifying the validity of a given system requirement specification; a safety analysis report.

G. between a licensee and the regulator). These negotiable and controversial aspects, as well as the legal and juridical issues, albeit equally important, are outside the scope of this work and belong to what is usually called the safety case. The UK Nuclear Safety Directorate gives the following definition [43]: “A safety case is the totality of documented information and arguments which substantiates the safety of the plant, activity, operation or modification in question. It provides a written demonstration that relevant standards have been met and that risks have been reduced as low as reasonably practicable (ALARP)”.

By the state of the art or by standards – from the design or the project development processes. Such expected qualities are not of lesser importance but they are not part of what has to be justified; they are part of the justification. They are a means to provide evidence. They should be stated in separate quality assurance and V&V plans. The quality of the development and the V&V processes achieved by observing these plans contribute to producing or improving the evidence needed to support the claims into which the dependability requirements have to be expanded at the various levels of the implementation.

Download PDF sample

Justifying the Dependability of Computer-based Systems: With Applications in Nuclear Engineering by Pierre-Jacques Courtois

by Joseph

Rated 4.00 of 5 – based on 47 votes