UML models for dependability analysis of real-time systems

Author

Addouche, N. ; Antoine, C. ; Montmain, J.

Author_Institution

Laboratoire de Genie Informatique et d´´lngenierie de Production, Site EERIE de L´´Ecole des Mines d´´Ales, Nimes, France

Volume

6

fYear

2004

fDate

10-13 Oct. 2004

Firstpage

5209

Abstract

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 state charts semantics is developed with probabilities and real-time requirements, resulting in probabilistic timed automata (PTA) as semantics models. These models are used to verify probabilistic temporal properties related to the dependability of real-time systems.

Keywords

Unified Modeling Language; probabilistic automata; programming language semantics; real-time systems; UML model; dependability analysis; formal semantics; probabilistic model checking; probabilistic timed automata; real-time system; reference metamodels; schedulability performance and time; Automata; Automatic control; Formal verification; Information analysis; Performance analysis; Petri nets; Production systems; Real time systems; Stochastic processes; Unified modeling language;

fLanguage

English

Publisher

ieee

Conference_Titel

Systems, Man and Cybernetics, 2004 IEEE International Conference on

ISSN

1062-922X

Print_ISBN

0-7803-8566-7

Type

conf

DOI

10.1109/ICSMC.2004.1401021

Filename

1401021