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.pngFecal-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 nPeristalsis 发表于 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 consideredbronchodilator 发表于 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