Title | ||
---|---|---|
Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models |
Abstract | ||
---|---|---|
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UML-statecharts. 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. |
Year | DOI | Venue |
---|---|---|
1999 | 10.1109/HASE.1999.809473 | HASE |
Keywords | Field | DocType |
guarded statechart models,dependability critical systems,guarded statecharts,quantitative dependability analysis,reactive behavior,model fault,state perturbation,embedded dependability-critical system,software component,special uml-statecharts,quantitative evaluation,quantitative analysis,embedded system,tellurium,reactive power,system monitoring,actuators,stochastic processes,finite state machines,embedded software,faults,dependence analysis,diagrams,embedded systems,uml,software systems | Dependability,Embedded software,Unified Modeling Language,Computer science,State diagram,Software system,System monitoring,Real-time computing,Finite-state machine,Component-based software engineering,Reliability engineering | Conference |
ISBN | Citations | PageRank |
0-7695-0418-3 | 7 | 1.46 |
References | Authors | |
5 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario Dal Cin | 1 | 282 | 40.09 |
Gábor Huszerl | 2 | 48 | 5.02 |
K. Kosmidis | 3 | 7 | 1.46 |