{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T16:36:17Z","timestamp":1791390977985,"version":"4.3.3"},"reference-count":80,"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\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["FOR1800"],"award-info":[{"award-number":["FOR1800"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["ER168\/32-1"],"award-info":[{"award-number":["ER168\/32-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["HE4584\/7-1"],"award-info":[{"award-number":["HE4584\/7-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1704859"],"award-info":[{"award-number":["CCF-1704859"]}],"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.2858023","type":"journal-article","created":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T18:37:36Z","timestamp":1537209456000},"page":"1543-1567","source":"Crossref","is-referenced-by-count":25,"title":["Platform-Centric Self-Awareness as a Key Enabler for Controlling Changes in CPS"],"prefix":"10.1109","volume":"106","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5486-4870","authenticated-orcid":false,"given":"Mischa","family":"Mostl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0654-4618","authenticated-orcid":false,"given":"Johannes","family":"Schlatow","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2414-9566","authenticated-orcid":false,"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nikil","family":"Dutt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmed","family":"Nassar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0725-1155","authenticated-orcid":false,"given":"Amir","family":"Rahmani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6982-365X","authenticated-orcid":false,"given":"Fadi J.","family":"Kurdahi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2455-3625","authenticated-orcid":false,"given":"Thomas","family":"Wild","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8042-6981","authenticated-orcid":false,"given":"Armin","family":"Sadighi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andreas","family":"Herkersdorf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790492"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503275"},{"key":"ref71","first-page":"468","article-title":"Lattice-based Boolean diagrams","author":"nassar","year":"2016","journal-title":"Asia South Pacific Design Autom Conf (ASP-DAC)"},{"key":"ref70","first-page":"137","article-title":"NUVA: Architectural support for runtime verification of parametric specifications over multicores","author":"nassar","year":"2015","journal-title":"Proc Int Conf Compil Archit Synthesis Embedded Syst"},{"key":"ref76","first-page":"317","article-title":"Dynamic control for mixed-critical networks-on-chip","author":"kostrzewa","year":"2015","journal-title":"Proc IEEE Real-Time Syst Symp"},{"key":"ref77","first-page":"719","article-title":"Dynamic admission control for real-time networks-on-chips","author":"kostrzewa","year":"2016","journal-title":"Asia South Pacific Design Autom Conf (ASP-DAC)"},{"key":"ref74","first-page":"1473","article-title":"Topaz: Mining high-level safety properties from logic simulation traces","author":"nassar","year":"2016","journal-title":"Proc Design Automation and Test Eur Conf (DATE)"},{"key":"ref39","first-page":"9","article-title":"Mixed-criticality support in a high-assurance, general-purpose microkernel","author":"lyons","year":"2014","journal-title":"Workshop on Mixed Criticality Systems"},{"key":"ref75","article-title":"PBPAIR: Probability based power aware intra refresh—A new energy-efficient error resilient coding scheme","author":"kim","year":"2005"},{"key":"ref38","first-page":"870","article-title":"Exploiting sporadic servers to provide budget scheduling for ARINC653 based real-time virtualization environments","author":"beckert","year":"2017","journal-title":"Proc Desing Automat Test Eur (DATE)"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2017.32"},{"key":"ref79","first-page":"103","article-title":"Providing Formal Latency Guarantees for ARQ-Based Protocols in Networks-on-Chip","author":"eberle a rambo","year":"2016","journal-title":"Design Automation Test in Europe Conference Exhibition (DATE)"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/1133373.1133376"},{"key":"ref32","first-page":"1120","article-title":"Handling complex dependencies in system design mischa","author":"moestl","year":"2016","journal-title":"Proceedings of the Design Automation and Test in Europe (DATE)"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2015.29"},{"key":"ref30","first-page":"172","article-title":"Response-time analysis for task chains with complex precedence and blocking relations","author":"schlatow","year":"2017","journal-title":"Proc ACM Int Conf Embedded Softw (EMSOFT)"},{"key":"ref37","year":"0","journal-title":"PikeOS Hypervisor"},{"key":"ref36","first-page":"1","article-title":"ARINC 653 role in integrated modular avionics (IMA)","author":"prisaznuk","year":"2008","journal-title":"IEEE\/AIAA 27th Digital Avionics Sys Conf"},{"key":"ref35","article-title":"Muen—An x86\/64 separation kernel for high assurance","author":"buerki","year":"2013"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1743546.1743574"},{"key":"ref60","first-page":"3","article-title":"Applying autonomic principles for workload management in multi-core systems on chip","author":"zeppenfeld","year":"2011","journal-title":"Proc 8th ACM Int Conf Auto Comput"},{"key":"ref62","author":"fromm","year":"2004","journal-title":"The Emergence of Complexity"},{"key":"ref61","author":"butz","year":"2006","journal-title":"Rule-Based Evolutionary Online Learning Systems—A Principled Approach to LCS Analysis and Design"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"ref28","first-page":"24","article-title":"Resource-efficient dynamic partial reconfiguration on FPGAs for space instruments","author":"d\u00f6rflinger","year":"2017","journal-title":"Proc NASA\/ESA Conf Adaptive Hardware and Syst (AHS)"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0130-0"},{"key":"ref27","first-page":"10","article-title":"Byzantine agreement service for cooperative wireless embedded systems","author":"xu","year":"2017","journal-title":"Proc 3rd Int Workshop Saf Secur Intell Vehicles (SSIV)"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2010.31"},{"key":"ref66","first-page":"625","article-title":"CyberPhysical-System-On-Chip (CPSoC): A self-aware MPSoC paradigm with cross-layer virtual sensing and actuation","author":"sarma","year":"2015","journal-title":"Proc Conf Design Autom Test Eur (DATE)"},{"key":"ref29","first-page":"1","article-title":"Response-time analysis for task chains in communicating threads","author":"schlatow","year":"2016","journal-title":"Proc IEEE Real-Time and Embedded Technol Appl Symp (RTAS)"},{"key":"ref67","article-title":"Cyber Physical-System-on-Chip (CPSoC): Sensor-actuator rich self-aware computational platform","author":"sarma","year":"2013"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"ref69","first-page":"4","article-title":"Cross-layer virtual observers for embedded multiprocessor system-on-chip (MPSoC)","author":"sarma","year":"2012","journal-title":"Adaptive and Reflective Middleware on Proceedings of the International Workshop"},{"key":"ref2","year":"2011"},{"key":"ref1","year":"2010"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CODES-ISSS.2013.6659021"},{"key":"ref22","year":"2006","journal-title":"ault Tree Analysis (FTA)"},{"key":"ref21","first-page":"3.1","article-title":"Sandboxing controllers for cyber-physical systems","author":"bak","year":"2011","journal-title":"Proc IEEE\/ACM Int Conf Cyber-Physical Syst (ICCPS)"},{"key":"ref24","first-page":"239","article-title":"An extensible autonomous reconfiguration framework for complex component-based embedded systems","author":"schlatow","year":"2015","journal-title":"Proc Int Conf Autono Comput (ICAC)"},{"key":"ref23","first-page":"1","article-title":"Cross-layer dependency analysis for safety-critical systems design","author":"moestl","year":"2015","journal-title":"Proc Arch Comput Syst"},{"key":"ref26","first-page":"31","article-title":"Towards comprehensive threat modeling for vehicles","author":"hamad","year":"2016","journal-title":"Proc Workshop Secur Dependab Crit Embedded Real-Time Syst (CERTS)"},{"key":"ref25","first-page":"8425","article-title":"Towards model-based integration of component-based automotive software systems","author":"schlatow","year":"2017","journal-title":"Proc IEEE Ind Electron Soc Annu Conf (IECON)"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47474-8_8"},{"key":"ref51","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-08915-7_2","article-title":"Mechanisms for leveraging models at runtime in self-adaptive software","author":"bennaceur","year":"2014","journal-title":"Models run time"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2009.41"},{"key":"ref58","first-page":"69","article-title":"Design and architectures for dependable embedded systems","author":"henkel","year":"2011","journal-title":"Proc 2nd IEEE\/ACM\/IFIP Int Conf Hardw \/Softw Codes Syst Synth (CODES+ISSS)"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1515\/itit-2014-1085"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2014.6871191"},{"key":"ref55","article-title":"Hazard analysis and risk assessment for an automated unmanned protective vehicle","volume":"abs 1704 6140","author":"stolte","year":"2017","journal-title":"CoRR"},{"key":"ref54","year":"2001","journal-title":"QNX Neutrino RTOS"},{"key":"ref53","first-page":"12","article-title":"CAML: Machine learning-based predictable, system-level anomaly detection","author":"song","year":"2016","journal-title":"Proc Workshop Secur Dependability Crit Embedded Real-Time Syst"},{"key":"ref52","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-08915-7_4","article-title":"Using models at runtime to address assurance for self-adaptive systems","author":"cheng","year":"2014","journal-title":"Models run time"},{"key":"ref10","author":"isermann","year":"2006","journal-title":"Fault-Diagnosis Systems An Introduction from Fault Detection to Fault Tolerance"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.concog.2005.09.006"},{"key":"ref40","article-title":"A kernel in a library: Genode’s Custom kernel approach","author":"stein","year":"2017","journal-title":"Proc of FOSDEM"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-39675-0","author":"lewis","year":"2016","journal-title":"Self-Aware Computing Systems An Engineering Approach"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SASOW.2011.25"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1837909.1837911"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2815400.2815403"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.32"},{"key":"ref17","article-title":"Architectural concepts for self-aware computing systems","author":"giese","year":"2017","journal-title":"Self-aware computing systems"},{"key":"ref18","first-page":"1","article-title":"A framework of awareness for artificial subjects","author":"jantsch","year":"2014","journal-title":"Proc Int Conf Hardw \/Softw Codesign Syst Synthesis (CODES-ISSS)"},{"key":"ref19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-1768-8_11","article-title":"System identification","author":"ljung","year":"1998","journal-title":"Signal Analysis and Prediction"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228409"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2594790"},{"key":"ref3","year":"2011","journal-title":"Software Considerations in Airborne Systems and Equipment Certification"},{"key":"ref6","year":"2015","journal-title":"ARINC specification 653-2 part I"},{"key":"ref5","author":"kopetz","year":"2011","journal-title":"Real-Time Systems Design Principles for Distributed Embedded Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref7","year":"2006"},{"key":"ref49","article-title":"SEEC: A general and extensible framework for self-aware computing","author":"hoffmann","year":"2011"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1272996.1273026"},{"key":"ref46","first-page":"21","article-title":"Predictable, efficient system-level fault tolerance in \n$\\text {C}^{3}$","author":"song","year":"2013","journal-title":"Proc IEEE 34th Real-Time Systems Symp"},{"key":"ref45","first-page":"155","article-title":"A policy-based communications architecture for vehicles","author":"prevelakis","year":"2015","journal-title":"Proc Int Conf Inf Syst Secur Privacy (ICISSP)"},{"key":"ref48","first-page":"1","article-title":"On platforms for CPS-adaptive, predictable and efficient","author":"thiele","year":"2016","journal-title":"Proc Int Symp Rapid Syst Prototyping (RSP)"},{"key":"ref47","first-page":"227","article-title":"SuperGlue: IDL-based, system-level fault tolerance for embedded systems","author":"song","year":"2016","journal-title":"Proc 46th Annu IEEE\/IFIP Int Conf Dependable Syst Networks (DSN)"},{"key":"ref42","article-title":"The state of composite","author":"song","year":"2013","journal-title":"Proc Annu Workshop Oper Syst Platforms Embedded Real-Time Appl"},{"key":"ref41","article-title":"GENODE. Operating system framework 18.05. Foundations","author":"feske","year":"2018"},{"key":"ref44","first-page":"11","article-title":"A communication framework for distributed access control in microkernel-based systems","author":"hamad","year":"2016","journal-title":"Proc Oper Syst Platforms Embedded Real-Time Appl"},{"key":"ref43","article-title":"CAmkES formalisation of a component platform","author":"fernandez","year":"2013"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielaam\/5\/8466984\/8466995-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/8466984\/08466995.pdf?arnumber=8466995","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\/8466995\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":80,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2018.2858023","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,9]]}}}