Skip to main content
Springer Nature Link
Log in

UML for Real-Time

Which native concepts to use?

  • Chapter
UML for Real

  • 381 Accesses

Abstract

Engineers are increasingly facing the hard problem of developing more sophisticated real-time systems while time to market and cost constraints are constantly growing. The necessity of adopting object oriented modeling in the real-time domain appears to be essential in order to face the rapidly changing market conditions. The main obstacles are the lack of standards and the mismatch with real-time needs. With the standardization of UML, the first main drawback is being reduced. Current work performed at the OMG on UML standards evolution to better integrate real-time issues shows both that there is a strong interest in the subject and that current proposals are neither completely satisfying, nor completely compatible. This chapter aims to describe in minute detail what UML proposes as support for parallelism, behavior and communication modeling, and how it is also possible to express quantitative real-time features (such as deadlines, periods, priorities⋯). Apart from UML, OMG has specified two additional profiles well-suited for realtime, the Scheduling, Performance and Time profile and the Action Semantics profile. Due to size limitations, the goal of this chapter is not to describe precisely their content. It aims at skimming through both profiles to outline their purpose and content. Finally after having detailed the native possibilities of the UML in terms of notations for real-time, this chapter outlines a prospective approach showing how to use such notations to build real-time applications.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. CNRS, «Le temps-réel», TSI-Technique et Science Informatiques, 1988. vol. 7(5): p. 493–500.

    Google Scholar 

  2. J.A. Stankovic, “Misconceptions about real-time: a serious problem for next-generation systems”, IEEE Computer, 1988. vol. 21(10): p. 10–19.

    Google Scholar 

  3. C. Atkinson, Object-oriented reuse, concurrency and distribution: an Ada-based approach. 91: Addison-Wesley.

    Google Scholar 

  4. R. Guerraoui, «Les langages concurrents à objets», Technique et Science Informatiques (TSI), 1995. vol. 14(8).

    Google Scholar 

  5. A. Tripathi, J.V. Oosten, and R. Miller, “Object-Oriented Concurrent Programming Languages and Systems”, JOOP, 1999. vol. november/december: p. 22–29.

    Google Scholar 

  6. G. Agha, “Concurrent object-oriented programming”, Communication of the ACM (CACM), 90. vol. 33(9).

    Google Scholar 

  7. D. Kafura, M. Mukherji, and G. Lavender, “ACT++: a class library for concurrent programming in C++ using actors”, Journal of Object-Oriented Programming (JOOP), 1993. vol. (October): p. 47–55.

    Google Scholar 

  8. O.M. Nierstratz, “Active Objects in Hybrid”, in OOPSLA’87. 1987.

    Google Scholar 

  9. A. Yonezawa, E. Shibayama, T. Takada, and Y. Honda, “Modelling and Programming in an Object-Oriented Concurrent Language ABCL/1”, Object-Oriented Concurrent programming, 1987. vol.

    Google Scholar 

  10. B. Liskov, “Distributed Programming in Argus”, Communication of ACM, 1988. vol. 31(3): p. 300–312.

    MathSciNet  Google Scholar 

  11. G. Fouquier and F. Terrier, «PRAL-RT: Un langage à objets concurrents temps réel pour machines multi-threads», in Third Conference on Real-Time Systems (RTS’95). 1995. Paris, France.

    Google Scholar 

  12. K. Takashio and M. Tokoro, “DROL: An object-oriented programming language for distributed real-time systems”, in The Object-Oriented Programming: Systems, Languages and Applications Conference (OOPSLA’92). 1992: ACM SIGPLAN Notices.

    Google Scholar 

  13. Y. Ishikawa, H. Tokuda, and C.W. Mercer, “An object-oriented real-time programming language”, Computer, 92. vol. (October): p. 66–73.

    Google Scholar 

  14. J.L. Sourrouille and H. Lecoeuche, “Integrating States in an Object-Oriented Concurrent Model”, in TOOLS Europe’ 95. 1995. Versailles, France.

    Google Scholar 

  15. F. Terrier, G. Fouquier, D. Bras, L. Rioux, P. Vanuxeem, and A. Lanusse, “A Real Time Object Model”, in TOOLS Europe’96. 1996. Paris, France: Prentice Hall.

    Google Scholar 

  16. POSIX, “Realtime system API extension”, IEEE: POSIX, POSIX 1003.4b/D4. 1992.

    Google Scholar 

  17. POSIX, “Threads extension for Portable Operating Systems”, IEEE: POSIX, POSIX 1003.4a/D6. 1992.

    Google Scholar 

  18. D. Harel, A. Pnueli, J.P. Schmidt, and R. Sherman. “On the formal semantics of statecharts.” in Second IEEE Symposium on Logic in Computer Science. 1987. New York: IEEE Press.

    Google Scholar 

  19. S J. Mellor. “Advanced Methods and Tools for Precise UML: Visions for the Future”, in OOPSLA, workshop pUML. 2000. Denver.

    Google Scholar 

  20. I. Wilkie, A. King, M. Clarke, C. Weaver, and C. Rastrick, “UML ASL Reference Guide”, Kennedy Carter. 2001. p. 90.

    Google Scholar 

  21. C. Mraidha and S. Gérard, “ACCORD/UML Action Language”, CEA/LIST: Internal report, DTSI/SLA/03-190/MC/ASG. 2003.

    Google Scholar 

  22. ITU-T, “Recommendation Z.109: Languages for telecommunications applications-SDL combined with UML”, ITU-T. 1999.

    Google Scholar 

  23. R. Wieringa, “Formalizing the UML in a Systems Engineering”, ECOOP98, 1998. vol. (Workshop on Precise Behavioral semantics): p. 254–266.

    Google Scholar 

  24. J. Lilius and I. Porres. “Formalizing UML state machines for model checking”, in UML’99. 1999: Springer Verlag.

    Google Scholar 

  25. G. Reggio, E. Astesiano, C. Choppy, and H. Hussmann. “Analysing UML active classes and associated state machines-a lightweight formal approach”, in FASE 2000. 2000: Springer-Verlag.

    Google Scholar 

  26. S. Gérard, Modélisation UML exécutable pour les systèmes embarqués de l’automobile, PhD Thesis, in GLSP. 2000, Evry: Paris.

    Google Scholar 

  27. M. Dumas and A.H.M.t. Hofstede. “UML Activity Diagrams as a Workflow Specification Language”, in UML’2001. 2001. Toronto, Canada: Springer.

    Google Scholar 

  28. H. Eshuis, Semantics and Verification of UML Activity Diagrams for Workflow Modelling, PhD Thesis, in Centre for Telematics and Information Technology. 2002, University of Twente (The Netherlands): Enschede. p. 240.

    Google Scholar 

  29. F. Bause and P. Buchholz, eds. Protocol Analysis using a timed version of SDL. Formal Description Techniques, ed. J. Quemada, J. Manas, and E. Vasquez 1991: North Holland.

    Google Scholar 

  30. S. Leue. “Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach”, in PSTV. 95: Chapmann & Hall.

    Google Scholar 

  31. U. Hinkel. “SDL and Time-A mysterious Relationship”, in SDL Forum. 97.

    Google Scholar 

  32. A. Burns, “Scheduling hard real-time systems: a review”, Software Engineering Journal, 1991. vol. May.

    Google Scholar 

  33. F. Terrier and S. Gérard. “Real time system modeling with UML: current status and some prospects”, in 2nd Workshop on SDL and MSC 2000. 2000. Grenoble, France.

    Google Scholar 

  34. F. Terrier, A. Lanusse, D. Bras, P. Roux, and P. Vanuxeem, “Concurrent objects for multitasking”, L’objet, 1997. vol. 3(2): p. 179–196.

    Google Scholar 

  35. A. Lanusse, S. Gérard, and F. Terrier. “Real-Time Modeling with UML: The ACCORD Approach”, in “UML98”: Beyond the Notation. 1998. Mulhouse, France: J. Bezivin et P.A. Muller.

    Google Scholar 

  36. S. Gérard, “The ACCORD/UML profile”, CEA-LIST: Internal report. 2002.

    Google Scholar 

  37. G. Fouquier, Programmation temps réel à objets: études ét propositions, PhD Thesis. 1996, Université d’Orsay, Paris XI.

    Google Scholar 

  38. L. Rioux, Développement à Objets Temps Réel: Etude et Proposition d’une Architecture d’Ordonnancement Parallèle, PhD Thesis, in LLSP. 1998, UFR Scientifique d’Orsay: Saclay. p. 205.

    Google Scholar 

  39. S. Gérard, N.S. Voros, C. Koulamas, and F. Terrier. “Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD/UML Methodology”, in Architecture and Design of Distributed Embedded Systems (DIPES 2000). 2000. Paderborn University, Germany: Kluwer Academic Publishers.

    Google Scholar 

  40. C. Mraidha, S. Gérard, F. Terrier, and J. Benzakki. “A Two-Aspect Approach for a Clearer Behavior Model”, in The 6th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC’2003). 2003. Hakodate, Hokkaido, Japan: IEEE.

    Google Scholar 

  41. OMG, “UML 1.5 with Action Semantics”, OMG, ptc/02-09-02. 2002. p. 754.

    Google Scholar 

  42. AIT-WOODDES, Public Final Report. 2003.

    Google Scholar 

  43. P. Tessier, S. Gérard, C. Mraidha, F. Terrier, and J.-M. Geib. “A Component-Based Methodology for Embedded System Prototyping”, in 14th IEEE International Workshop on Rapid System Prototyping (RSP’03). 2003. San Diego, USA: IEEE.

    Google Scholar 

  44. D.A. S. Gérard, “UML profile for real time embedded systems development”, AIT-WOODDES (IST-1999-10069): public document, 10069/D2/CEA/WP1/V1.0. 2003.

    Google Scholar 

  45. J.P. Gallois and A. Lanusse, «Le test structurel pour la vérification de spécifications de systèmes industriels», Génie Logiciel, 1997. vol. 46: p. 145–150.

    Google Scholar 

  46. J.P. Gallois and A. Lapitre. «Analyse de spécifications industrielles et génération automatique de tests», in ICSEA. 1999. Paris.

    Google Scholar 

  47. D. Lugato, N. Rapin, and J.-P. Gallois. “Verification and tests generation for SDL industrial specifications with the AGATHA”, in Workshop on Real-Time Tools, CONCUR’01. 2001.

    Google Scholar 

  48. D. Lugato, C. Bigot, and Y. Valot. “Validation and automatic test generation on UML models: the AGATHA approach”, in FMICS’02, 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems. 2002. University of Malaga, Spain: Elsevier Science Publishers-Electronic Notes in Theoretical Computer Science.

    Google Scholar 

  49. OMG, “UML Profile for Modeling QoS and FT Characteristics and Mechanisms RFP”, OMG, ad/02-01-07. 2002.

    Google Scholar 

  50. OMG, “UML for Systems Engineering RFP”, OMG: Request For Proposal, ad/03-03-41. 2003. p. 56.

    Google Scholar 

  51. OMG, “MOF 2.0 Query / Views / Transformations RFP”, OMG: Request For Proposal, ad/02-04-10. 2002.

    Google Scholar 

  52. R. Soley and t.O.S.S. Group, “Model Driven Architecture (Draft 3.2)”, OMG: White paper. 2000. p. 8.

    Google Scholar 

  53. S. Gérard, F. Terrier, and Y. Tanguy. “Using the Model Paradigm for Real-Time Systems Develoment: ACCORD/UML”, in OOIS’02-MDSD. 2002. Montpellier: Springer.

    Google Scholar 

  54. J. Bézivin and S. Gérard, “A Preliminary Identification of MDA Components”, OOPSLA 2002 Workshop: Generative Techniques in the context of Model Driven Architecture. 2002.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. CEA-LIST(“Commisariat à l’Energie Atomique - Laboratoire d’Intégration des Systémes et des Technologies” is the Systems and Technologies Integration Laboratory of the French Agency for Atomic Energy), France

    Sébastien Gérard & Francois Terrier

Authors
  1. Sébastien Gérard
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francois Terrier
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Politecnico di Torino, Torino, Italy

    Luciano Lavagno

  2. Cadence Berkeley Labs, Berkeley, California, USA

    Luciano Lavagno  & Grant Martin  & 

  3. Rational Software, Canada

    Bran Selic

  4. Carleton University, Ottawa, Canada

    Bran Selic

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Kluwer Academic Publishers

About this chapter

Cite this chapter

Gérard, S., Terrier, F. (2003). UML for Real-Time. In: Lavagno, L., Martin, G., Selic, B. (eds) UML for Real. Springer, Boston, MA. https://doi.org/10.1007/0-306-48738-1_2

Download citation

  • DOI: https://doi.org/10.1007/0-306-48738-1_2

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4020-7501-8

  • Online ISBN: 978-0-306-48738-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics