{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T12:27:50Z","timestamp":1756384070494,"version":"3.28.0"},"reference-count":33,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/seams.2012.6224393","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T19:34:37Z","timestamp":1341862477000},"page":"73-82","source":"Crossref","is-referenced-by-count":12,"title":["Timing constraints for runtime adaptation in real-time, networked embedded systems"],"prefix":"10.1109","author":[{"given":"Marc","family":"Zeller","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Communication Systems ESK, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Prehofer","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Communication Systems ESK, Munich, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457184"},{"key":"17","first-page":"13","article-title":"Task migration mechanisms for hard real-time distributed system","author":"megel","year":"2011","journal-title":"Work-In-Progress Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2011)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/367701.367728"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/NOTERE.2010.5536646"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2006.44"},{"journal-title":"Modeling Analysis and Optimization of Automotive Networks","year":"2010","author":"lukasiewycz","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2010.16"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2009.2039550"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69295-9_7"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2011.18"},{"journal-title":"CAN Specification Version 2 0","year":"1991","key":"21"},{"journal-title":"Optimisation of the Allocation of Functions in Vehicle Networks","year":"2006","author":"hardung","key":"20"},{"key":"22","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The Sat4j library, release 2.2 system description","volume":"7","author":"le berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"journal-title":"PDDL - the planning domain definition language","year":"1998","author":"ghallab","key":"23"},{"key":"24","article-title":"The SGPlan planning system in IPC-6","author":"hsu","year":"2008","journal-title":"Sixth Planning Competition (IPC6)"},{"key":"25","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1613\/jair.1144","article-title":"The Metric-FF Planning System: Translating Ignoring Delete Lists\" to Numeric State Variables","volume":"20","author":"hoffmann","year":"2003","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"26","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The Sat4j library, release 2.2 system description","volume":"7","author":"le berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"27","first-page":"459","article-title":"Self-adaptation in automotive embedded systems using a multi-layered control approach","author":"zeller","year":"0","journal-title":"PECCS 2012 - Proceedings of the 2nd International Conference on Pervasive and Embedded Computing and Communication Systems 2012"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1462728.1462731"},{"key":"29","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/978-3-540-24774-6_6","article-title":"Correctness of component-based adaptation","volume":"3054","author":"kulkarni","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1982185.1982239"},{"key":"2","article-title":"A generic framework for the engineering of self-adaptive and self-organising systems","author":"serugendo","year":"2008","journal-title":"Organic Computing - Controlled Self-organization"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/WORDS.2005.31"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.48"},{"key":"30","first-page":"109","article-title":"TA-LTL: Specifying Adaptation Timing Properties in Autonomic Systems","author":"zhou","year":"0","journal-title":"Proceedings of the Third IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe 2006) 2006"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582135"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1998.671114"},{"key":"32","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-540-73551-9_17","article-title":"Experience with safe dynamic reconfigurations in componentbased embedded systems","volume":"4608","author":"polakovic","year":"2007","journal-title":"Lecture Notes in Computer Science"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1985.232231"},{"key":"31","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/978-3-642-16576-4_4","article-title":"Designing self-healing in automotive systems","volume":"6407","author":"seebach","year":"2010","journal-title":"Lecture Notes in Computer Science"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.5772\/13559"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2005.25"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2011.19"}],"event":{"name":"2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)","start":{"date-parts":[[2012,6,4]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,5]]}},"container-title":["2012 7th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220308\/6224384\/06224393.pdf?arnumber=6224393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T04:22:02Z","timestamp":1623126122000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6224393\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":33,"URL":"https:\/\/doi.org\/10.1109\/seams.2012.6224393","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}