kindred 发表于 2025-3-26 22:49:20

Pierre-Jacques CourtoisProvides a framework for the justification of the dependability of a computer system.Author is a consultant to the OECD and the IAEA and has published over 100 papers on computers and communications i

分开如此和谐 发表于 2025-3-27 04:28:20

http://reply.papertrans.cn/51/5018/501779/501779_32.png

Fecal-Impaction 发表于 2025-3-27 07:55:04

Introductionplex, poorly understood and, as a result, often not efficiently mastered by regulators, licensees and suppliers; “Understanding Computer System Dependability” might have been a more appropriate title for this work..The difficulties – some are devilishly complex – are both practical and theoretical.

可能性 发表于 2025-3-27 11:02:33

Current Practices They may condition the approval on the provision of evidence that a set of rules, laws, standards, design criteria, (or even sometimes “beliefs”! ) is complied with. They may condition their approval on the success of a pre-defined method, such as the so-called “Three Leg” approach advocated in

可用 发表于 2025-3-27 15:01:36

http://reply.papertrans.cn/51/5018/501779/501779_35.png

立即 发表于 2025-3-27 17:51:45

Justification and Dependability Casehe true mathematical sense is likely to be beyond reach..A further distinction is necessary between . and .. The justification framework presented here provides a method to organize and structure technical claims supported by technical arguments using technical factual evidence. The framework does n

Peristalsis 发表于 2025-3-27 23:16:22

Requirements, Claims and Evidence1]. This common sense advice takes on a special meaning in the context of dependability, because the point of departure of the justification is also its destination. We regard a . as the set of arguments and evidence components which support a carefully selected set of requirements addressing the de

会议 发表于 2025-3-28 03:58:38

Axiomatic Principles and Limitse discussion of axiomatic principles until some of the most important syntactical and semantics concepts have been introduced..The justification of the dependability of a real system is based, like other disciplines, on general accepted principles and assumptions that are most of the time considered

bronchodilator 发表于 2025-3-28 10:16:42

Structures and Interpretationsritory of models and interpretations and is vast and full of ambushes. In many places, the previous chapters indicated that, in addition to relying on multi-level and disparate evidence, the justification of the dependable behaviour of a computer system critically depend on truthful models of the re

军械库 发表于 2025-3-28 11:11:45

http://reply.papertrans.cn/51/5018/501779/501779_40.png
页: 1 2 3 [4] 5
查看完整版本: Titlebook: Justifying the Dependability of Computer-based Systems; With Applications in Pierre-Jacques Courtois Book 2008 Springer-Verlag London 2008