Dependability Analysis with UML and Probabilistic Timed Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

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

Dates et versions

hal-00354036 , version 1 (09-06-2023)

Identifiants

  • HAL Id : hal-00354036 , version 1

Citer

Nawal Addouche, Christian Antoine, Jacky Montmain. Dependability Analysis with UML and Probabilistic Timed Automata. 15th IEEE International Symposium on Software Reliability Engineering (ISSRE 04), 2004, Saint-Malo, France. ⟨hal-00354036⟩
29 Consultations
4 Téléchargements

Partager

Gmail Facebook X LinkedIn More