Titlebook: Justifying the Dependability of Computer-based Systems; With Applications in Pierre-Jacques Courtois Book 2008 Springer-Verlag London 2008

Lensometer

书目名称Justifying the Dependability of Computer-based Systems影响因子(影响力)




书目名称Justifying the Dependability of Computer-based Systems影响因子(影响力)学科排名




书目名称Justifying the Dependability of Computer-based Systems网络公开度




书目名称Justifying the Dependability of Computer-based Systems网络公开度学科排名




书目名称Justifying the Dependability of Computer-based Systems被引频次




书目名称Justifying the Dependability of Computer-based Systems被引频次学科排名




书目名称Justifying the Dependability of Computer-based Systems年度引用




书目名称Justifying the Dependability of Computer-based Systems年度引用学科排名




书目名称Justifying the Dependability of Computer-based Systems读者反馈




书目名称Justifying the Dependability of Computer-based Systems读者反馈学科排名

真

Requirements, Claims and Evidencependability of the operation of a computer-based system in a given environment, for instance an industrial plant. These requirements need careful attention; they are the raw material we start off with and also the properties we have to justify in the end.

Handedness

Accolade

Book 2008 late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more

动机

Introductionystems can be developed in the same ways analogue instrumentation and control systems were manufactured thirty five years ago, with more or less the same requirement specification approach, production tools an test strategies; a state of affairs which does not contribute to produce justifiably dependable software.

广大

单片眼镜

Embedded Computer System Structuresh level, . those imposed:.- by the plant environment,.- by the computer and other existing equipment architectures,.- by the hardware and software design and technology (in particular any preexisting hardware and software components),.- and by the operational controls and procedures in place (e.g. operator controls, maintenance, periodic tests).

终端

COMA

Axiomatic Principles and Limits clarified so as to ensure the robustness of the approach and delineate the limits of its applicability. This chapter examines some of the most basic principles and limits of the method presented here, namely those of claim justifiability, evidence plausibility, consensus and epistemic uncertainty.

stroke