Dependability Analysis with UML and Probabilistic Timed Automata
Résumé
In the paper, we present a UML profile called DAMRTS (Dependability Analysis Models for Real-Time Systems). It represents a specialisation to reference metamodels of the OMG profile “Schedulability Performance and Time” (SPT). The aim is to fulfil the following goals : 1) To provide concepts that enable to specify real-time systems with probabilistic aspects. 2) To propose behavioural UML model with a formal semantics designed for probabilistic model checking.
Domaines
Automatique
Origine : Fichiers produits par l'(les) auteur(s)