Approaching a Discrete-Continuous UML: Tool Support and Formalization

This paper presents HyROOM, a proposal for an extension of UML-like languages by continuous activities for the specification of mixed discrete-continuous, or hybrid, systems. It is implemented in a CASE tool prototype based on the Real-time Object Oriented Modeling methodology. All vital parts of HyROOM’s operational simulation semantics are mapped into HyCharts, a formal framework for hybrid systems. All essential concepts are discussed along the lines of parts of an industrial case study, a wire stretching plant. The semantics is the basis for validation and refinement

[1]  Radu Grosu,et al.  Modular and Visual Specification of Hybrid Systems: An Introduction to HyCharts , 2002, Formal Methods Syst. Des..

[2]  Nancy A. Lynch,et al.  Hybrid I/O automata , 1995, Inf. Comput..

[3]  Kent L. Beck,et al.  Extreme programming explained - embrace change , 1990 .

[4]  Ingolf Krüger,et al.  Hybrid Sequence Charts , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[5]  李幼升,et al.  Ph , 1989 .

[6]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[7]  Thomas Stauner,et al.  Modelling and Verification using Linear Hybrid Automata -- a Case Study , 2000 .

[8]  Pretschner,et al.  Model Based Testing with Constraint Logic Programming: First Results and Challenges , 2001 .

[9]  Thomas Stauner,et al.  Systematic development of hybrid systems , 2001, Ausgezeichnete Informatikdissertationen.

[10]  Amir Pnueli,et al.  Timed and Hybrid Statecharts and Their Textual Representation , 1992, FTRTFT.

[11]  Bernhard Rumpe,et al.  Formale Methodik des Entwurfs verteilter objektorientierter Systeme , 1996, Datenbank Rundbr..

[12]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[13]  Alexander Pretschner,et al.  Developing Correct Safety Critical, Hybrid, Embedded Systems , 2000 .

[14]  Manfred Broy,et al.  A Modular Visual Model for Hybrid Systems , 1998, FTRTFT.

[15]  Matthias Weber,et al.  Object-Oriented Specification of Hybrid Systems Using UMLh and ZimOO , 1998, ZUM.

[16]  Pieter J. Mosterman,et al.  An Overview of Hybrid Simulation Phenomena and Their Support by Simulation Packages , 1999, HSCC.

[17]  Peter Scholz,et al.  Incremental design of statechart specifications , 2001, Sci. Comput. Program..

[18]  Manfred Broy,et al.  Visual formalisms revisited , 1998, Proceedings 1998 International Conference on Application of Concurrency to System Design.

[19]  Alexander Pretschner,et al.  Heterogeneous Development of Hybrid Systems , 2000 .

[20]  Michael von der Beeck,et al.  A Comparison of Statecharts Variants , 1994, FTRTFT.

[21]  Vijay Kumar,et al.  Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.