Sciweavers

Share
HASE
1999
IEEE

Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models

11 years 3 months ago
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts we can model the reactive behavior of embedded systems so that their quantitative analysis can be performed. First, we present our motivation for using Guarded Statecharts to express the interaction between hardware and software components of embedded systems, and to model faults and errors as state perturbations. Then we discuss how these models are transformed into Stochastic Reward Nets amenable to a quantitative dependability analysis. Finally, our approach is illustrated by an example.
Mario Dal Cin, Gábor Huszerl, Konstantinos
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where HASE
Authors Mario Dal Cin, Gábor Huszerl, Konstantinos Kosmidis
Comments (0)
books