Quantitative evaluation of dependability critical systems based on guarded Statechart models
| Autor: | Konstantinos Kosmidis, M. Dal Cin, Gábor Huszerl |
|---|---|
| Rok vydání: | 2003 |
| Předmět: |
Finite-state machine
business.industry Computer science Programming language ComputerApplications_COMPUTERSINOTHERSYSTEMS System monitoring computer.software_genre Embedded software Unified Modeling Language TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Embedded system Component-based software engineering Dependability Software system State (computer science) business computer computer.programming_language |
| Zdroj: | HASE |
| DOI: | 10.1109/hase.1999.809473 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|