Skip to main content
SpringerLink
Log in

Modeling of Real-Time Software Systems

  • Reference work entry
  • First Online:
Handbook of Real-Time Computing

Abstract

Because real-time software is subject to more stringent requirements on quality and timing than other categories of software, the use of models and modeling languages has a long tradition in that domain. Initially, models were used in the early phases of development, for analyzing and predicting key system characteristics, as well as for capturing requirements and design intent. However, with the emergence of a new generation of modeling languages and model transformation technologies, nowadays modeling is present across the entire development cycle, including the automated generation of complete implementations directly from models. This chapter first defines the various roles that models and modeling languages play in software development. Next, a framework for characterizing and comparing different real-time modeling languages is described. Finally, some of the most notable real-time modeling languages are reviewed, starting from some of the earliest and up to the most recent.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 999.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 849.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • S.Y. Allworth, R.N. Zobel, Introduction to Real-Time Software Design (Springer-Verlag, New York, NY, 1987)

    Google Scholar 

  • M. Balcer, S. Mellor, Executable UML: A Foundation for Model-Driven Architecture (Addison-Wesley Professional, Reading, MA, 2002)

    Google Scholar 

  • G. Berry, in The Foundations of Esterel, ed. by G.D. Plotkin, C. Strong, M. Tofte. Proof, Language, and Interaction, Esssays in Honour of Robin Milner (The MIT Press, Cambridge, MA, 1999)

    Google Scholar 

  • A. Burns, A. Wellings, HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems (Elsevier Science, Amsterdam, 1995)

    Google Scholar 

  • J. Delange, AADL in Practice (Reblechon Development Company, 2017)

    Google Scholar 

  • L. Delligatti, SysML Distilled – A Brief Guide to the Systems Modeling Language (Addison-Wesley, Boston, 2014)

    Google Scholar 

  • EAST-ADL Association, EAST-ADL Domain Model Specification (v.2.1.12). (2013). http://www.east-adl.info/Specification/V2.1.12/EAST-ADL-Specification_V2.1.12.pdf

  • European Space Agency (ESA), HOOD Reference Manual Issue 3.0 (Noordwijk, 1989)

    Google Scholar 

  • P. Feiler, D. Gluch, Model-based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language (Addison-Wesley Professional, Boston, 2012)

    Google Scholar 

  • S. Friedenthal, A. Moore, R. Steiner, A Practical Guide to SysML – The Systems Modeling Language (Morgan Kaufmann- OMG Press, Amsterdam, 2008)

    Google Scholar 

  • D. Harel, Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)

    Article  MathSciNet  Google Scholar 

  • D. Harel, M. Politi, Modeling Reactive Systems with Statecharts: the Statemate Approach (McGraw-Hill, 1998)

    Google Scholar 

  • D. Hatley, I. Pirbhai, Strategies for Real-Time System Specification (Dorset House Publishing, New York, 1987)

    Google Scholar 

  • C.A.R. Hoare, Monitors – An operating system structuring concept. Communications of the ACM, CACM 17(10), 549–557 (1974)

    Article  Google Scholar 

  • ISO/IEC, International Standards Organization: ISO/IEC 7498–1:1994 -- Information Technology – Open Systems Interconnection – Basic Reference Model: The Basic Model, 2nd ed, ISO/IEC 7498–1:1994(E). (1994)

    Google Scholar 

  • ITU, Specification and Description Language (SDL) (1994)

    Google Scholar 

  • ITU-T, Z.109: Specification and Description Language – Unified Modeling Language Profile for SDL-2010 (2016)

    Google Scholar 

  • R. Jain, The Art of Computer Systems Performance Analysis (Wiley, New York, 1991)

    Google Scholar 

  • JIMCOM, The Official Handbook of MASCOT, version 3.1 issue 1, Joint IECCA and MUF Committee on Mascot (1987)

    Google Scholar 

  • M. Klein et al., A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems (Kluwer Academic Publishers, Norwell, 1993)

    Google Scholar 

  • L. Kleinrock, Queueing Systems, vol. 1 (Wiley-Interscience, New York, 1975)

    Google Scholar 

  • C. Liu, J. Layland, Scheudling algorithms for multiprogramming in a hard real-time environment. J. ACM 20(1), 46–61 (1973)

    Article  Google Scholar 

  • S. Mellor, M. Balcer, Executable UML: A Foundation for Model-Driven Architecture (Addison-Wesley Professional, Reading, MA, 2002)

    Google Scholar 

  • Object Management Group (OMG), UML Profile for Schedulability, Performance, and Time (v1.1), OMG document formal/05–01-02 (OMG, Milford, 2005)

    Google Scholar 

  • Object Management Group (OMG), Unified Modeling Language (v2.5.1), OMG document formal/17–12-05 (OMG, Milford, 2017)

    Google Scholar 

  • Object Management Group (OMG), Semantics of a Foundational Subset for Executable UML Models, OMG document formal/18–12-01 (OMG, Milford, 2018)

    Google Scholar 

  • Object Management Group (OMG), UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (v1.2), OMG document formal/19–04-01 (OMG, Milford, 2019)

    Google Scholar 

  • H. Petroski, Invention by Design – How Engineers Get from Thought to Thing (Harvard University Press, Cambridge, 1996)

    Google Scholar 

  • V. Pollio, The Ten Books on Architecture, (Morgan, M.H. translator) (Dover Publications Inc., New York, NY, 1914)

    Google Scholar 

  • A. Sarma, Introduction to SDL-92. Computer Networks and ISDN Systems 28, 1603–1615 (1996)

    Article  Google Scholar 

  • B. Selic, Turning clockwise: Using UML in the real-time domain. Commun. ACM 42(10), 46–54 (1999)

    Article  Google Scholar 

  • B. Selic, The pragmatics of model-driven development. IEEE Softw. 20(5), 19–25 (2003)

    Article  Google Scholar 

  • B. Selic, S. Gerard, Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE – Developing Cyber-Physical Systems (Morgan Kaufman, Amsterdam, 2014)

    Google Scholar 

  • B. Selic, J. Rumbaugh, Using UML for Modeling Complex Real-Time Systems (IBM, 1998). https://www.ibm.com/developerworks/rational/library/content/03July/1000/1155/1155_umlmodeling.pdf

  • B. Selic, P. Ward, G. Gullekson, Real-Time Object-Oriented Modeling (Wiley, New York, NY, 1994)

    Google Scholar 

  • S. Shlaer, S. Mellor, Object Lifecycles: Modeling the World in States (Yourdon Press, Prentice Hall, Englewood Cliffs, 1992)

    Google Scholar 

  • C. Smith, L. Williams, Performance Solutions: A Practical Gide to Creating Responsive, Scalable Software (Addison-Wesley Professional, Reading, 2001)

    Google Scholar 

  • Society of Automotive Engineers (SAE International), Architecture Analysis & Design Language (AADL), SAE document AS5506B (2012)

    Google Scholar 

  • A. Stephenson et al., Mars Climate Orbiter Mishap Investigation Board Phase 1 Report, (NASA 1999), https://llis.nasa.gov/llis_lib/pdf/1009464main1_0641-mr.pdf. Accessed 22 Dec 2019

  • P. Ward, S. Mellor, Structured Development for Real-Time Systems (Prentice-Hall, Englewood Cliffs, 1985)

    Google Scholar 

  • T. Weigert, F. Weil, Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems, IEEE SUTC 2006 (2006)

    Google Scholar 

  • J. Whittle, J. Hutchinson, M. Rouncefield, The state of practice in model-driven engineering. IEEE Softw. 32(3), 79–85 (2014)

    Article  Google Scholar 

  • E. Yourdon, L. Constantine, Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design (Prentice-Hall, Englewood Cliffs, 1975)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Malina Software Corp, Nepean, ON, Canada

    Bran Selić

  2. Faculty of Information Technology, Monash University, Clayton, VIC, Australia

    Bran Selić

Authors
  1. Bran Selić
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bran Selić .

Editor information

Editors and Affiliations

  1. School of Computer Science, Queensland University of Technology, Brisbane, QLD, Australia

    Yu-Chu Tian

  2. School of Electrical and Information Engineering, The University of Sydney, Sydney, NSW, Australia

    David Charles Levy

Section Editor information

  1. Nanjing University of Aeronautics and Astronautics, Nanjing, China

    Tao Yue

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Singapore Pte Ltd

About this entry

Check for updates. Verify currency and authenticity via CrossMark

Cite this entry

Selić, B. (2022). Modeling of Real-Time Software Systems. In: Tian, YC., Levy, D.C. (eds) Handbook of Real-Time Computing. Springer, Singapore. https://doi.org/10.1007/978-981-287-251-7_57

Download citation

Publish with us

Policies and ethics

Search

Navigation