The model-integrated computing tool suite
Pages 369 - 376
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.
References
[1]
Brooks Jr., F.P.: No silver bullet: Essence and accidents of software engineering. IEEE Computer Magazine, 10-19 (April 1987).
[2]
Harel, D.: Biting the silver bullet. IEEE Computer Magazine, 8-19 (January 1992).
[3]
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).
[4]
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).
[5]
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).
[6]
Abbott, B., Bapty, T., Biegl, C., Karsai, G., Sztipanovits, J.: Model-based software synthesis. IEEE Software, 42-53 (May 1993).
[7]
Sztipanovits, J., Wilkes, D., Karsai, G., Lynd, L.: The multigraph and structural adaptivity. IEEE Transaction on Signal Processing 41(8), 2695-2716 (1993).
[8]
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).
[9]
Sztipanovits, J., Karsai, G.: Model-integrated computing. IEEE Computer 22(5), 110-112 (1997).
[10]
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).
[11]
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).
[12]
ISIS: Mic tool distribution.
[13]
Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J.: Composing domain-specific design environments. IEEE Computer Magazine, 44- 51 (November 1997).
[14]
Object Management Group: UML 2.0 OCL Specification (2003).
[15]
Bakay, A.: The udm framework.
[16]
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).
[17]
Karsai, G., Lang, A., Neema, S.: Design patterns for open tool integration. Journal of Software and System Modeling 4(1) (2004).
[18]
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).
[19]
Earl, L., Amit, M., Janos, S.: Increasing productivity at saturn. IEEE Computer Magazine, 35-44 (August 1998).
[20]
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).
[21]
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).
[22]
Vector Informatik Group: The vector tools.
[23]
Jackson, E., Sztipanovits, J.: Formalizing the structural semantics of domain-specific modeling languages. Journal of Software and Systems Modeling (2009) (to appear).
[24]
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).
Recommendations
Fujaba4eclipse real-time tool suite
MBEERTS'07: Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systemsThe Fujaba Real-Time Tool Suite supports modeling and verification of software in mechatronic or embedded systems. It also addresses the specification of advanced systems which reconfigure part of their structure and behavior at runtime. The Fujaba Real-...
Evolution in a context of an model-integrated tool environment
ME '12: Proceedings of the 6th International Workshop on Models and EvolutionModel-transformation tools are a central part of model-integrated computing (MIC): they enable the mapping and refinement of models into other forms, such as documentation and code. The tools supporting language and translator evolution are not isolated:...
Design pattern integrated tool
OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applicationsThe use of design patterns in the mainstream has been limited due technical restrictions in supporting tools. We developed an integrated tool that supports language and platform independence, and facilitates cross-platform interoperability. The tool ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
November 2007
385 pages
ISBN:3642162762
Publisher
Springer-Verlag
Berlin, Heidelberg
Publication History
Published: 04 November 2007
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 15 Jan 2025