1192 search results - page 144 / 239 » Variation-Aware Fault Modeling |
118
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
The choice of error model used for robustness evaluation of Operating Systems (OSs) influences the evaluation run time, implementation complexity, as well as the evaluation preci...
121
click to vote
HPDC
1996
IEEE
15 years 8 months ago
1996
IEEE
This document describes the core Legion object model. The model specifies the composition and functionality of Legion's core objects--those objects that cooperate to create, ...
142
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
124
Voted
ASM
2008
ASM
15 years 5 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...
135
click to vote
FORTE
2004
15 years 5 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...