有机体
发表于 2025-3-23 13:19:30
Aufbau und Durchführung von Studie 1This chapter briefly recalls how fault tolerance is structured in GUARDS and describes in some detail specific procedures error and fault diagnosis and the state restoration.
JOG
发表于 2025-3-23 15:22:56
http://reply.papertrans.cn/15/1409/140859/140859_12.png
excrete
发表于 2025-3-23 18:43:05
http://reply.papertrans.cn/15/1409/140859/140859_13.png
船员
发表于 2025-3-23 23:07:40
Akzeptanz von technologischen Innovationenour dependability mechanisms, namely: a) clock synchronisation, b) interactive consistency, c) fault diagnosis, and d) multi-level integrity. The first three mechanisms constitute basic building-blocks of the architecture, and the fourth one corresponds to a major innovation. The formal approaches applied include both . and ..
弯曲道理
发表于 2025-3-24 05:03:59
Ziele der Arbeit und Vorgehensweisencompasses the three complementary viewpoints already identified in Chapter 1, Section 1.9.2, namely: focused, abstract, and detailed modelling. They are successively described in the following sections.
坚毅
发表于 2025-3-24 08:21:38
http://reply.papertrans.cn/15/1409/140859/140859_16.png
规范就好
发表于 2025-3-24 13:05:05
http://reply.papertrans.cn/15/1409/140859/140859_17.png
低三下四之人
发表于 2025-3-24 15:11:35
Ziele der Arbeit und Vorgehensweisey of the targeted applications and their various dependability objectives leads to different instantiations of the generic architecture with different consolidation strategies for safety-critical and safety-related outputs. The generic output consolidation mechanism presented in this chapter propose
夜晚
发表于 2025-3-24 20:56:03
Akzeptanz von technologischen Innovationenresidual design faults in less-critical components. The notions of multiple integrity levels and multiple criticality levels are very tightly linked, but there is an important distinction. Integrity levels are associated with an integrity policy that defines what is allowed in terms of data flow bet
胎儿
发表于 2025-3-24 23:34:24
Aufbau und Durchführung von Studie 1propriate tools. This chapter describes the Architecture Development Environment (ADE) designed to support the GUARDS methodology through a set of integrated tools for the consistent management of all dependability information and properties, and at the same time offering specific features which add