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影響因子(影響力)學(xué)科排名




書目名稱Justifying the Dependability of Computer-based Systems網(wǎng)絡(luò)公開度




書目名稱Justifying the Dependability of Computer-based Systems網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Justifying the Dependability of Computer-based Systems被引頻次




書目名稱Justifying the Dependability of Computer-based Systems被引頻次學(xué)科排名




書目名稱Justifying the Dependability of Computer-based Systems年度引用




書目名稱Justifying the Dependability of Computer-based Systems年度引用學(xué)科排名




書目名稱Justifying the Dependability of Computer-based Systems讀者反饋




書目名稱Justifying the Dependability of Computer-based Systems讀者反饋學(xué)科排名

真

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