OMEGA2: A new version of the profile and the tools

Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS

Volumn , Issue , 2010, Pages 373-378

  Ober, Iulian ^a   Dragomir, Iulia ^a  

^a UNIVERSITÉ DE TOULOUSE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL SPECIFICATION; INTERACTIVE COMPUTER SYSTEMS; SEMANTICS;

CONCURRENT EXECUTION; EXECUTABLES; EXECUTION MODELING; HIERARCHICAL COMPOSITE; PROMINENT FEATURES; PROPERTY; REAL - TIME SYSTEM; REAL-TIME APPLICATION; TIMING PROPERTIES; USER DEMANDS;

REAL TIME SYSTEMS;

EID: 78751655818     PISSN: 27708527     EISSN: 27708535     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2010.59     Document Type: Conference Paper

References (17)

1. J. Hooman, H. Kugler, I. Ober, A. Votintseva, and Y. Yushtein, "Supporting UML-based development of embedded systems by formal techniques," Software and System Modeling, vol. 7, no. 2, pp. 131-155, 2008.
2. Object Management Group, "Unified modeling language, v2.2," Available at http://www.omg.org/spec/UML/2.2.
3. W. Damm, B. Josko, A. Pnueli, and A. Votintseva, "A discrete-time UML semantics for concurrency and communication in safety-critical applications," Sci. Comput. Program., vol. 55, no. 1-3, pp. 81-115, 2005.
4. I. Ober, S. Graf, and I. Ober, "Validating timed UML models by simulation and verification," STTT, vol. 8, no. 2, pp. 128-145, 2006.
5. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 1999.
6. ITU-T, "Languages for telecommunications applications - Specification and Description Language (SDL)," ITU-T Revised Recommendation Z.100, 1999.
7. SAE, "Architecture analysis and design language (AADL)," Document No. AS5506/1. Available at http://www.sae.org/technical/standards/ AS5506/1.
8. Object Management Group, "Systems modeling language (SysML), v1.1," Available at http://www.omg.org/spec/SysML/1.1/.
9. A. Gherbi and F. Khendek, "UML profiles for real-time systems and their applications," Journal of Object Technology, vol. 5, no. 4, pp. 149-169, 2006.
10. M. Bozga, S. Graf, I. Ober, I. Ober, and J. Sifakis, "The IF toolset," in SFM, M. Bernardo and F. Corradini, Eds., LNCS vol. 3185. Springer, 2004, pp. 237-267.
11. Object Management Group, "UML profile for modeling and analysis of real-time and embedded systems," Available at http://www.omgmarte.org.
12. R. Alur and D. L. Dill, "A theory of timed automata," Theor. Comput. Sci., vol. 126, no. 2, pp. 183-235, 1994.
13. I. Ober, "OMEGA UML 2 : Profile definition and Rhapsody model," Technical note ESA-3-12639-D21, available from authors.
14. A. Cuccuru, S. Gérard, and A. Radermacher, "Meaningful composite structures," in MoDELS, K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, and M. Vólter, Eds., LNCS vol. 5301. Springer, 2008, pp. 828-842.
15. IBM, "Rational Rhapsody v7.5. reference manuals." Available via http://www.ibm.com/developerworks/rational/.
16. ISO/IEC 8652/1995, Ada 2005 Reference Manual. Language and Standard Libraries, LNCS vol. 4348. Springer, 2006.
17. A. Burns and A. Wellings, Real-Time Systems and Programming Languages (Third Edition). Addison Wesley, 2001.