{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:16:37Z","timestamp":1748751397633},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642165573"},{"type":"electronic","value":"9783642165580"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16558-0_21","type":"book-chapter","created":{"date-parts":[[2010,11,2]],"date-time":"2010-11-02T13:36:49Z","timestamp":1288705009000},"page":"243-257","source":"Crossref","is-referenced-by-count":8,"title":["Analyzing End-to-End Functional Delays on an IMA Platform"],"prefix":"10.1007","author":[{"given":"Micha\u00ebl","family":"Lauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Ermont","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claire","family":"Pagetti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fr\u00e9d\u00e9ric","family":"Boniol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"21_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: Theory of Timed Automata. Theoritical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoritical Computer Science"},{"key":"21_CR2","unstructured":"Aeronautical Radio\u00a0Inc.: ARINC\u00a0653. Avionics Application Software Standard Interface (1997)"},{"key":"21_CR3","unstructured":"Aeronautical Radio Inc.: ARINC\u00a0664. Aircraft Data Network, Part 1: Systems Concepts and Overview (2002)"},{"key":"21_CR4","series-title":"Model-Checking Techniques and Tools","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9","volume-title":"Systems and Software Verification","author":"B. B\u00e9rard","year":"2001","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., Schnoebelen, P.: Systems and Software Verification. Model-Checking Techniques and Tools. Springer, Heidelberg (2001)"},{"key":"21_CR5","unstructured":"Boyer, M., Doose, D.: Collaboration entre m\u00e9thode d\u2019ordonnancement et calcul r\u00e9seau. Presented at the GDR GPL Day (2010)"},{"key":"21_CR6","unstructured":"Arjona, A.B.: V\u00e9rification et synth\u00e8se de syst\u00e8mes temporis\u00e9s par des m\u00e9thodes d\u2019obervation et d\u2019analyse param\u00e9trique (in english). PhD thesis, Supaero, Toulouse, France (1998)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Bauer, H., Scharbarg, J.-L., Fraboul, C.: Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network. In: Emerging Technologies and Factory Automation, ETFA (2009)","DOI":"10.1109\/ETFA.2009.5347083"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Carcenac, F., Boniol, F.: A formal framework for verifying distributed embedded systems based on abstraction methods. International Journal on Software Tools for Technology Transfer (STTT) 8(6) (2006)","DOI":"10.1007\/s10009-006-0011-0"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Charara, H., Scharbarg, J.-L., Ermont, J., Fraboul, C.: Methods for bounding end-to-end delays on an AFDX network. In: Euromicro Conference on Real-Time Systems, ECRTS (2006)","DOI":"10.1109\/ECRTS.2006.15"},{"key":"21_CR10","unstructured":"Frances, F., Fraboul, C., Grieu, J.: Using network calculus to optimize the AFDX network. In: European Congress on Embedded Real-Time Software (ERTS), Toulouse France, 25\/01\/06-27\/01\/06, SIA\/3AF\/SEE (2009)"},{"key":"21_CR11","volume-title":"SIGMETRICS 2006\/Performance 2006: Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems","author":"M. Fidler","year":"2006","unstructured":"Fidler, M., Schmitt, J.B.: On the way to a distributed systems calculus: an end-to-end network calculus with data scaling. In: SIGMETRICS 2006\/Performance 2006: Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems. ACM, New York (2006)"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45318-0","volume-title":"Network Calculus","author":"J.-Y. Boudec Le","year":"2001","unstructured":"Le Boudec, J.-Y., Thiran, P.: Network Calculus. LNCS, vol.\u00a02050. Springer, Heidelberg (2001)"},{"key":"21_CR13","volume-title":"EMSOFT 2009: Proceedings of the Seventh ACM International Conference on Embedded Software","author":"K. Lampka","year":"2009","unstructured":"Lampka, K., Perathoner, S., Thiele, L.: Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. In: EMSOFT 2009: Proceedings of the Seventh ACM International Conference on Embedded Software. ACM, New York (2009)"},{"issue":"1-2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: UPPAAL in a Nutshell. International Journal on Software Tools for Technology Transfer\u00a01(1-2), 134\u2013152 (1997)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Martin, S., Minet, P.: Schedulability analysis of flows scheduled with fifo: application to the expedited forwarding class. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol.\u00a04330. Springer, Heidelberg (2006)","DOI":"10.1109\/IPDPS.2006.1639424"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Maki-Turja, J., Nolin, M.: Efficient implementation of tight response-times for tasks with offsets. Real-Time Systems Journal (2008)","DOI":"10.1007\/s11241-008-9050-9"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Sagaspe, L., Bieber, P.: Constraint-based design and allocation of shared avionics resources. In: 26th AIAA-IEEE Digital Avionics Systems Conference, Dallas (2007)","DOI":"10.1109\/DASC.2007.4391846"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: ISCAS, pp. 101\u2013104 (2000)","DOI":"10.1109\/ISCAS.2000.858698"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification, and Validation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16558-0_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T01:02:34Z","timestamp":1559782954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16558-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642165573","9783642165580"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16558-0_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}