Foundation for model integration: Semantic backplane

Proceedings of the ASME Design Engineering Technical Conference

Volumn 2, Issue PARTS A AND B, 2012, Pages 1077-1086

  Simko, Gabor ^a   Levendovszky, Tihamer ^a   Neema, Sandeep ^a   Jackson, Ethan ^b   Bapty, Ted ^a   Porter, Joseph ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CHAINS; EMBEDDED SYSTEMS; MATHEMATICAL TRANSFORMATIONS; MODELING LANGUAGES; SYSTEMS ANALYSIS;

BACKPLANES; CYBE-PHYSICAL SYSTEMS; CYBER-PHYSICAL SYSTEMS; DESIGN FLOWS; DESIGN MODELS; DESIGN TOOL; MODEL DOMAINS; MODEL-BASED DESIGN; MODELS INTEGRATION; PRODUCTIVITY INCREASE;

SEMANTICS;

EID: 84884636703     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1115/DETC2012-70534     Document Type: Conference Paper

References (30)

1. Eremenko, Paul: "Philosophical Underpinnings of Adaptive Vehicle Make, " DARPA-BAA-12-15. Appendix 1, December 5, 2011.
2. G. Karsai, A. Ledeczi, S. Neema, and J. Sztipanovits. The model integrated computing toolsuite: Metaprogrammable tools for embedded control system design. In Proceedings of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 2006.
3. http://research.microsoft.com/formula.
4. Jackson, E., Sztipanovits, J.: 'Formalizing the Structural Semantics of Domain-Specific Modeling Languages, " Journal of Software and Systems Modeling pp. 451-478, September 2009.
5. Jackson, E., Porter, J., Sztipanovits, J.: "Semantics of Domain Specific Modeling Languages" in P. Mosterman, G. Nicolescu: Model-Based Design of Heterogeneous Embedded Systems. pp. 437-486, CRC Press, November 24, 2009.
6. Börger, Egon, Stärk, Robert: Abstract State Machines : A Method for High-Level System Design and Analysis, Springer, 2003.
7. Kai Chen, Janos Sztipanovits, Sandeep Neema: "Compositional Specification of Behavioral Semantics, " in Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, Rudy Lauwereins and Jan Madsen (Eds), Springer 2008.
8. J. Sztipanovits and G. Karsai, "Model-Integrated Computing, " Computer, vol. 30, no. 4, pp. 110-111, 1997.
9. G. Karsai, G. Nordstrom, A. Ledeczi, and J. Sztipanovits, "Towards Two-Level Formal Modeling of Computer-Based Systems, " Journal of Universal Computer Science, vol. 6, no. 11, pp. 1131-1144, Nov. 2000.
10. G. Karsai, M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and cloning in modeling and meta-modeling, " IEEE Transactions on Control Systems Technology, vol. 12, no. 2, pp. 263- 278, Mar. 2004.
11. Á. Lédeczi, Á. Bakay, M. Maróti, P. Völgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing Domain-Specific Design Environments, " IEEE Computer, vol. 34, no. 11, pp. 44-51, 2001.
12. G. Karsai, A. Ledeczi, S. Neema, and J. Sztipanovits, "The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, " 2006, pp. 50-55.
13. E. K. Jackson and J. Sztipanovits, "Constructive Techniques for Meta- And Model-Level Reasoning, " in Model Driven Engineering Languages and Systems, vol. 4735, G. Engels, B. Opdyke, D. C. Schmidt, and F. Weil, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007, pp. 405-419.
14. E. K. Jackson, T. Levendovszky, and D. Balasubramanian, "Reasoning about Metamodeling with Formal Specifications and Automatic Proofs, " in Model Driven Engineering Languages and Systems, vol. 6981, J. Whittle, T. Clark, and T. Kühne, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 653-667.
15. Ethan K. Jackson, Wolfram Schulte, and J. Sztipanovits, "The Power of Rich Syntax for Model-based Development, " Microsoft Research (MSR), 2009.
16. E. K. Jackson and W. Schulte, "Model Generation for Horn Logic with Stratified Negation, " in Formal Techniques for Networked and Distributed Systems - FORTE 2008, vol. 5048, K. Suzuki, T. Higashino, K. Yasumoto, and K. El- Fakih, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 1-20.
17. G. Karsai, A. Agrawal, F. Shi, and J. Sprinkle, "On the use of graph transformation in the formal specification of model interpreters, " Journal of Universal Computer Science, vol. 9, no. 11, 2003.
18. M. W. Whalen. A parametric structural operational semantics for stateflow, uml statecharts, and rhapsody. Technical Report 2010-1: http://www.umsec.umn.edu/publications University of Minnesota Software Engineering Center, 200 Union St., Minneapolis, MN 55455, August 2010.
19. K. Balasubramanian, A. Gokhale, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments, " Computer, vol. 39, no. 2, pp. 33- 40, Feb. 2006.
20. E. Jackson, R. Thibodeaux, J. Porter, and J. Sztipanovits, "Semantics of Domain Specific Modeling Languages, " in Model-Based Design of Heterogeneous Embedded Systems, CRC Press, 2009, pp. 437-486.
21. K. Chen, J. Sztipanovits, and S. Abdelwahed, "A Semantic Unit for Timed Automata Based Modeling Languages, " In Proceedings 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006, pp. 347-360, 2006.
22. Karnopp, Dean C., Margolis, Donald L., Rosenberg, Ronald C., 1990: System dynamics: A unified approach, Wiley, ISBN 0-471-62171-4.
23. Simulink: http://www.mathworks.com/products/simulink/.
24. Modelica: http://open-modelica.org/.
25. TrueTime: http://www3.control.lth.se/truetime/.
26. Pro/ENGINEER: http://www.ptc.com/product/creo/parametric.
27. Thermal Desktop: http://www.crtech.com/thermaldesktop.html.
28. Friedenthal, Sanford (2008). A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann/The OMG Press. ISBN 978-0-12-378607-4.
29. AADL: http://www.aadl.info/aadl/currentsite/.
30. Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The Model-Integrated Computing Toolsuite: Metaprogrammable Tools for Embedded Control System Design, Proc. of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany, 2006.