{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:40:09Z","timestamp":1750228809100,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,7]],"date-time":"2015-06-07T00:00:00Z","timestamp":1433635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,7]]},"DOI":"10.1145\/2744769.2747922","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Design tool chain for cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Janos","family":"Sztipanovits","sequence":"first","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[{"name":"Vanderbilt University, Nashville, TN"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ethan","family":"Jackson","sequence":"additional","affiliation":[{"name":"Microsoft Research, One Microsoft Way, Redmond, WA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"December 5","author":"Eremenko","year":"2011","unstructured":"Eremenko , Paul : \" Philosophical Underpinnings of Adaptive Vehicle Make,\" DARPA-BAA-12-15. Appendix 1 , December 5 , 2011 Eremenko, Paul: \"Philosophical Underpinnings of Adaptive Vehicle Make,\" DARPA-BAA-12-15. Appendix 1, December 5, 2011"},{"key":"e_1_3_2_1_2_1","volume-title":"The META Toolchain: Accomplishments and Open Challenges, no. ISIS-15-102","author":"Sztipanovits J., T.","year":"2015","unstructured":"Sztipanovits , J., T. Bapty , S. Neema , X. Koutsoukos , and J. Scott , The META Toolchain: Accomplishments and Open Challenges, no. ISIS-15-102 , 2015 . (download: http:\/\/www.isis.vanderbilt.edu\/publications) Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, no. ISIS-15-102, 2015. (download: http:\/\/www.isis.vanderbilt.edu\/publications)"},{"key":"e_1_3_2_1_3_1","volume-title":"Nashville","author":"Lattmann Z., J.","year":"2015","unstructured":"Lattmann , Z., J. Klingler , P. Meijer , T. Bapty , S. Neema , and J. Scott , Integration Platform Technology Components in the META Toolchain, no. ISIS-15-110 , Nashville , Institute for Software Integrated Systems , 01\/ 2015 Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, S. Neema, and J. Scott, Integration Platform Technology Components in the META Toolchain, no. ISIS-15-110, Nashville, Institute for Software Integrated Systems, 01\/2015"},{"key":"e_1_3_2_1_4_1","first-page":"235","volume":"8415","author":"Sztipanovits J.","unstructured":"Sztipanovits , J. , Bapty , T. , Neema , S. , Howard , L. , Jackson , E. (2014). Open META: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems. In Bensalem, S., Lakhneck , Y. , Legay , A. (Eds.) From Programs to Systems -- The Systems Perspective in Computing , LNCS 8415 (pp. 235 -- 249 ), 2014 Sztipanovits, J., Bapty, T., Neema, S., Howard, L., Jackson, E. (2014). OpenMETA: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems. In Bensalem, S., Lakhneck, Y., Legay, A. (Eds.) From Programs to Systems -- The Systems Perspective in Computing, LNCS 8415 (pp. 235--249), 2014","journal-title":"LNCS"},{"key":"e_1_3_2_1_5_1","unstructured":"Simko G. Levendovszky T. Neema S. Jackson E. Bapty T. Porter J. Sztipanovits J.: \"Foundation for Model Integration: Semantic Backplane\" Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2012 August 12--15 2012 Chicago IL  Simko G. Levendovszky T. Neema S. Jackson E. Bapty T. Porter J. Sztipanovits J.: \"Foundation for Model Integration: Semantic Backplane\" Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2012 August 12--15 2012 Chicago IL"},{"key":"e_1_3_2_1_6_1","volume-title":"Design Space Exploration and Manipulation for Cyber Physical Systems,\" IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL","author":"Neema H., Z.","year":"2014","unstructured":"Neema , H., Z. Lattmann , P. Meijer , J. Klingler , S. Neema , T. Bapty , J. Sztipanovits , and G. Karsai : \" Design Space Exploration and Manipulation for Cyber Physical Systems,\" IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL ' 2014 ), Springer-Verlag Berlin Heidelberg 2014. Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai: \"Design Space Exploration and Manipulation for Cyber Physical Systems,\" IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Springer-Verlag Berlin Heidelberg 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_29"},{"key":"e_1_3_2_1_8_1","unstructured":"Lattmann Zs. Nagel A. Scott J. Smyth K. vanBuskirk C. Porter J. Neema S. Bapty T. Sztipanovits J.: \"Towards Automated Evaluation of Vehicle Dynamics in System-Level Design \" Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2012 August 12--15 2012 Chicago IL  Lattmann Zs. Nagel A. Scott J. Smyth K. vanBuskirk C. Porter J. Neema S. Bapty T. Sztipanovits J.: \"Towards Automated Evaluation of Vehicle Dynamics in System-Level Design \" Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC\/CIE 2012 August 12--15 2012 Chicago IL"},{"key":"e_1_3_2_1_9_1","first-page":"653","volume-title":"Reasoning about Metamodeling with Formal Specifications and Automatic Proofs,\" in Model Driven Engineering Languages and Systems","author":"Jackson T.","year":"2011","unstructured":"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\u00fchne, Eds . Berlin, Heidelberg : Springer Berlin Heidelberg , 2011 , pp. 653 -- 667 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\u00fchne, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011, pp. 653--667"},{"key":"e_1_3_2_1_10_1","first-page":"451","volume-title":"Formalizing the Structural Semantics of Domain-Specific Modeling Languages,\" Journal of Software and Systems Modeling","author":"Jackson E.","year":"2009","unstructured":"Jackson , E. , Sztipanovits , J. : ' Formalizing the Structural Semantics of Domain-Specific Modeling Languages,\" Journal of Software and Systems Modeling pp. 451 -- 478 , September 2009 Jackson, E., Sztipanovits, J.: 'Formalizing the Structural Semantics of Domain-Specific Modeling Languages,\" Journal of Software and Systems Modeling pp. 451--478, September 2009"},{"key":"e_1_3_2_1_11_1","first-page":"1105","volume-title":"Aug. 2012","author":"de Weck","unstructured":"O. L. de Weck , \"Feasibility of a 5x speedup in system development due to meta design,\" in 32nd ASME Computers and Information in Engineering Conference , Aug. 2012 , pp. 1105 -- 1110 O. L. de Weck, \"Feasibility of a 5x speedup in system development due to meta design,\" in 32nd ASME Computers and Information in Engineering Conference, Aug. 2012, pp. 1105--1110"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68855-6_1"}],"event":{"name":"DAC '15: The 52nd Annual Design Automation Conference 2015","sponsor":["SIGDA ACM Special Interest Group on Design Automation"],"location":"San Francisco California","acronym":"DAC '15"},"container-title":["Proceedings of the 52nd Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747922","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2744769.2747922","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:36Z","timestamp":1750227156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747922"}},"subtitle":["lessons learned"],"short-title":[],"issued":{"date-parts":[[2015,6,7]]},"references-count":12,"alternative-id":["10.1145\/2744769.2747922","10.1145\/2744769"],"URL":"https:\/\/doi.org\/10.1145\/2744769.2747922","relation":{},"subject":[],"published":{"date-parts":[[2015,6,7]]},"assertion":[{"value":"2015-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}