UML models for dependability analysis of real-time systems

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 6, Issue , 2004, Pages 5209-5214

  Addouche, N ^a   Antoine, C ^a   Montmain, J ^a  

^a ECOLE DES MINES D ALÈS   (France)

Author keywords

Dependability analysis; Probabilistic model Checking; Real time systems; UML

Indexed keywords

DEPENDABILITY ANALYSIS; PROBABILISTIC MODEL CHECKING; PROBABILISTIC TIMED AUTOMATA (PTA); SCHEDULABILITY PERFORMANCE AND TIME (SPT);

AUTOMATA THEORY; CONTROL EQUIPMENT; MATHEMATICAL MODELS; PROBABILITY; QUALITY OF SERVICE; ROBOTICS; SEMANTICS; SPECIFICATIONS;

REAL TIME SYSTEMS;

EID: 15744385916     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2004.1401021     Document Type: Conference Paper

References (11)

1. R. Alur and D. L. Dill, "A theory of timed automata", Theoretical Computer Science, 126(2):183-235, 1994.
2. C. Canevet and Al, "Performance modelling with UML and stochastic process algebra", In Proceedings of the Eighteenth Annual UK Performance Engineering Workshop, July 2002.
3. D.N. Jansen, H. Hermanns and J-P Kaoten, "A Probabilistic Extension of UML Statecharts: Specification and Verification", FTRTFT 02, Oldenburg, Germany, 2002, pages 355-374.
4. P.King, R.Pooley, "Using UML to derive stochastic Petri nets models", In UKPEW'99. Proceedings of the 15th UK Performance Engineering Workshop, the University of Bristol, July 1999.
5. H.Kopetz, Real-Time Systems: Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1999.
6. M.kwiatkowska, "Model Checking for Probability and Time : From Theory to Practice", In LICS 03, IEEE Computer Society Press, June 2003, pages 351-360.
7. M.kwiatkowska, G.Norman and D.Parker, "Prism:Probabilistic Model Checker", In Proc.TOOLS 2002, volume 2324 of LNCS, 2002, pages 200-204.
8. OMG. "Unified Modeling Language Specification" v.1.5, OMG Document Formal / 03-03-01, March 2003.
9. OMG. "White Paper on the Profile mechanism v.1.0", Analysis and Design Platform Task Force, OMG Document ad/99-04-07, April 1999.
10. B.Selic, A.Moore. "Response to the OMG RFP for Schedulability, Performance and Time": Revised submission ", OMG document ad/2001-06-14.
11. A. Villemeur, Sûreté de fonctionnement des systèmes industriels, Ed Eyrolles, 1988.