The model-integrated computing tool suite

Authors:
Janos Sztipanovits;Gabor Karsai;Sandeep Neema;Ted Bapty
Affiliations:
ISIS, Vanderbilt University, Nashville, TN;ISIS, Vanderbilt University, Nashville, TN;ISIS, Vanderbilt University, Nashville, TN;ISIS, Vanderbilt University, Nashville, TN
Venue:
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Year:
2007

Citing 11
Cited 0

No Silver Bullet Essence and Accidents of Software Engineering

Computer
Model-Integrated Computing

Computer
Increasing Productivity at Saturn

Computer
Composing Domain-Specific Design Environments

Computer
Model-Based Software Synthesis

IEEE Software
Model-embedded on-line problem solving environment for chemical engineering

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
MULTIGRAPH: an architecture for model-integrated computing

ICECCS '95 Proceedings of the 1st International Conference on Engineering of Complex Computer Systems
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software

RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Compositional specification of behavioral semantics

Proceedings of the conference on Design, automation and test in Europe
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation

Models in Software Engineering
Metamodeling-rapid design and evolution of domain-specific modeling environments

ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.