UML Models for Dependability Analysis of Real-Time Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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.
Fichier principal
Vignette du fichier
SMC_2004.pdf (196.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00354034 , version 1 (17-06-2021)

Identifiants

  • HAL Id : hal-00354034 , version 1

Citer

Nawal Addouche, Christian Antoine, Jacky Montmain. UML Models for Dependability Analysis of Real-Time Systems. SMC04, IEEE International Conference on Systems, Man and Cybernetics, 2004, La Hague, Netherlands. ⟨hal-00354034⟩
33 Consultations
85 Téléchargements

Partager

Gmail Facebook X LinkedIn More