By Topic

Quantitative evaluation of dependability critical systems based on guarded Statechart models

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
M. Dal Cin ; IMMD 3, Erlangen-Nurnberg Univ., Germany ; G. Huszerl ; K. Kosmidis

Introduces a method to model embedded dependability-critical systems as an AND-composition of guarded Statecharts, which are special UML Statecharts. With guarded Statecharts, we can model the reactive behaviour 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 the 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 that are amenable to a quantitative dependability analysis. Finally, our approach is illustrated by an example

Published in:

High-Assurance Systems Engineering, 1999. Proceedings. 4th IEEE International Symposium on

Date of Conference: