Titlebook: Computer Safety, Reliability and Security; 20th International C Udo Voges Conference proceedings 2001 Springer-Verlag Berlin Heidelberg 200

极小量

minaret

A Bayesian Belief Network for Reliability Assessment the more long-term activity by the Halden Reactor Project on the use of BBNs as support for safety assessment of programmable systems. In this report it is discussed how the two approaches can be merged together into one Bayesian Network, and the problems with merging are pinpointed.

incite

季雨

The COTS Debate in Perspectivet the heart of the COTS debate. It also addresses the other side of the debate: a challenge to the rigorous requirements of the standards. Finally, the paper proposes a convention on the evidence that should be provided to support claims for the safety of COTS items.

agenda

Conference proceedings 2001es of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and security (applied to safety in terms of inte

音的强弱

0302-9743 P since its inauguration in 1979. This series of events focuses on critical computer applications. It is intended to be a platform for knowledge transfer between academia, industry, and research institutions. Papers are solicited on all aspects of computer systems in which safety, reliability, and s

凹处

nd their limitations are discussed. To speed up the checker methods, a reduced form for UML statecharts is introduced. Using this form, the correctness and completeness of some checker methods can be proven. An example illustrates the application of the tools developed so far.

变化无常

词汇记忆方法

plicable technique is presented, to find out critical and problematic humanmachine interactions during the operation of a system. The technique is based on a state-interaction matrix, carefully filled out and afterwards automatically evaluated.

出处