UML Models for Dependability Analysis of Real-Time Systems
Résumé
In this paper, we present the UML profile called DAMRTS (Dependability Analysis Models for Real-Time Systems) representing an extension to the reference metamodels of the OMG profile for “Schedulability Performance and Time” (SPT). The aim is to provide concepts that enable to specify a real-time system with stochastic and probabilistic information allowing dependability analysis. A behavioural UML models are also proposed with a formal semantics designed for probabilistic model checking. An extension of statecharts semantics is developed with probabilities and real-time requirements, resulting in probabilistic timed automata (PTAs) as semantics models. These models are used to verify probabilistic temporal properties related to the dependability of real-time systems.
Origine : Fichiers produits par l'(les) auteur(s)