{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:09:47Z","timestamp":1729652987746,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/isorc.2013.6913210","type":"proceedings-article","created":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T20:48:11Z","timestamp":1412801291000},"page":"1-8","source":"Crossref","is-referenced-by-count":7,"title":["Deterministic implementation of periodic-delayed communications and experimentation in AADL"],"prefix":"10.1109","author":[{"given":"Fabien","family":"Cadoret","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Robert","sequence":"additional","affiliation":[]},{"given":"Etienne","family":"Borde","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Pautet","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1993.393500"},{"key":"15","article-title":"A definition and classification of timing anomalies","author":"reineke","year":"2006","journal-title":"WCET"},{"journal-title":"SAE Architecture Analysis & Design Language v2 0 (AS5506)","year":"2008","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ESLsyn.2011.5952285"},{"key":"14","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3233\/FI-2011-415","article-title":"From concurrent multi-clock programs to deterministic asynchronous implementations","volume":"108","author":"potop-butucaru","year":"2011","journal-title":"Fundam Inform"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/40.16792"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2011.38"},{"key":"3","article-title":"Design patterns for rule-based refinement of safety critical embedded systems models","author":"cadoret","year":"2012","journal-title":"ICECCS"},{"key":"2","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BFb0055011","article-title":"The ravenscar tasking profile for high integrity real-time programs","volume":"1411","author":"burns","year":"1998","journal-title":"Reliable Software Technologies Ada-Europe Ser Lecture Notes in Computer Science"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/253145.253159"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"7","first-page":"166","article-title":"Giotto: A time-triggered language for embedded programming","author":"henzinger","year":"2000","journal-title":"Proceedings of the IEEE"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.20"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2007.51"},{"key":"4","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1145\/1066677.1066881","article-title":"Realtime task scheduling anomaly: Observations and prevention","author":"chen","year":"2005","journal-title":"Sac"},{"key":"9","first-page":"303","article-title":"Improving waitfree algorithms for interprocess communication in embedded real-time systems","author":"huang","year":"2002","journal-title":"Proceedings of the General Track of USENIX Annual Technical Conference"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/161468.161469"}],"event":{"name":"2013 IEEE 16th International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing (ISORC)","start":{"date-parts":[[2013,6,19]]},"location":"Paderborn, Germany","end":{"date-parts":[[2013,6,21]]}},"container-title":["16th IEEE International Symposium on Object\/component\/service-oriented Real-time distributed Computing (ISORC 2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6906723\/6913188\/06913210.pdf?arnumber=6913210","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T04:15:51Z","timestamp":1689567351000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6913210\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/isorc.2013.6913210","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}