Java engine for UML based hybrid state machines

ABSTRACT

One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discrete logic. The resulting hybrid state machine is a powerful concept to specify complex interdependencies between discrete and continuous time behaviors. It, however, exposes the simulation engine to a number of problems, which we discuss. The hybrid state machine based approach presented in this paper is fully supported by UML-RT/Java tool TimeBroker developed at Experimental Object Technologies.

REFERENCES

• 1: Karl Johan Astroem , Hilding Elmqvist , Sven Erik Mattson, Evolution of Continuous-Time Modeling and Simulation, Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future, p.9-18, June 16-19, 1998
• 2: A. Borshchev, Yu. Karpov, V. Roudakov. 1997. Systems modeling, simulation and analysis using COVERS active objects. Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS'97) Monterey, CA, March 1997.
• 3: David Harel , Eran Gery, Executable Object Modeling with Statecharts, Computer, v.30 n.7, p.31-42, July 1997 [doi>10.1109/2.596624]
• 4: T. Henzinger, Z. Manna, A. Pnueli. 1992. Timed transition systems. Technical Report TR 92-1263, Dept. of Computer Science, Cornell University, January 1992.
• 5: Stefan Kowalewski , Olaf Stursberg , Martin Fritz , Holger Graf , Ingo Hoffmann , Jörg Preußig , M. Remelhe , Silke Simon , Heinz Treseler, A Case Study in Tool-Aided Analysis of Discretely Controlled Continuous Systems: The Two Tanks Problem, Hybrid Systems V, p.163-185, January 1999
• 6: Oded Maler , Zohar Manna , Amir Pnueli, From Timed to Hybrid Systems, Proceedings of the Real-Time: Theory in Practice, REX Workshop, p.447-484, June 03-07, 1991