{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:28:06Z","timestamp":1774801686000,"version":"3.50.1"},"reference-count":156,"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\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1553757"],"award-info":[{"award-number":["1553757"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1645964"],"award-info":[{"award-number":["1645964"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1646381"],"award-info":[{"award-number":["1646381"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1646641"],"award-info":[{"award-number":["1646641"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1646641"],"award-info":[{"award-number":["1646641"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1724341"],"award-info":[{"award-number":["1724341"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000083","name":"Directorate for Computer and Information Science and Engineering","doi-asserted-by":"publisher","award":["1739816"],"award-info":[{"award-number":["1739816"]}],"id":[{"id":"10.13039\/100000083","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-14-1-0815"],"award-info":[{"award-number":["N00014-14-1-0815"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-14-1-0816"],"award-info":[{"award-number":["N00014-14-1-0816"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Camozzi Group and the Toyota InfoTechnology Center"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/jproc.2018.2864271","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T18:37:36Z","timestamp":1537209456000},"page":"1484-1500","source":"Crossref","is-referenced-by-count":34,"title":["Codesign Methodologies and Tools for Cyber\u2013Physical Systems"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7700-4099","authenticated-orcid":false,"given":"Qi","family":"Zhu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1298-8389","authenticated-orcid":false,"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","first-page":"39","author":"mihal","year":"2003","journal-title":"Mapping Concurrent Applications onto Architectural Platforms"},{"key":"ref38","first-page":"522","article-title":"A layered, codesign virtual machine approach to modeling computer systems","author":"paul","year":"2002","journal-title":"Proc Conf Design Autom Test Eur"},{"key":"ref33","first-page":"10340","article-title":"System design using kahn process networks: The compaan\/Laura approach","author":"stefanov","year":"2004","journal-title":"Proc Conf Design Autom Test Eur"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289935"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.27"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1145\/944691.944692","article-title":"Verification of design decisions in ForSyDe","author":"raudvere","year":"2003","journal-title":"Proc IEEE\/ACM\/IFIP Int Conf Hardw \/Softw Codesign Syst Synth"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/581199.581216"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1145\/944691.944693","article-title":"A multiobjective optimization model for exploring multiprocessor mappings of process networks","author":"erbas","year":"2003","journal-title":"Proc IEEE\/ACM\/IFIP Int Conf Hardw \/Softw Codesign Syst Synth"},{"key":"ref34","first-page":"31","article-title":"System level design with Spade: An M-JPEG case study","author":"lieverse","year":"2001","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design"},{"key":"ref28","year":"0","journal-title":"Model integrated computing"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805824"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2838530"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2512265"},{"key":"ref22","first-page":"77","article-title":"Execution strategies for ptides, a programming model for distributed embedded systems","author":"zou","year":"2009","journal-title":"Proc IEEE Real-Time and Embedded Technol and Appl Symp"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2007.5"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.18.217-238"},{"key":"ref23","first-page":"209","article-title":"PtidyOS: A lightweight microkernel for ptides real-time systems","author":"zou","year":"2012","journal-title":"Proc IEEE Real-Time and Embedded Technol and Appl Symp"},{"key":"ref101","doi-asserted-by":"crossref","first-page":"927","DOI":"10.7873\/DATE.2013.195","article-title":"Using explicit output comparisons for fault tolerant scheduling (FTS) on modern high-performance processors","author":"gao","year":"2013","journal-title":"Proc DATE"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"ref100","first-page":"1319","article-title":"Robust and extensible task implementations of synchronous finite state machines","author":"zhu","year":"2013","journal-title":"Proc Design Autom Test Eur Conf Exhibition (DATE)"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/2.585163"},{"key":"ref50","year":"0","journal-title":"SCADE"},{"key":"ref51","first-page":"1666","article-title":"A model-based design methodology for cyber-physical systems","author":"jensen","year":"2011","journal-title":"Proc 7th Int Wireless Commun Mobile Comput Conf (IWCMC)"},{"key":"ref154","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2008.06.013"},{"key":"ref153","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2012.02.049"},{"key":"ref156","first-page":"6771","article-title":"FFNet: Video fast-forwarding via reinforcement learning","author":"lan","year":"2018","journal-title":"Proc IEEE Conf Comput Vis Pattern Recognit (CVPR)"},{"key":"ref155","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2004.09.009"},{"key":"ref150","first-page":"1","article-title":"Deep reinforcement learning for building HVAC control","author":"wei","year":"2017","journal-title":"Proc 54th ACM\/EDAC\/IEEE Design Autom Conf (DAC)"},{"key":"ref152","first-page":"449","article-title":"A dynamic machine learning-based technique for automated fault detection in HVAC systems","volume":"117","author":"wall","year":"2011","journal-title":"ASHRAE Trans"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2012.06.024"},{"key":"ref146","first-page":"271","article-title":"Model-based hierarchical optimal control design for hvac systems","author":"maasoumy","year":"2011","journal-title":"Proc Dyn Syst Control Conf"},{"key":"ref147","year":"0","journal-title":"Energy"},{"key":"ref148","first-page":"5118","article-title":"Building thermal model reduction via aggregation of states","author":"deng","year":"2010","journal-title":"Proc Amer Control Conf"},{"key":"ref149","article-title":"Reduced-order building modeling for application to model-based predictive control","author":"kim","year":"2012","journal-title":"Proc Simuild 5th Nat Conf (IBPSA-USA)"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_19"},{"key":"ref58","article-title":"The graph rewriting and transformation language: GReAT","volume":"1","author":"balasubramanian","year":"2006","journal-title":"Proc Electron Commun (EASST)"},{"key":"ref57","article-title":"UDM: An infrastructure for implementing domain-specific modeling languages","author":"magyari","year":"2003","journal-title":"Proc 3rd OOPSLA Workshop Domain-Specific Modeling (OOPSLA)"},{"key":"ref56","first-page":"82","article-title":"GME: The generic modeling environment","author":"davis","year":"2003","journal-title":"Proc Companion 18th Annu ACM SIGPLAN Conf Object-Oriented Program Syst Lang Appl (OOPSLA)"},{"key":"ref55","first-page":"1","article-title":"The generic modeling environment","volume":"17","author":"ledeczi","year":"2001","journal-title":"Proc Workshop Intell Signal Process"},{"key":"ref54","year":"0","journal-title":"Automakers Opting for Model-Based Design"},{"key":"ref53","year":"0","journal-title":"General Motors Developed Two-Mode Hybrid Powertrain With Mathworks Model-Based Design Cut 24 Months Off Expected Dev Time"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.30"},{"key":"ref40","article-title":"MILAN: A model based integrated simulation framework for design of embedded systems","author":"bakshi","year":"2001","journal-title":"Proceedings of Language Compilers and Tools for Embedded Systems"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c10"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1193228"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017765"},{"key":"ref5","first-page":"13","article-title":"Concurrent execution semantics and sequential simulation algorithms for the metropolis meta-model","author":"balarin","year":"2002","journal-title":"Proc Int Symp Hardw \/Softw Codesign (CODES)"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2435227.2435245"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.15"},{"key":"ref7","article-title":"A next-generation design framework for platform-based design","author":"davare","year":"2007","journal-title":"Proc Design and Verification Conf (DVCon 03)"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ESTMED.2005.1518081"},{"key":"ref46","year":"0","journal-title":"(Compositional analysis of Real-Time Systems)"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.36"},{"key":"ref48","first-page":"39","article-title":"RT-Xen: Towards real-time hypervisor scheduling in Xen","author":"xi","year":"2011","journal-title":"Proc Int'l Conf Embedded Software (EMSOFT '06)"},{"key":"ref47","first-page":"13","article-title":"Realizing compositional scheduling through virtualization","author":"lee","year":"2012","journal-title":"Proc IEEE Real-Time and Embedded Technol and Appl Symp"},{"key":"ref42","first-page":"6","article-title":"Modular Specification of Hybrid Systems in CHARON","author":"alur","year":"2000","journal-title":"Proc 3rd Int Workshop Hybrid Syst Comput Control (HSCC)"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805825"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2004.15"},{"key":"ref127","doi-asserted-by":"publisher","DOI":"10.1145\/1795194.1795209"},{"key":"ref126","first-page":"601","article-title":"Automata based interfaces for control and scheduling","author":"weiss","year":"2007","journal-title":"Proc 10th Int Conf Hybrid Syst Comput Control (HSCC)"},{"key":"ref125","doi-asserted-by":"publisher","DOI":"10.1109\/87.998034"},{"key":"ref124","doi-asserted-by":"crossref","first-page":"1650","DOI":"10.1109\/TAC.2004.835360","article-title":"Input-output stability properties of networked control systems","volume":"49","author":"ne\u0161i?","year":"2004","journal-title":"IEEE Trans Autom Control"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039550"},{"key":"ref72","year":"2015","journal-title":"Consolidation in Vehicle Electronic Architectures"},{"key":"ref129","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6315376"},{"key":"ref71","year":"2013","journal-title":"The Road to 2020 and Beyond-What’s Driving the Global Automotive Industry"},{"key":"ref128","first-page":"211","article-title":"Robust discrete synthesis against unspecified disturbances","author":"majumdar","year":"0","journal-title":"Proc 14th Int Conf Hybrid Syst Comput Control (HSCC)"},{"key":"ref70","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":"ref76","author":"astr\u00f6m","year":"2007","journal-title":"Computer-Controlled Systems Theory and Design"},{"key":"ref130","first-page":"3","article-title":"On the benefits of relaxing the periodicity assumption for networked control systems over CAN","author":"anta","year":"2009","journal-title":"Proc IEEE Real-Time Systems Symp (RTSS)"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1996.563693"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.45"},{"key":"ref133","first-page":"1","article-title":"Design and verification for transportation system security","author":"zheng","year":"2015","journal-title":"Proc 52nd ACM\/EDAC\/IEEE Design Autom Conf (DAC)"},{"key":"ref134","first-page":"1","article-title":"CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles","author":"zheng","year":"2016","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2010.2042980"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090633"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2779456"},{"key":"ref79","first-page":"95","article-title":"Dynamic scheduling and control-quality optimization of self-triggered control applications","author":"samii","year":"2010","journal-title":"Proc IEEE Real-Time Syst Symp (RTSS)"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1613\/jair.2502"},{"key":"ref135","first-page":"1","article-title":"Delay-aware design, analysis and verification of intelligent intersection management","author":"zheng","year":"2017","journal-title":"Proc Int Conf Smart Comput (SMARTCOMP)"},{"key":"ref138","first-page":"1","article-title":"STIP: Spatio-temporal intersection protocols for autonomous vehicles","author":"azimi","year":"2014","journal-title":"Proc ACM\/IEEE 5th Int Conf Cyber-Phys Syst (CPS Week) ICCPS"},{"key":"ref137","first-page":"932","article-title":"Advanced intersection management for connected vehicles using a multi-agent systems approach","author":"jin","year":"2012","journal-title":"Proc IEEE Intell Vehicles Symp (IV)"},{"key":"ref60","article-title":"Design space exploration and manipulation for cyber physical systems","author":"neema","year":"2014","journal-title":"Proc 1st Int Workshop Design Space Explor Cyber-Phys Syst (IDEAL)"},{"key":"ref139","first-page":"1","article-title":"Reliable intersection protocols using vehicular networks","author":"azimi","year":"2013","journal-title":"Proc ACM\/IEEE 4th Int Conf Cyber-Phys Syst"},{"key":"ref62","first-page":"1131","article-title":"Towards automated evaluation of vehicle dynamics in system-level designs","author":"lattmann","year":"2012","journal-title":"Proc ASME Int Design Eng Tech Conf Comput Inf Eng Conf (IDETC\/CIE)"},{"key":"ref61","first-page":"353","article-title":"Verification and design exploration through meta tool integration with openmodelica","author":"lattmann","year":"2014","journal-title":"Proc 10 th Int Modelica Conf"},{"key":"ref63","year":"2013","journal-title":"FORMULA 2 0 A Language for Formal Specifications"},{"key":"ref64","first-page":"245","article-title":"Using BIP to reinforce correctness of resource-constrained IoT applications","author":"lekidis","year":"2015","journal-title":"Proc 10th IEEE Int Symp Ind Embedded Syst (SIES)"},{"key":"ref140","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2015.01.006"},{"key":"ref65","first-page":"1","article-title":"Building distributed sensor network applications using BIP","author":"lekidis","year":"2015","journal-title":"Proc IEEE Sensors Appl Symp (SAS)"},{"key":"ref141","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735975"},{"key":"ref66","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.272.8","article-title":"DesignBIP: A design studio for modeling and generating systems with BIP","author":"mavridou","year":"2018"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1109\/INFCOM.2013.6566955"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2495"},{"key":"ref143","first-page":"307","article-title":"On the reliability of safety message broadcast in urban vehicular ad hoc networks","author":"bastani","year":"2011","journal-title":"Proc 14th ACM Int Conf Model Anal Simulat Wireless Mobile Syst"},{"key":"ref68","year":"2014","journal-title":"Connected car automotive value chain unbound"},{"key":"ref144","first-page":"1","article-title":"How vulnerable is vehicular communication to physical layer jamming attacks?","author":"basciftci","year":"2015","journal-title":"Proc IEEE 82nd Veh Technol Conf (VTC-Fall)"},{"key":"ref2","article-title":"Platform-based design for embedded systems","author":"carloni","year":"2005","journal-title":"The Embedded Systems Handbook"},{"key":"ref69","article-title":"This car runs on code","author":"charette","year":"0","journal-title":"IEEE Spectrum"},{"key":"ref145","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1145\/2908080.2908117","article-title":"Verified lifting of stencil computations","author":"kamil","year":"2016","journal-title":"Proc 37th ACM SIGPLAN Conf Program Lang Design Implement (PLDI)"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"ref109","year":"2011","journal-title":"Time-Triggered Ethernet"},{"key":"ref95","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.831575"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2014.6871195"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref107","first-page":"278","article-title":"Period optimization for hard real-time distributed automotive systems","author":"davare","year":"2007","journal-title":"Proc Design Autom Conf (DAC)"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1986.6313045"},{"key":"ref106","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001325"},{"key":"ref92","first-page":"46","article-title":"The temporal logic of programs","author":"pnueli","year":"1977","journal-title":"Proc 18th Annu Symp Found Comput Sci"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691106"},{"key":"ref91","first-page":"1","article-title":"Contract-based design of control protocols for safety-critical cyber-physical systems","author":"nuzzo","year":"2014","journal-title":"Proc Design Autom Test Eur Conf Exhibition (DATE)"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1145\/2362336.2362352"},{"key":"ref90","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.40"},{"key":"ref102","first-page":"10","article-title":"Addressing extensibility and fault tolerance in can-based automotive systems","author":"liang","year":"2017","journal-title":"Proc IEEE\/ACM Int Symp Netw Chip (NoCS)"},{"key":"ref111","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2013.2275160"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1145\/2803174"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1145\/1629435.1629485"},{"key":"ref98","first-page":"275","article-title":"Optimizing extensibility in hard real-time distributed systems","author":"zhu","year":"2009","journal-title":"Proc 12th IEEE Real-Time and Embedded Technol Appl Symp (RTAS)"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2053938"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735972"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1109\/12.919277"},{"key":"ref10","first-page":"478","article-title":"UMTS MPSoC design evaluation using a system level design framework","author":"densmore","year":"2009","journal-title":"Proc Design Autom Test Eur (DATE)"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.4271\/2006-01-1468"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2201130"},{"key":"ref13","first-page":"1","article-title":"Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems","author":"guo","year":"2014","journal-title":"Proc Conf Hardw \/Softw Codes Syst Syn (CODES+ISSS)"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.26"},{"key":"ref15","year":"0","journal-title":"Simulink"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502542"},{"key":"ref16","year":"0","journal-title":"Modelica"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502533"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.904277"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref81","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2016.2557322"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"ref84","first-page":"1","article-title":"Battery management and application for energy-efficient buildings","author":"wei","year":"2014","journal-title":"Proc 51st ACM\/EDAC\/IEEE Design Autom Conf (DAC)"},{"key":"ref119","first-page":"360","article-title":"Optimal LQG control across packet-dropping links","author":"gupta","year":"2005","journal-title":"Syst Control Lett"},{"key":"ref19","first-page":"220","author":"kiczales","year":"1997","journal-title":"Aspect-Oriented Programming"},{"key":"ref83","first-page":"191","article-title":"Co-scheduling of HVAC control, EV charging and battery usage for building energy efficiency","author":"wei","year":"2014","journal-title":"Proc IEEE\/ACM Int Conf Comput -Aided Design (ICCAD)"},{"key":"ref114","doi-asserted-by":"publisher","DOI":"10.1145\/3185510"},{"key":"ref113","year":"0","journal-title":"Autosar"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735966"},{"key":"ref80","first-page":"1227","article-title":"Time-triggered implementations of mixed-criticality automotive software","author":"goswami","year":"2012","journal-title":"Proc Design Autom Test Eur Conf Exhibition (DATE)"},{"key":"ref115","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2523341"},{"key":"ref120","author":"nilsson","year":"1998","journal-title":"Real-time control systems with delays"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92188-2_9"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1109\/37.898794"},{"key":"ref122","first-page":"3354","article-title":"Optimal control with unreliable communication: The TCP case","volume":"5","author":"sinopoli","year":"2005","journal-title":"Proc Amer Control Conf"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2009.2014930"},{"key":"ref85","first-page":"1","article-title":"Co-scheduling of datacenter and HVAC loads in mixed-use buildings","author":"wei","year":"2016","journal-title":"Proc 7th IEEE Int Green Sustain Comput Conf"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2523937"},{"key":"ref87","article-title":"Contracts for system design","author":"benveniste","year":"2012"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502540"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8466984\/8466985-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08466985.pdf?arnumber=8466985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T18:43:34Z","timestamp":1662057814000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8466985\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":156,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2864271","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}