OpenMETA: A model- and component-based design tool chain for cyber-physical systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8415 LNCS, Issue , 2014, Pages 235-248

  Sztipanovits, Janos ^a   Bapty, Ted ^a   Neema, Sandeep ^a   Howard, Larry ^a   Jackson, Ethan ^b  

^a VANDERBILT UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Component Based Design; Cyber Physical Systems; Design Automation; Domain Specific Modeling Language; Model Integration Language; Model Based Design; Model Integrated Computing

Indexed keywords

COMPUTER AIDED DESIGN; EMBEDDED SYSTEMS; SIGNAL PROCESSING; SPECIFICATION LANGUAGES;

COMPONENT BASED DESIGN; CYBER PHYSICAL SYSTEMS (CPSS); DESIGN AUTOMATIONS; DOMAIN-SPECIFIC MODELING LANGUAGE; MODEL INTEGRATED COMPUTING; MODEL INTEGRATION; MODEL-BASED DESIGN;

CHAINS;

EID: 84904810677     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-54848-2_16     Document Type: Conference Paper

References (27)

1. Eremenko, P.: Philosophical Underpinnings of Adaptive Vehicle Make. DARPA-BAA-12-15. Appendix 1 (December 5, 2011)
2. Gossler, G., Sifakis, J.: Composition for component-based modeling. Science of Computer Programming-Formal Methods for Components and Objects Pragmatic Aspects and Applications 55(1-3), 161-183 (2005)
3. Lattmann, Z., Nagel, A., Scott, J., Smyth, K., van Buskirk, C., Porter, J., Neema, S., Bapty, T., Sztipanovits, J.: Towards Automated Evaluation of Vehicle Dynamics in System-Level Design. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC/CIE 2012, Chicago, IL, August 12-15 (2012)
4. Simko, G., Levendovszky, T., Neema, S., Jackson, E., Bapty, T., Porter, J., Sztipanovits, J.: Foundation for Model Integration: Semantic Backplane. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC/CIE 2012, Chicago, IL, August 12-15 (2012);
5. Sztipanovits J., Karsai G.: Model-Integrated Computing. IEEE Computer 30, 110-112 (1997)
6. Jackson, E., Sztipanovits, J.: Formalizing the Structural Semantics of Domain-Specific Modeling Languages. Journal of Software and Systems Modeling, 451-478 (September 2009)
7. Sangiovanni-Vincentelli, A.: Quo Vadis, SLD? Reasoning about the Trends and Challenges of System Level Design. Proc. of the IEEE 95(3), 467-506 (2007)
8. Jackson, E., Porter, J., Sztipanovits, J.: Semantics of Domain Specific Modeling Languages. In: Mosterman, P., Nicolescu, G. (eds.) Model-Based Design of Heterogeneous Embedded Systems, November 24, pp. 437-486. CRC Press (2009)
9. Chen, K., Sztipanovits, J., Neema, S.: Compositional Specification of Behavioral Semantics. In: Lauwereins, R., Madsen, J. (eds.) Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. Springer (2008)
10. Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta-and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405-419. Springer, Heidelberg (2007)
11. Jackson, E.K., Tiham, Balasubramanian, D.: Reasoning about Metamodeling with Formal Specifications and Automatic Proofs. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 653-667. Springer, Heidelberg (2011)
12. Sangiovanni-Vincentelli, A., Shukla, S., Sztipanovits, J., Yang, G.: Metamodeling: An Emerging representation Paradigm for System-Level Design. IEEE Design and Test of Computers (May/June 2009)
13. Jackson, E., Simko, G., Sztipanovits, J.: Diversely Enumerating System-Level Architectures. In: Proceedings of EMSOFT 2013, Embedded Systems Week, Montreal, CA, September 29-October 4 (2013)
14. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
15. Jackson, E.K., Schulte, W.: Model Generation for Horn Logic with Stratified Negation. In: Suzuki, K., Higashino, T., Yasumoto, K., El-Fakih, K. (eds.) FORTE 2008. LNCS, vol. 5048, pp. 1-20. Springer, Heidelberg (2008)
16. de Moura, L., Bjãrner, N.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337-340. Springer, Heidelberg (2008)
17. Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta-and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405-419. Springer, Heidelberg (2007)
18. Karsai, G., Maroti, M., Ledeczi, A., Gray, J., Sztipanovits, J.: Composition and cloning in modeling and meta-modeling. IEEE Transactions on Control Systems Technology 12(2), 263-278 (2004)
19. LAdeczi, A., Bakay, A., Marati, M., VAlgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. IEEE Computer 34(11), 44-51 (2001)
20. Wrenn, R., Nagel, A., Owens, R., Yao, D., Neema, H., Shi, F., Smyth, K., van Buskirk, C., Porter, J., Bapty, T., Neema, S., Sztipanovits, J., Ceisel, J., Mavris, D.: Towards Automated Exploration and Assembly of Vehicle Design Models. In: Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, IDETC/CIE 2012, Chicago, IL, August 12-15 (2012)
21. Karsai, G., Ledeczi, A., Neema, S., Sztipanovits, J.: The model integrated computing tool suite: Metaprogrammable tools for embedded control system design. In: Proceedings of the IEEE Joint Conference CCA, ISIC and CACSD, Munich, Germany (2006)
22. Sztipanovits, J.: Cyber Physical Systems: Convergence of Physical and Information Sciences. In: Information Technology, pp. 257-265. Oldenbourg Wissenschaftsverlag GmbH (June 2012)
23. Simko, G., Levendovszky, T., Maroti, M., Sztipanovits, J.: Towards a Theory for Cyber-Physical Systems Modeling. In: Proc. 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013), Philadelphia, USA, April 08-11, pp. 1-6 (2013)
24. Simko, G., Lindecker, D., Levendovszky, T., Neema, S., Sztipanovits, J.: Specification of Cyber-Physical Components with Formal Semantics-Integration and Composition. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 471-487. Springer, Heidelberg (2013)
25. Eyisi, E., Zhang, Z., Koutsoukos, X., Porter, J., Karsai, G., Sztipanovits, J.: Model-Based Design and Integration of Cyber-Physical Systems: An Adaptive Cruise Control Case Studies. Journal of Control Science and Engineering, Special Issue on Embedded Model-Based Control 2013, Article ID 678016, 15 pages (2013)
26. Fritzson, P., Lattmann, Z., Pop, A., de Kleer, J., Janssen, B., Neema, S., Bapty, T., Koutsoukos, X., Klenk, M., Bobrow, D., Saha, B., Kurtoglu, T.: Verification and Design Exploration through Meta Tool Integration with OpenModelica. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)
27. Neema, H., Gohl, J., Lattmann, Z., Sztipanovits, J., Karsai, G., Neema, S., Bapty, T., Batteh, J., Tummescheit, H.: Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems. In: 10th International Modelica Conference 2014, Lund, Sweden, March 10-12 (2014)