{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T13:03:51Z","timestamp":1774357431262,"version":"3.50.1"},"reference-count":48,"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:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"},{"start":{"date-parts":[[2018,9,1]],"date-time":"2018-09-01T00:00:00Z","timestamp":1535760000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100007245","name":"Microelectronics Advanced Research Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100007245","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1446619"],"award-info":[{"award-number":["1446619"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006978","name":"University of California Berkeley","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006978","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Denso, Ford, National Instruments, and Toyota"},{"DOI":"10.13039\/501100004907","name":"IHI","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004907","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004830","name":"Siemens","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004830","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006761","name":"Bureau of Educational and Cultural Affairs","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006761","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.2812598","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T18:37:36Z","timestamp":1537209456000},"page":"1527-1542","source":"Crossref","is-referenced-by-count":31,"title":["A Component Architecture for the Internet of Things"],"prefix":"10.1109","volume":"106","author":[{"given":"Christopher","family":"Brooks","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5442-3098","authenticated-orcid":false,"given":"Chadlia","family":"Jerad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1450-5248","authenticated-orcid":false,"given":"Hokeun","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5023-9157","authenticated-orcid":false,"given":"Victor","family":"Nouvelletz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beth","family":"Osyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7798-9844","authenticated-orcid":false,"given":"Matt","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","article-title":"Calvin—Merging cloud and IoT","author":"persson","year":"2015","journal-title":"Proc 4th Int Conf Ambient Syst Netw Technol (ANT)"},{"key":"ref38","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0065-2458(08)60208-9","article-title":"Coordination models and languages","volume":"46","author":"papadopoulos","year":"1998","journal-title":"Adv Comput"},{"key":"ref33","first-page":"10:1","article-title":"Intel software guard extensions (Intel SGX) support for dynamic memory management inside an enclave","author":"mckeen","year":"2016","journal-title":"Proc Hardw Archit Support Secur Privacy"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2011.08.007"},{"key":"ref31","article-title":"On the schedulability of real-time discrete-event systems","author":"matsikoudis","year":"2013","journal-title":"Proc Int'l Conf Embedded Software (EMSOFT '06)"},{"key":"ref30","first-page":"20","article-title":"An interface theory for the Internet of Things","volume":"9276","author":"lohstroh","year":"0","journal-title":"Proceedings Software Engineering and Formal Methods (SEFM)"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.17487\/rfc4120"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2896587"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2160718.2160735"},{"key":"ref10","first-page":"239","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":"ref40","author":"ptolemaeus","year":"2012","journal-title":"System Design Modeling and Simulation Using Ptolemy II"},{"key":"ref11","first-page":"137","article-title":"MapReduce: Simplified data processing on large clusters","author":"dean","year":"2004","journal-title":"Proc of the 5th Symp on Oper Syst Design and Implementation (OSDI)"},{"key":"ref12","author":"deutsch","year":"2017","journal-title":"Comp Lang Visual FAQ"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2161237"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3552-9"},{"key":"ref16","article-title":"Green lights forever: Analyzing the security of traffic infrastructure","author":"ghena","year":"2014","journal-title":"Proceedings of USENIX Workshop on Offensive Technologies (WOOT)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"ref18","article-title":"A JavaScript extension providing deterministic temporal semantics for the Internet of Things","author":"jerad","year":"2017"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MITP.2017.3680960"},{"key":"ref28","first-page":"1","article-title":"The emergence of networking abstractions and techniques in TinyOS","author":"levis","year":"2004","journal-title":"Proc 1st USENIX Symp Netw Syst Design Implement (NSDI '04)"},{"key":"ref4","first-page":"15","article-title":"Regular programming for quantitative properties of data streams","volume":"9632","author":"alur","year":"0","journal-title":"Proc Eur Symp Programm Lang Syst"},{"key":"ref27","author":"lee","year":"2017","journal-title":"Introduction to Embedded Systems—A Cyber–Physical Systems Approach"},{"key":"ref3","article-title":"PILOT: An actor-oriented learning and optimization toolkit for robotic swarm applications","author":"akkaya","year":"2015","journal-title":"Proc 2nd Int Workshop Robot Sensor Netw (RSN)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2016.108"},{"key":"ref29","author":"lipp","year":"2018","journal-title":"Meltdown"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref8","article-title":"Discrete-event systems: Generalizing metric spaces and fixed point semenatics","author":"cataldo","year":"2005"},{"key":"ref7","author":"cassandras","year":"1993","journal-title":"Discrete Event Systems Modeling and Performance Analysis"},{"key":"ref2","article-title":"Data-driven cyber-physical systems via real-time stream analytics and machine learning","author":"akkaya","year":"2016"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2518037.2491245"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","author":"agha","year":"1986","journal-title":"Actors A Model of Concurrent Computation in Distributed Systems"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/2809695.2817864"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1145\/3054977.3054980","article-title":"A toolkit for construction of authorization service infrastructure for the Internet of Things","author":"kim","year":"2017","journal-title":"Proc Int Conf Internet-Things Design Implement (IoTDI)"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/253769.253801"},{"key":"ref48","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/RTAS.2007.5","article-title":"A programming model for time-synchronized distributed real-time systems","author":"zhao","year":"2007","journal-title":"Proc IEEE Real-Time and Embedded Technology and Applications Symp (RTAS)"},{"key":"ref22","author":"kocher","year":"2018","journal-title":"Spectre Attacks Exploiting Speculative Execution"},{"key":"ref47","author":"zeigler","year":"1976","journal-title":"Theory of Modeling and Simulation"},{"key":"ref21","first-page":"114","article-title":"A secure network architecture for the Internet of Things based on local authorization entities","author":"kim","year":"2016","journal-title":"Proc 4th IEEE Int Conf Future Internet Things Cloud"},{"key":"ref42","article-title":"OpenCV.js: Computer vision processing for the Web","author":"taheri","year":"2017"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2015.17"},{"key":"ref41","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":"ref23","author":"lanier","year":"2013","journal-title":"Who Owns the Future"},{"key":"ref44","first-page":"28","author":"wegner","year":"1996","journal-title":"Coordination as Constrained Interaction (Extended Abstract)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.180"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1992.753322"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018998524196"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8466984\/8343871-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08343871.pdf?arnumber=8343871","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\/8343871\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":48,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2812598","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}