A real-time profile for UML and how to adapt it to SDL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2708, Issue , 2003, Pages 55-76

  Graf, Susanne ^a   Ober, Ileana ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; SEMANTICS;

REAL TIME; REAL-TIME EMBEDDED SYSTEMS; SDL; UML PROFILES;

REAL TIME SYSTEMS;

EID: 33646164104     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45075-0_4     Document Type: Article

References (36)

1. ITU-T. Recommendation Z.100 (08/02), Specification and Description Language (SDL). International Telecommunication Union, Geneva.
2. B. Selic, G. Gullekson, P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, 1994.
3. D. Harel. Statecharts : A visual approach to complex systems. Science of Computer Programming, 8:231-275, 1987.
4. OMG Unified Modeling Language Specification, Version 1.3, June 1999.
5. Telelogic. Objectgeode 4-1 reference manual, 1999.
6. Telelogic. TAU Reference Manual, 1999.
7. ITU-T. Recommendation Z.120 (11/99), Message Sequence Chart (MSC). International Telecommunication Union, Geneva.
8. S. Leue. Specifying real-time requirements for SDL. PSTV, 1995.
9. H. Ben-Abdalla, S. Leue. Expressing and analysing timing constraints in message sequence chart specifications. Tech. report, U. Waterloo, 1997.
10. J. M. Alvarez, M. Diaz, L. M. Llopis, E. Pimentel, J. M. Troya. Deriving hard-real time embedded systems implementations directly from SDL specifications. Int. Symposium on Hardware/Software Codesign CODES, 2001.
11. A. Mitschele-Thiel, B. Müller-Clostermann. Performance engineering of SDL/MSC systems. Computer Networks 31(17), 1999.
12. M. Bozga, S. Graf, L. Mounier, Iulian Ober, D. Vincent. Timed extensions for SDL. SDL Forum 2001, LNCS 2078, 2001.
13. ARTiSAN, 2001.
14. Ilogix. Rhapsody development environment.
15. Telelogic. TAU Generation 2 Reference Manual, 2002.
16. T. Bienmüller, W. Damm, H. Wittke. The Statemate Verification Environment - Making it real. Conf. Computer Aided Verification, CAV, LNCS 1855, 2000.
17. OMG. Response to the OMG RFP for Schedulability, Performance and Time, v. 2.0. OMG document ad/2002-03-04, March 2002.
18. T. Henzinger, X. Nicollin, J. Sifakis, S. Yovine. Symbolic model checking for real-time systems. Symp. on Logic in Computer Science, 1992.
19. S. Bornot, J. Sifakis, S. Tripakis. Modeling urgency in timed systems. Int. Symp. Compositionality - The Significant Difference, LNCS 1536, 1998.
20. O. Maler, A. Pnueli, J. Sifakis. On the synthesis of discrete controllers for timed systems. STACS'95, LNCS 900, 1995.
21. E. Asarin, O. Maler, A. Pnueli. Symbolic controller synthesis for discrete and timed systems. Proc. Hybrid Systems II, LNCS 999, 1995.
22. S. Bornot, G. Gössler, J. Sifakis. On the construction of live timed systems. Proc. TACAS 2000, LNCS 1785, 2000.
23. T. Henzinger, B. Horowitz, Ch. Kirsch. Giotto: A time-triggered language for embedded programming. Embedded Software, LNCS 2211, 2001.
24. T. Henzinger, Pei-Hsin Ho, H. Wong-Toi. HYTECH: A model checker for hybrid systems. J. on Software Tools for Techn. Transfer, 1(1-2), 1997.
25. S. Yovine. KRONOS: A verification tool for real-time systems. Springer Int. Journal of Software Tools for Technology Transfer, 1(1-2), 1997.
26. M. Bozga, L. Ghirvu, S. Graf, L. Mounier. IF: A validation environment for timed asynchronous systems. Comp. Aided Verification, CAV, LNCS 1855, 2000.
27. M. Bozga, S. Graf, L. Mounier. IF-2.0: A validation environment for component-based real-time systems. CAV, LNCS, 2002.
28. K. Larsen, P. Petterson, W. Yi. Uppaal: Status & Developments. CAV'97, LNCS 1254, 1997.
29. E. Fersman, P. Pettersson, W. Yi. Timed automata with asynchronous processes: schedulability and decidability. TACAS, LNCS 2280, 2002.
30. J. Warmer, A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
31. Mooly Sagiv, Thomas W. Reps, Reinhard Wilhelm. Parametric shape analysis via 3-valued logic. TOPLAS 24(3): 217-298, 2002.
32. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. E. Börger, editor, Specification and Validation Methods. Oxford Univ. Press, 1995.
33. W. Damm, D. Harel. LSCs: Breathing life into Message Sequence Charts. FMOODS'99 IFIP TC6/WG6.1 Conference on Formal Methods for Open Object-Based Distributed Systems. 1999.
34. D. Harel, R. Marelly. Playing with time: on the specification and execution of time-enriched LSC. Proc. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2002), 2002.
35. S. Bornot, J. Sifakis. An algebraic framework for urgency. Information and Computation, 163, 2000.
36. R. Münzenberger, F. Slomka, M. Dörfel, R. Hofmann. General approach for the specification of real-time systems with SDL. SDL forum, LNCS 2078, 2001.