This chapter summarises the dependability evaluation efforts carried out within the GUARDS project. The three-pronged modelling and evaluation study encompasses 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.
KeywordsError Detection Dependability Evaluation Design Fault Integrity Level Transient Fault
Unable to display preview. Download preview PDF.