The Model-Integrated Computing Tool Suite

Embedded system software development is challenging, owing to a tight integration of the software and its physical environment, profoundly impacting the software technology that can be applied for constructing embedded systems. Modeling and model-based design are central to capture all essential aspects of embedded systems. Vanderbilt University's Model Integrated Computing tool suite, driven by the recognition of the need for integrated systems and software modeling, provides a reusable infrastructure for model-based design of embedded systems. The suite includes metaprogrammable model-builder (GME), model-transformation engine (UDM/GReAT), tool-integration framework (OTIF), and design space exploration tool (DESERT). The application of the MIC tool suite in constructing a tool chain for Automotive Embedded System (VCP) is presented.

[1]  Gabor Karsai,et al.  Model-embedded on-line problem solving environment for chemical engineering , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[2]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[3]  Gabor Karsai,et al.  Model-based software synthesis , 1993, IEEE Software.

[4]  Gabor Karsai,et al.  Graph model‐based approach to the representation, interpretation, and execution of signal processing systems , 1988, Int. J. Intell. Syst..

[5]  Gabor Karsai,et al.  Constraint-Based Design-Space Exploration and Model Synthesis , 2003, EMSOFT.

[6]  Kang G. Shin,et al.  An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software , 2003, RTSS 2003. 24th IEEE Real-Time Systems Symposium, 2003.

[7]  Gabor Karsai,et al.  Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation , 2009, MoDELS.

[8]  Sandeep Neema,et al.  Compositional Specification of Behavioral Semantics , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[9]  Computer Staff.  Windowing system standard , 1989 .

[10]  Janos Sztipanovits,et al.  Formalizing the structural semantics of domain-specific modeling languages , 2009, Software & Systems Modeling.

[11]  Gabor Karsai,et al.  MULTIGRAPH: an architecture for model-integrated computing , 1995, Proceedings of First IEEE International Conference on Engineering of Complex Computer Systems. ICECCS'95.

[12]  Gabor Karsai,et al.  Design patterns for open tool integration , 2005, Software & Systems Modeling.

[13]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[14]  Gabor Karsai,et al.  On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[15]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[16]  Gabor Karsai,et al.  Model-Integrated Computing , 1997, Computer.

[17]  Jochen Ludewig,et al.  Models in software engineering – an introduction , 2003, Software and Systems Modeling.

[18]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[19]  Gabor Karsai,et al.  The multigraph and structural adaptivity , 1993, IEEE Trans. Signal Process..