Visual Model-Driven Development of Software Intensive Systems: A Survey of available Techniques and Tools∗

Modeling software intensive systems often results in a mix of models from a multitude of disciplines such as software engineering, control engineering, mechanical engineering, and electrical engineering. As software provides the most flexible element in this concert of techniques, the integration of these different views often happens in the software. As today technical systems also become connected to each other using network technology, we no longer only have technical systems which are controlled by an isolated operating software. Instead, the software may include complex information processing capabilities and the coordination between the different technical systems taking hard real-time constraints into account. In this paper, we at first identify a number of general requirements for the visual model-driven modeling of software intensive systems which result from the outlined demands. We then use these requirements to classify and characterize a large number of today available techniques and tools for software intensive systems. In order to keep this survey focused, we restrict our attention here to techniques and tools for the visual model-driven development of software intensive systems with focus on safety issues and integration of engineering concepts.

[1]  Matthias Weber,et al.  Specification of Software Controlling a Discrete-Continuous Environment , 1997, Proceedings of the (19th) International Conference on Software Engineering.

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

[3]  Thomas A. Henzinger.  Masaccio: A Formal Model for Embedded Components , 2000, IFIP TCS.

[4]  Gabor Karsai,et al.  Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations , 2004, GT-VMT@ETAPS.

[5]  P. Mosterman.  Modeling Discontinuous Behavior with Hybrid Bond Graphs , 2003 .

[6]  Holger Giese,et al.  Model-Driven Development of Reconfigurable Mechatronic Systems with Mechatronic UML , 2004, MDAFA.

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

[8]  Dionisio de Niz,et al.  Time weaver: a software-through-models framework for embedded real-time systems , 2003 .

[9]  Robert P. Goldman,et al.  Self-adaptive software for hard real-time environments , 1999, IEEE Intell. Syst..

[10]  Gabor Karsai,et al.  Self-adaptive software for signal processing , 1998, CACM.

[11]  Alexander Pretschner,et al.  Approaching a Discrete-Continuous UML: Tool Support and Formalization , 2001, pUML.

[12]  Thomas A. Henzinger,et al.  From control models to real-time code using Giotto , 2003 .

[13]  Holger Giese,et al.  Modular design and verification of component-based mechatronic systems with online-reconfiguration , 2004, SIGSOFT '04/FSE-12.

[14]  Jan Peleska,et al.  Executable HybridUML and Its Application to Train Control Systems , 2004, SoftSpez Final Report.

[15]  Peyman Oreizy,et al.  An architecture-based approach to self-adaptive software , 1999, IEEE Intell. Syst..

[16]  Luca P. Carloni,et al.  Modeling Techniques, Programming Languages, and Design Toolsets for Hybrid Systems , 2004 .

[17]  Thomas A. Henzinger,et al.  The Algorithmic Analysis of Hybrid Systems , 1995, Theor. Comput. Sci..

[18]  Insup Lee,et al.  Generating embedded software from hierarchical hybrid models , 2003, LCTES '03.

[19]  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).

[20]  Holger Giese,et al.  Hybrid UML Components for the Design of Complex Self-Optimizing Mechatronic Systems , 2004, ICINCO.

[21]  Karl-Erik Årzén,et al.  Tools for Real-Time Control Systems Co-Design - A Survey , 2005 .

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

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

[24]  Holger Giese,et al.  Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation , 2004, EMSOFT '04.

[25]  Edward A. Lee,et al.  Heterogeneous Concurrent Modeling and Design R S I T Y @bullet O F @bullet C Overview of the Ptolemy Project , 2003 .

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

[27]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[28]  Insup Lee,et al.  Compositional Refinement for Hierarchical Hybrid Systems , 2001, HSCC.

[29]  Nancy A. Lynch,et al.  Hybrid I/O Automata Revisited , 2001, HSCC.

[30]  Vijay Kumar,et al.  Hierarchical Hybrid Modeling of Embedded Systems , 2001, EMSOFT.

[31]  Thomas A. Henzinger,et al.  Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.