Skip to main content
Log in

Integrating Data Flow Equations with UML/Realtime

  • Published:
Real-Time Systems Aims and scope Submit manuscript

Abstract

Object-oriented (OO) modeling languages, tools, and methods more and more attract the interest of embedded (real-time) system developers. This is especially true if embedded (real-time) system software has to cooperate with interactive multimedia software, as it is more and more the case in automotive systems. It is still an open question whether and how the standard OO modeling language UML and its accompanying tools have to be adapted to the regarded application domain. This paper evaluates the development of a rapid prototype for an air condition controller with the popular CASE tool Rational Rose/RT®. We point out some weaknesses of the presented solution and propose an extension to Rose/RT®, which overcomes the weaknesses by combining Rose/RT’s UML dialect with data flow equations.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • Alur, R., Henzinger, T. A., and Sontag, E. D. (eds.). 1996. Hybrid systems III: verification and control. In Proceedings of the DIMACS/SYCON Workshop. Berlin: Springer Press.

  • Borshchev, A. V., Kolesov, Y. B., and Senichenkov, Y. B. 2000. Java engine for UML based hybrid state machines. In Proceedings of the Winter Simulation Conference. Orlando, Florida, USA.

  • Ellsberger, J., Hogrefe, D., and Sarma, A. 1997. SDL: Formal Object-Oriented Language for Communicating Systems. London: Prentice Hall.

    Google Scholar 

  • Grosu, R., and Stauner, T. 1998. Visual description of hybrid systems. In Workshop On Real Time Programming (WRTP'98). Amsterdam, Elsevier Science Ltd. http://www4.informatik.tu-muenchen.de/papers/GS98-WRTP.html

    Google Scholar 

  • Harel, D., and Politi, M. 1998. Modeling Reactive Systems with Statecharts. New York: McGraw-Hill.

    Google Scholar 

  • Hudson, S. 1991. Incremental attribute evaluation: a flexible algorithm for lazy update. ACM Transactions on Programming Languages and Systems 13(3): 315-341.

    Google Scholar 

  • Inc, M. 1997. STATEFLOW for use with Simulink: User's Guide Version1. http://www.mathworks.com/products/stateflow.

  • Kiesel, N., Schürr, A., and Westfechtel, B. 1995. GRAS, a graph-oriented (software) engineering database system. Information Sciences 20(1): 21-51.

    Google Scholar 

  • Lee, E. A. 1999. Embedded software\3-an agenda for research. Technical Report ERL Technical Report UCB/ERL No. M99/63, University of California, Berkeley, CA, USA 94720. http://ptolemy.eecs.berkeley.edu/.

    Google Scholar 

  • Rational Software Corporation. 1999. Rational Rose/Realtime. http://www.rational.com/products/rosert/index.jsp

  • Rumbaugh, J., Jacobson, I., and Booch, G. 1999. The Unified Modeling Language Reference Manual. Reading, MA: Addison Wesley.

    Google Scholar 

  • Schürr, A., and Winter, A. J. 1999. UML, the future standard software architecture description language? In H. Kilov, B. Rumpe, and I. Simmonds (eds.), Behavioral Specifications for Businesses and Systems. Deventer: Kluwer Academic Publishers, pp. 193-206.

    Google Scholar 

  • Selic, B., and Rumbaugh, J. 1998. Using UML for modeling complex real-time systems. ObjecTime Limited, 340 March Road, Kanata, Ontario, Canada. http://www.objectime.com/otl/technical/umlrt.html

    Google Scholar 

  • Selic, B., Gullekson, G., and Ward, P. 1994. Real-Time Object-Oriented Modeling. New York: John Wiley.

    Google Scholar 

  • Technologies, E. O. 2001. AnyLogic 4.0. http://www.xjtek.com/products/anylogic

  • UML Revision Task Force. 1999. OMG unified modeling language specification v. 1.3. Document ad/99-06-08.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Bichler, L., Radermacher, A. & Schürr, A. Integrating Data Flow Equations with UML/Realtime. Real-Time Systems 26, 107–125 (2004). https://doi.org/10.1023/B:TIME.0000009308.63403.e6

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/B:TIME.0000009308.63403.e6

Navigation