{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:33Z","timestamp":1750220673915,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,4,7]],"date-time":"2021-04-07T00:00:00Z","timestamp":1617753600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001858","name":"Vinnova","doi-asserted-by":"publisher","award":["NFFP7-0489"],"award-info":[{"award-number":["NFFP7-0489"]}],"id":[{"id":"10.13039\/501100001858","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Spanish Ministry of Science, Innovation and Universities","award":["RTI2018-098543-B-I00"],"award-info":[{"award-number":["RTI2018-098543-B-I00"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,4,7]]},"DOI":"10.1145\/3453417.3453427","type":"proceedings-article","created":{"date-parts":[[2021,7,22]],"date-time":"2021-07-22T22:18:55Z","timestamp":1626992335000},"page":"78-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["A model-based approach for analysing network communication timeliness in IMA systems at concept level"],"prefix":"10.1145","author":[{"given":"Rodrigo","family":"Saar de Moraes","sequence":"first","affiliation":[{"name":"Linkoping University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simona","family":"Bernardi","sequence":"additional","affiliation":[{"name":"Universidad de Zaragoza, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[{"name":"Linkoping university, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648155"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3078505.3078594"},{"key":"e_1_3_2_1_3_1","volume-title":"Proc. Int. Conf. Performance Evaluation Methodologies and Tools. 44\u201349","author":"Bondorf S","year":"2014","unstructured":"S Bondorf and J.\u00a0 B. Schmitt . 2014 . The DiscoDNC v2 \u2013 A Comprehensive Tool for Deterministic Network Calculus . In Proc. Int. Conf. Performance Evaluation Methodologies and Tools. 44\u201349 . https:\/\/doi.org\/10.4108\/icst.Valuetools.2014.258167 S Bondorf and J.\u00a0B. Schmitt. 2014. The DiscoDNC v2 \u2013 A Comprehensive Tool for Deterministic Network Calculus. In Proc. Int. Conf. Performance Evaluation Methodologies and Tools. 44\u201349. https:\/\/doi.org\/10.4108\/icst.Valuetools.2014.258167"},{"key":"e_1_3_2_1_4_1","volume-title":"6th European Congress on Embedded Real Time Software and Systems","author":"Boyer Marc","year":"2012","unstructured":"Marc Boyer , Nicolas Navet , and Marc Fumey . 2012 . Experimental assessment of timing verification techniques for AFDX . In 6th European Congress on Embedded Real Time Software and Systems . Toulouse, France. Marc Boyer, Nicolas Navet, and Marc Fumey. 2012. Experimental assessment of timing verification techniques for AFDX. In 6th European Congress on Embedded Real Time Software and Systems. Toulouse, France."},{"key":"e_1_3_2_1_5_1","first-page":"202","volume-title":"18th Euromicro Conference on Real-Time Systems (ECRTS\u201906)","author":"Charara H.","unstructured":"H. Charara , J.\u00a0. Scharbarg, J. Ermont , and C. Fraboul . 2006. Methods for bounding end-to-end delays on an AFDX network . In 18th Euromicro Conference on Real-Time Systems (ECRTS\u201906) . 10 pp.\u2013 202 . H. Charara, J.\u00a0. Scharbarg, J. Ermont, and C. Fraboul. 2006. Methods for bounding end-to-end delays on an AFDX network. In 18th Euromicro Conference on Real-Time Systems (ECRTS\u201906). 10 pp.\u2013202."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.61109"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.61110"},{"key":"e_1_3_2_1_8_1","volume-title":"Formal Techniques for Safety-Critical Systems International Workshop, FTSCS. 40\u201356","author":"de Moraes Rodrigo\u00a0Saar","year":"2019","unstructured":"Rodrigo\u00a0Saar de Moraes and Simin Nadjm-Tehrani . 2019 . Verifying Resource Adequacy of Networked IMA Systems at Concept Level . In Formal Techniques for Safety-Critical Systems International Workshop, FTSCS. 40\u201356 . https:\/\/doi.org\/10.1007\/978-3-030-46902-3_3 Rodrigo\u00a0Saar de Moraes and Simin Nadjm-Tehrani. 2019. Verifying Resource Adequacy of Networked IMA Systems at Concept Level. In Formal Techniques for Safety-Critical Systems International Workshop, FTSCS. 40\u201356. https:\/\/doi.org\/10.1007\/978-3-030-46902-3_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Rodrigo\u00a0Saar de Moraes and Simin Nadjm-Tehrani. 2021. Abstraction Models for Verifying Resource Adequacy of IMA Systems at Concept Level. Science of Computer Programming(2021) to appear.  Rodrigo\u00a0Saar de Moraes and Simin Nadjm-Tehrani. 2021. Abstraction Models for Verifying Resource Adequacy of IMA Systems at Concept Level. Science of Computer Programming(2021) to appear.","DOI":"10.1016\/j.scico.2021.102654"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31491-9_27"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2014.2322503"},{"volume-title":"Int. Conf. on Embedded and Real-Time Computing Systems and Applications. 1\u201310","author":"Li X.","key":"e_1_3_2_1_12_1","unstructured":"X. Li , O. Cros , and L. George . 2014. The Trajectory approach for AFDX FIFO networks revisited and corrected . In Int. Conf. on Embedded and Real-Time Computing Systems and Applications. 1\u201310 . X. Li, O. Cros, and L. George. 2014. The Trajectory approach for AFDX FIFO networks revisited and corrected. In Int. Conf. on Embedded and Real-Time Computing Systems and Applications. 1\u201310."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2014.7051915"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11227-015-1455-3"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1067885.1067887"},{"key":"e_1_3_2_1_16_1","volume-title":"December","author":"OMG.","year":"2017","unstructured":"OMG. 2017. Unified Modeling Language. Version 2.5.1, formal\/17-12-05 , December 2017 . OMG. 2017. Unified Modeling Language. Version 2.5.1, formal\/17-12-05, December 2017."},{"key":"e_1_3_2_1_17_1","unstructured":"OMG. 2019. UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems V1.2.  OMG. 2019. UML Profile for MARTE Modeling and Analysis of Real-Time Embedded Systems V1.2."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2016.04.120"},{"key":"e_1_3_2_1_19_1","volume-title":"IEEE Int. Symp. on Industrial Embedded Systems (SIES). 1\u20134. https:\/\/doi.org\/10","author":"Soni A.","year":"2017","unstructured":"A. Soni , X. Li , J. Scharbarg , and C. Fraboul . 2017. Work in progress paper: pessimism analysis of network calculus approach on AFDX networks . In IEEE Int. Symp. on Industrial Embedded Systems (SIES). 1\u20134. https:\/\/doi.org\/10 .1109\/SIES. 2017 .7993380 A. Soni, X. Li, J. Scharbarg, and C. Fraboul. 2017. Work in progress paper: pessimism analysis of network calculus approach on AFDX networks. In IEEE Int. Symp. on Industrial Embedded Systems (SIES). 1\u20134. https:\/\/doi.org\/10.1109\/SIES.2017.7993380"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10776-018-0412-5"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2006.313743"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-016-9265-0"}],"event":{"name":"RTNS'2021: 29th International Conference on Real-Time Networks and Systems","acronym":"RTNS'2021","location":"NANTES France"},"container-title":["29th International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453417.3453427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453417.3453427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:03:06Z","timestamp":1750197786000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453417.3453427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,4,7]]},"references-count":22,"alternative-id":["10.1145\/3453417.3453427","10.1145\/3453417"],"URL":"https:\/\/doi.org\/10.1145\/3453417.3453427","relation":{},"subject":[],"published":{"date-parts":[[2021,4,7]]},"assertion":[{"value":"2021-07-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}