{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T15:04:06Z","timestamp":1777129446816,"version":"3.51.4"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["#FA-8650-10-C-7075"],"award-info":[{"award-number":["#FA-8650-10-C-7075"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["#FA8650-10-C-7082"],"award-info":[{"award-number":["#FA8650-10-C-7082"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["#HR0011-12-C-0008"],"award-info":[{"award-number":["#HR0011-12-C-0008"]}],"id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["# CNS-1035655"],"award-info":[{"award-number":["# CNS-1035655"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/jproc.2018.2838530","type":"journal-article","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T18:43:17Z","timestamp":1530038597000},"page":"1501-1526","source":"Crossref","is-referenced-by-count":39,"title":["Model and Tool Integration Platforms for Cyber\u2013Physical System Design"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8360-6299","authenticated-orcid":false,"given":"Janos","family":"Sztipanovits","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ted","family":"Bapty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0923-6293","authenticated-orcid":false,"given":"Xenofon","family":"Koutsoukos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zsolt","family":"Lattmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandeep","family":"Neema","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ethan","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref70","year":"0"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2007.4339280"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1976.4309434"},{"key":"ref33","author":"lee","year":"0","journal-title":"Introduction to Embedded Systems—A Cyber-Physical Systems Approach"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref31","article-title":"Diversely enumerating system-level architectures","author":"jackson","year":"2013","journal-title":"Proc EMSOFT"},{"key":"ref30","year":"0"},{"key":"ref37","year":"2010","journal-title":"Modelica Association Modelica—A Unified Object-Oriented Language for Physical Systems Modeling Language Specification Version 3 2"},{"key":"ref36","year":"0"},{"key":"ref35","article-title":"The ESMoL language and tools for high-confidence distributed control systems design. Part 1: Design language, modeling framework, and analysis","author":"porter","year":"2010"},{"key":"ref34","year":"0"},{"key":"ref60","article-title":"Design space exploration and manipulation for cyber physical systems","author":"neema","year":"2014","journal-title":"Proc IFIP 1st Int Workshop Design Space Exploration Cyber-Phys Syst (IDEAL)"},{"key":"ref62","article-title":"Object constraint language (OCL): A definitive guide","volume":"7320","author":"gogolla","year":"2012","journal-title":"Proc 12th Int School Formal Methods Design Comput Commun Softw Syst"},{"key":"ref61","first-page":"353","article-title":"Verification and design exploration through meta tool integration with OpenModelica","author":"lattmann","year":"2014","journal-title":"Proc 10th Int Modelica Conf"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref28","first-page":"15","article-title":"Collaborative design in DARPA’s FANG I challenge","volume":"12","author":"myers","year":"2013","journal-title":"Proc ASME Int Mech Eng Congr Expo Syst Design"},{"key":"ref64","first-page":"99","article-title":"Temporal and modal logic","author":"emerson","year":"1990","journal-title":"Handbook of Theoretical Computer Science Volume B Formal Models and Sematics"},{"key":"ref27","year":"0"},{"key":"ref65","article-title":"Composition and compositionality ion CPS","author":"sztipanovits","year":"2017","journal-title":"Handbook of System Safety and Security Cyber Risk and Risk Management Cyber Security Threat Analysis Functional Safety Software Systems and Cyber Physical Systems"},{"key":"ref66","first-page":"235","article-title":"Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems","author":"neema","year":"2014","journal-title":"Proc 10th Int Modelica Conf"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"93","DOI":"10.4173\/mic.2014.2.3","article-title":"Integrated debugging of Modelica models","volume":"35","author":"adrian","year":"2014","journal-title":"Model Identif Control"},{"key":"ref67","first-page":"2051","article-title":"A surrogate modeling and adaptive sampling toolbox for computer based design","volume":"11","author":"gorissen","year":"2010","journal-title":"J Mach Learn Res"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1198\/jasa.2008.s219"},{"key":"ref69","first-page":"157","article-title":"Order and indeterminism: An Info-Gap perspective","author":"ben-haim","year":"2014","journal-title":"Error and Uncertainty in Scientific Practice"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2471838"},{"key":"ref20","first-page":"1","year":"2010","journal-title":"Standard for Modeling and Simulation High Level Architecture-Framework and Rules"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1109\/JPROC.2006.890107","article-title":"Quo vadis, SLD? Reasoning about the trends and challenges of system level design","volume":"95","author":"sangiovanni-vincentelli","year":"2007","journal-title":"Proc IEEE"},{"key":"ref21","article-title":"VehicleFORGE: A cloud-based infrastructure for collaborative model-based design","volume":"1118","author":"juracz","year":"2014","journal-title":"Proc 2nd Int Workshop Model-Driven Eng High Perform Cloud Comput (MDHPCL) 16th Int Conf Model Driven Engineering Languages and Systems (MODELS)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0105-0"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24485-8_48"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-6488-3_19"},{"key":"ref50","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-31424-7_56","article-title":"HybridSAL relational abstracter","author":"tiwari","year":"2012","journal-title":"Computer Aided Verification"},{"key":"ref51","first-page":"71","article-title":"Fault augmented Modelica models","author":"de kleer","year":"2013","journal-title":"Proc 24th Int Workshop Princ Diagnosis"},{"key":"ref59","doi-asserted-by":"crossref","first-page":"290","DOI":"10.1007\/978-3-540-45212-6_19","article-title":"Constraint-based design-space exploration and model synthesis","author":"neema","year":"2003","journal-title":"Proc 1st Int Workshop Embedded Software"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/566225.513835"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1155\/2000\/74708"},{"key":"ref56","doi-asserted-by":"crossref","DOI":"10.1145\/136035.136043","article-title":"Symbolic manipulation with ordered binary decision diagrams","author":"bryant","year":"1992"},{"key":"ref55","article-title":"An analysis-driven rapid design process for cyber-physical systems","author":"lattmann","year":"2016"},{"key":"ref54","first-page":"377","article-title":"Sensitivity analysis as an ingredient of modeling","volume":"54","author":"saltelli","year":"2000","journal-title":"Stat Sci"},{"key":"ref53","article-title":"Multi-stage uncertainty quantification for verifying the correctness of complex system designs","author":"hoyle","year":"2011","journal-title":"Proc ASME Design Engineering Tech Conf"},{"key":"ref52","article-title":"A simulation and modeling based reliability requirements assessment methodology","author":"honda","year":"2014","journal-title":"Proc ASME Int Des Eng Tech Conf & Comp Inf Eng Conf"},{"key":"ref10","author":"d\u2019ambrosio","year":"2013","journal-title":"Comprehensive transitioning model for AVM tools"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1145\/1142980.1142982","article-title":"System level design paradigms: Platform-based design and communication synthesis","volume":"11","author":"pinto","year":"2004","journal-title":"ACM Trans Design Autom Electron Syst"},{"key":"ref40","article-title":"Model-based automotive control design using port-Hamiltonian systems","author":"dai","year":"2015","journal-title":"Proc Int Conf Complex Syst Eng (ICCSE)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"ref13","article-title":"Towards automated evaluation of vehicle dynamics in system-level designs","author":"lattmann","year":"2012","journal-title":"Proc ASME Int Design Eng Techn Conf Comput Inf Eng Conf IDETC\/CIE"},{"key":"ref14","article-title":"Foundation for model integration: Semantic backplane","author":"simko","year":"2012","journal-title":"Proc ASME Int Design Eng Techn Conf Comput Inf Eng Conf IDETC\/CIE"},{"key":"ref15","article-title":"Towards automated exploration and assembly of vehicle design models","author":"wrenn","year":"2012","journal-title":"Proc ASME Int Design Eng Techn Conf Comput Inf Eng Conf IDETC\/CIE"},{"key":"ref16","first-page":"50","article-title":"The model-integrated computing toolsuite: Metaprogrammable tools for embedded control system design","author":"karsai","year":"2006","journal-title":"Proc Comput Aided Control Syst Design Int Conf Control Appl Int Symp Intell Control"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.62"},{"key":"ref18","year":"0"},{"key":"ref19","year":"0"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2484060"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2453253"},{"key":"ref6","first-page":"1","article-title":"Design tool chain for cyber-physical systems: Lessons learned","volume":"15","author":"sztipanovits","year":"2015","journal-title":"Proc 52nd ACM\/EDAC\/IEEE DAC"},{"key":"ref5","article-title":"Philosophical underpinnings of adaptive vehicle make","volume":"1","author":"paul","year":"2011"},{"key":"ref8","first-page":"32","article-title":"Complex system design through crowdsourcing: DARPA FANG–1 as a case study","volume":"21","author":"de weck","year":"2014","journal-title":"Indust Eng Mag"},{"key":"ref7","author":"spencer","year":"2013","journal-title":"This is the million-dollar design for DARPA’s crowdsourced swimming tank"},{"key":"ref49","author":"weld","year":"2013","journal-title":"Readings in Qualitative Reasoning About Physical Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2037771"},{"key":"ref46","article-title":"P: Safe asynchronous event-driven programming","author":"desai","year":"2013","journal-title":"Proc SIGPLAN Conf Programming Language Design and Implementation"},{"key":"ref45","article-title":"Higher-order program verification as satisfiability modulo theories with algebraic data-types","author":"bj\u00f8rner","year":"2013","journal-title":"Proc Workshop Higher-Order Program Anal (HOPA)"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2000.871299"},{"key":"ref47","first-page":"3","article-title":"Engineering domain-specific languages with FORMULA 2.0","author":"jackson","year":"2014","journal-title":"Proc ACM SIGAda Annu Conf High Integrity Lang Technol"},{"key":"ref42","first-page":"331","article-title":"Model integration in CPS","author":"simko","year":"2017","journal-title":"Cyber-physical system"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref44","first-page":"30","article-title":"A framework for unambiguous and extensible specification of DSMLs for cyber-physical systems","author":"simko","year":"2013","journal-title":"Proc IEEE 20th Int Conf Workshops Eng Comput Based Syst (ECBS)"},{"key":"ref43","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-41533-3_29","article-title":"Specification of cyber-physical components with formal semantics—Integration and composition","author":"simko","year":"2013","journal-title":"Proc ACM\/IEEE 19th Int Conf Model Driven Eng Lang Syst"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8466984\/8396214-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08396214.pdf?arnumber=8396214","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:55:55Z","timestamp":1649444155000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8396214\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":70,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2838530","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}