{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:48Z","timestamp":1750306728172,"version":"3.41.0"},"reference-count":23,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2014,11,25]],"date-time":"2014-11-25T00:00:00Z","timestamp":1416873600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGBED Rev."],"published-print":{"date-parts":[[2014,11,25]]},"abstract":"<jats:p>In a time-triggered system activities like releasing of tasks, mode switches, sensor readings are all initiated at predetermined points in real-time. This paper proposes an extension of a time-triggered compositional framework and presents, based on the widely-applied methods, a condition for its schedulability. The pessimism of this condition is then discussed and the new challenges in the compositional analysis of time-triggered systems are raised.<\/jats:p>","DOI":"10.1145\/2692385.2692393","type":"journal-article","created":{"date-parts":[[2014,11,26]],"date-time":"2014-11-26T14:51:56Z","timestamp":1417013516000},"page":"44-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Towards EDF schedulability analysis of an extended timing definition language"],"prefix":"10.1145","volume":"11","author":[{"given":"Tomasz","family":"Kloda","sequence":"first","affiliation":[{"name":"ONERA Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"d'Ausbourg","sequence":"additional","affiliation":[{"name":"ONERA Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Santinelli","sequence":"additional","affiliation":[{"name":"ONERA Toulouse"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,11,25]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1450058.1450080"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-92221-6_43"},{"key":"e_1_2_1_4_1","volume-title":"Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198\/90\/NL\/SF British Aerospace Systems Ltd","author":"Bailey C. M.","year":"1993","unstructured":"C. M. Bailey . Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198\/90\/NL\/SF British Aerospace Systems Ltd ., 1993 C. M. Bailey. Hard real-time operating system kernel. Investigation of mode change. Task 14 Deliverable on ESTSEC Contract 9198\/90\/NL\/SF British Aerospace Systems Ltd., 1993"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995675"},{"key":"e_1_2_1_6_1","volume-title":"Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)","author":"Buttazzo G. C.","year":"2004","unstructured":"G. C. Buttazzo . Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series) . Springer-Verlag TELOS , Santa Clara, CA, USA , 2004 . G. C. Buttazzo. Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series). Springer-Verlag TELOS, Santa Clara, CA, USA, 2004."},{"key":"e_1_2_1_7_1","first-page":"286","volume-title":"Anna. Elastic Task Model For Adaptive Rate Control. In IEEE Real-Time Systems Symposium","author":"Buttazzo G. C.","year":"1998","unstructured":"G. C. Buttazzo , L. Abeni , and S. S. S. Anna. Elastic Task Model For Adaptive Rate Control. In IEEE Real-Time Systems Symposium , pages 286 -- 295 , 1998 G. C. Buttazzo, L. Abeni, and S. S. S. Anna. Elastic Task Model For Adaptive Rate Control. In IEEE Real-Time Systems Symposium, pages 286--295, 1998"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.17"},{"key":"e_1_2_1_9_1","volume-title":"Department of Computer Science","author":"Farcas E.","year":"2006","unstructured":"E. Farcas . Scheduling Multi-Mode Real-Time Distributed Components . Ph D Thesis , Department of Computer Science , University of Salzburg , July 2006 . E. Farcas. Scheduling Multi-Mode Real-Time Distributed Components. PhD Thesis, Department of Computer Science, University of Salzburg, July 2006."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065910.1065915"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ESTIMedia.2011.6088519"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646787.703890"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24349-3_5"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"volume-title":"Mode Switching in GIA -- An ADA Based Real-Time Framework. Department of Scientific Computing","author":"Martinek N. F.","key":"e_1_2_1_15_1","unstructured":"N. F. Martinek and W. Pohlmann . Mode Switching in GIA -- An ADA Based Real-Time Framework. Department of Scientific Computing , University of Salzburg. N. F. Martinek and W. Pohlmann. Mode Switching in GIA -- An ADA Based Real-Time Framework. Department of Scientific Computing, University of Salzburg."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMWRTS.1998.685082"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0506-x"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000016129.97430.c6"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2011.12"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1874620.1874645"},{"key":"e_1_2_1_24_1","first-page":"101","volume-title":"Real-Time Calculus for Scheduling Hard Real-Time Systems. In The 27th Annual International Symposium on Computer Architecture(ISCA)","volume":"4","author":"Thiele L.","year":"2000","unstructured":"L. Thiele , S. Chakraborty , and M. Naedele . Real-Time Calculus for Scheduling Hard Real-Time Systems. In The 27th Annual International Symposium on Computer Architecture(ISCA) , volume 4 , pages 101 -- 104 vol.4, 2000 L. Thiele, S. Chakraborty, and M. Naedele. Real-Time Calculus for Scheduling Hard Real-Time Systems. In The 27th Annual International Symposium on Computer Architecture(ISCA), volume 4, pages 101--104 vol.4, 2000"},{"key":"e_1_2_1_25_1","volume-title":"Universidad Polit\u00e9cnica de Madrid","author":"Tindell K.","year":"1996","unstructured":"K. Tindell and A. Alonso . A very simple protocol for mode changes in priority preemptive systems. Technical report , Universidad Polit\u00e9cnica de Madrid , 1996 K. Tindell and A. Alonso. A very simple protocol for mode changes in priority preemptive systems. Technical report, Universidad Polit\u00e9cnica de Madrid, 1996"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242672"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2692385.2692393","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2692385.2692393","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:40Z","timestamp":1750231180000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2692385.2692393"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,11,25]]},"references-count":23,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2014,11,25]]}},"alternative-id":["10.1145\/2692385.2692393"],"URL":"https:\/\/doi.org\/10.1145\/2692385.2692393","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2014,11,25]]},"assertion":[{"value":"2014-11-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}