{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T00:15:38Z","timestamp":1756167338236,"version":"3.44.0"},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489576","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-8","source":"Crossref","is-referenced-by-count":12,"title":["An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows"],"prefix":"10.1109","author":[{"given":"Muhammad","family":"Adnan","sequence":"first","affiliation":[{"name":"Université de Toulouse\/IRIT\/ENSEEIHT\/INPT 2, rue Camichel, 31000 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Scharbarg","sequence":"additional","affiliation":[{"name":"Université de Toulouse\/IRIT\/ENSEEIHT\/INPT 2, rue Camichel, 31000 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Ermont","sequence":"additional","affiliation":[{"name":"Université de Toulouse\/IRIT\/ENSEEIHT\/INPT 2, rue Camichel, 31000 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Fraboul","sequence":"additional","affiliation":[{"name":"Université de Toulouse\/IRIT\/ENSEEIHT\/INPT 2, rue Camichel, 31000 Toulouse, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/5.469298"},{"key":"17","article-title":"Improving endto- end delay upper bounds on an afdx network by integrating offsets in worst-case analysis","author":"li","year":"2010","journal-title":"Proc of the 14th ETFA Bilbao"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2006.1639424"},{"key":"15","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet Volume 2050 of Lecture Notes in Computer Science","year":"2001","author":"le boudec","key":"16"},{"key":"13","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1021782503695","article-title":"Scheduling of offset free systems","author":"goossens","year":"2003","journal-title":"Real-Time Systems"},{"key":"14","article-title":"Pushing the limits of can - Scheduling frames with offsets provides a major performance boost","author":"grenier","year":"2008","journal-title":"4th European Congress ERTS Embedded Real Time Software"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/18.61110"},{"journal-title":"Applicability of Network Calculus to the Afdx","year":"2002","author":"fraboul","key":"12"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2011.5953673"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059162"},{"year":"0","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/18.61109"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2055877"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347083"},{"journal-title":"ARINC 664 Aircraft Data Network Part 7 Deterministic Networks","year":"2003","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.15"},{"journal-title":"Ve?rification et synthe?se de syste?mes temporise?s par des me?thodes d'obervation et d'analyse parame?trique","year":"1998","author":"burguen?o arjona","key":"8"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489576.pdf?arnumber=6489576","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,25]],"date-time":"2025-08-25T20:18:16Z","timestamp":1756153096000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6489576\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489576","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}