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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Brooks Jr., F.P.: No silver bullet: Essence and accidents of software engineering. IEEE Computer Magazine, 10–19 (April 1987)
Harel, D.: Biting the silver bullet. IEEE Computer Magazine, 8–19 (January 1992)
Sztipanovits, J., Karsai, G., Biegl, C.: Graph model based approach to the representation, interpretation and execution of real time signal processing systems. International Journal of Intelligent Systems 3(3), 269–280 (1988)
Karsai, G., Sztipanovits, J., Franke, H., Padalkar, S., DeCaria, F.: Model-embedded on-line problem solving environment for chemical engineering. In: Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361–368 (November 1995)
Misra, A., Sztipanovits, J., Underbrik, A., Carnes, R., Purves, B.: Diagnosability of dynamical systems. In: Third Intenational Workshop on Principles of Diagnosis, Rosario, Orcas Island, WA, pp. 239–244 (May 1992)
Abbott, B., Bapty, T., Biegl, C., Karsai, G., Sztipanovits, J.: Model-based software synthesis. IEEE Software, 42–53 (May 1993)
Sztipanovits, J., Wilkes, D., Karsai, G., Lynd, L.: The multigraph and structural adaptivity. IEEE Transaction on Signal Processing 41(8), 2695–2716 (1993)
Sztipanovits, J., Karsai, G., Biegl, C., Bapty, T., Ledeczi, A., Malloy, D.: Multigraph: An architecture for model-integrated computing. In: Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361–368 (November 1995)
Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer 22(5), 110–112 (1997)
Nordstrom, G., Sztipanovits, J., Karsai, G.: Meta-level extension of the multigraph architecture. In: Engineering of Computer-Based Systems Conference, Jerusalem, Israel, pp. 61–68 (May 1998)
Nordstrom, G., Sztipanovits, J., Karsai, G., Ledeczi, A.: Metamodeling - rapid design and evolution of domain-specific modeling environments. In: Proceedings of the IEEE ECBS 1999 Conference, Nashville, TN, pp. 68–74 (April 1999)
ISIS: Mic tool distribution
Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J.: Composing domain-specific design environments. IEEE Computer Magazine, 44–51 (November 1997)
Object Management Group: UML 2.0 OCL Specification (2003)
Bakay, A.: The udm framework
Karsai, G., Agrawal, A., Shi, F.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)
Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Journal of Software and System Modeling 4(1) (2004)
Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290–305. Springer, Heidelberg (2003)
Earl, L., Amit, M., Janos, S.: Increasing productivity at saturn. IEEE Computer Magazine, 35–44 (August 1998)
Porter, J., Karsai, G., Volgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., Sztipanovits, J.: Towards model-based integration of tool and techniques for embedded control system design, verification, and implementation. In: Chaudron, M.R.V. (ed.) Models in Software Engineering. LNCS, vol. 5421, pp. 20–34. Springer, Heidelberg (2009)
Zonghua, G., Wang, S., Kodase, S., Shin, G.K.: An end-to-end tool chain for multi-view modeling and analysis of avionics mission computing software. In: 24th IEEE International Real-Time Systems Symposium (RTSS 2003), Cancun, Mexico (September 2003)
Vector Informatik Group: The vector tools
Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (to appear)
Chen, K., Sztipanovits, J., Neema, S.: Compositional specification of behavioral semantics. In: Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, pp. 253–256 (April 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Sztipanovits, J., Karsai, G., Neema, S., Bapty, T. (2010). 20 The Model-Integrated Computing Tool Suite. In: Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B. (eds) Model-Based Engineering of Embedded Real-Time Systems. MBEERTS 2007. Lecture Notes in Computer Science, vol 6100. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16277-0_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-16277-0_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16276-3
Online ISBN: 978-3-642-16277-0
eBook Packages: Computer ScienceComputer Science (R0)