UML models for dependability analysis of real-time systems

  title={UML models for dependability analysis of real-time systems},
  author={Nawal Addouche and Christian Antoine and Jacky Montmain},
  journal={2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583)},
  pages={5209-5214 vol.6}
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… CONTINUE READING