Integrating data flow equations with UML/Realtime

Real-Time Systems

Volumn 26, Issue 1, 2004, Pages 107-125

  Bichler, Lutz ^a   Radermacher, Ansgar ^a   Schürr, Andreas ^a  

^a BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Dataflow modeling; Object oriented modeling; Rational Rose RT ; UML Realtime

Indexed keywords

AIR CONDITIONING; AUTOMOTIVE ENGINEERING; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION LANGUAGES; DATA FLOW ANALYSIS; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; OBJECT ORIENTED PROGRAMMING; RAPID PROTOTYPING;

DATA FLOW EQUATIONS; OBJECT ORIENTED MODELING LANGUAGES; SOFTWARE PACKAGE RATIONAL ROSE-RT; UNIFIED MODELING LANGUAGE;

REAL TIME SYSTEMS;

EID: 0842348183     PISSN: 09226443     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:TIME.0000009308.63403.e6     Document Type: Article

References (16)

1. 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.
2. 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.
3. Ellsberger, J., Hogrefe, D., and Sarma, A. 1997. SDL: Formal Object-Oriented Language for Communicating Systems. London: Prentice Hall.
4. 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
5. Harel, D., and Politi, M. 1998. Modeling Reactive Systems with Statecharts. New York: McGraw-Hill.
6. Hudson, S. 1991. Incremental attribute evaluation: a flexible algorithm for lazy update. ACM Transactions on Programming Languages and Systems 13(3): 315-341.
7. Inc, M. 1997. STATEFLOW for use with Simulink: User's Guide Version1. http://www.matchworks.com/products/stateflow.
8. Kiesel, N., Schürr, A., and Westfechtel, B. 1995. GRAS, a graph-oriented (software) engineering database system. Information Sciences 20(1): 21-51.
9. Lee, E. A. 1999. Embedded software-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/.
10. Rational Software Corporation. 1999. Rational Rose/Realtime. http://www.rational.com/products/rosert/index.jsp
11. Rumbaugh, J., Jacobson, I., and Booch, G. 1999. The Unified Modeling Language Reference Manual. Reading, MA: Addison Wesley.
12. 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.
13. 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
14. Selic, B., Gullekson, G., and Ward, P. 1994. Real-Time Object-Oriented Modeling. New York: John Wiley.
15. Technologies, E. O. 2001. AnyLogic 4.0. http://www.xjtek.com/products/anylogic
16. UML Revision Task Force. 1999. OMG unified modeling language specification v. 1.3. Document ad/99-06-08.