{"id":"https://openalex.org/W1969527555","doi":"https://doi.org/10.1109/etfa.2011.6059017","title":"Latency and freshness analysis on IMA systems","display_name":"Latency and freshness analysis on IMA systems","publication_year":2011,"publication_date":"2011-09-01","ids":{"openalex":"https://openalex.org/W1969527555","doi":"https://doi.org/10.1109/etfa.2011.6059017","mag":"1969527555"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2011.6059017","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2011.6059017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ETFA2011","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041762243","display_name":"Micha\u00ebl Lauer","orcid":"https://orcid.org/0000-0001-5479-1643"},"institutions":[{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Michael Lauer","raw_affiliation_strings":["IRIT, Universit\u00e9 de Toulouse, France","Universit\u00e9 de Toulouse - IRIT"],"affiliations":[{"raw_affiliation_string":"IRIT, Universit\u00e9 de Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I17866349","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse - IRIT","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I17866349","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031675008","display_name":"J\u00e9r\u00f4me Ermont","orcid":"https://orcid.org/0000-0002-9972-9621"},"institutions":[{"id":"https://openalex.org/I17866349","display_name":"Universit\u00e9 F\u00e9d\u00e9rale de Toulouse Midi-Pyr\u00e9n\u00e9es","ror":"https://ror.org/004raaa70","country_code":"FR","type":"education","lineage":["https://openalex.org/I17866349"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]},{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555","https://openalex.org/I4405258862"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jerome Ermont","raw_affiliation_strings":["IRIT, Universit\u00e9 de Toulouse, France","Universit\u00e9 de Toulouse - IRIT"],"affiliations":[{"raw_affiliation_string":"IRIT, Universit\u00e9 de Toulouse, France","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I17866349","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]},{"raw_affiliation_string":"Universit\u00e9 de Toulouse - IRIT","institution_ids":["https://openalex.org/I4210119061","https://openalex.org/I17866349","https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210160189","https://openalex.org/I4210152422"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039283397","display_name":"Fr\u00e9d\u00e9ric Boniol","orcid":null},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Frederic Boniol","raw_affiliation_strings":["ONERA, Toulouse, France","ONERA, Toulouse"],"affiliations":[{"raw_affiliation_string":"ONERA, Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA, Toulouse","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081391554","display_name":"Claire Pagetti","orcid":"https://orcid.org/0000-0001-7265-1839"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Claire Pagetti","raw_affiliation_strings":["ONERA, Toulouse, France","ONERA, Toulouse"],"affiliations":[{"raw_affiliation_string":"ONERA, Toulouse, France","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA, Toulouse","institution_ids":["https://openalex.org/I2801658355"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5041762243"],"corresponding_institution_ids":["https://openalex.org/I134560555","https://openalex.org/I17866349","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"],"apc_list":null,"apc_paid":null,"fwci":2.2668,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.88259998,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.750094473361969},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7167606353759766},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.7134877443313599},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7007374167442322},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6389524936676025},{"id":"https://openalex.org/keywords/integer-programming","display_name":"Integer programming","score":0.6040675640106201},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5071432590484619},{"id":"https://openalex.org/keywords/integrated-modular-avionics","display_name":"Integrated modular avionics","score":0.4873271882534027},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.4103579521179199},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3449524939060211},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16422158479690552},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1470855474472046},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14115923643112183},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.13112574815750122},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12516766786575317},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.1064530611038208}],"concepts":[{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.750094473361969},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7167606353759766},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.7134877443313599},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7007374167442322},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6389524936676025},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.6040675640106201},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5071432590484619},{"id":"https://openalex.org/C189956118","wikidata":"https://www.wikidata.org/wiki/Q1665437","display_name":"Integrated modular avionics","level":3,"score":0.4873271882534027},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.4103579521179199},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3449524939060211},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16422158479690552},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1470855474472046},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14115923643112183},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.13112574815750122},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12516766786575317},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.1064530611038208},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2011.6059017","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2011.6059017","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ETFA2011","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1485514701","https://openalex.org/W1491540083","https://openalex.org/W2015387433","https://openalex.org/W2121911741","https://openalex.org/W2124262702","https://openalex.org/W2128401479","https://openalex.org/W2134558170","https://openalex.org/W2500880432","https://openalex.org/W2980659428","https://openalex.org/W3146427017","https://openalex.org/W4231690074","https://openalex.org/W4250630467","https://openalex.org/W6628967099"],"related_works":["https://openalex.org/W2171139856","https://openalex.org/W2111943161","https://openalex.org/W4390189023","https://openalex.org/W4254629462","https://openalex.org/W2243567758","https://openalex.org/W2186669634","https://openalex.org/W39645217","https://openalex.org/W2042279689","https://openalex.org/W2385264950","https://openalex.org/W2140899683"],"abstract_inverted_index":{"The":[0,15,33,73],"Integrated":[1],"Modular":[2],"Avionics":[3],"(IMA)":[4],"architectures":[5],"have":[6],"been":[7],"defined":[8],"for":[9,42,64],"sharing":[10],"communication":[11],"and":[12,24,51],"computation":[13],"resources.":[14],"aim":[16],"of":[17,27,54,60,76,93],"this":[18],"paper":[19],"is":[20,79,102],"to":[21],"evaluate":[22],"latency":[23],"freshness":[25],"properties":[26,66],"functions":[28],"implemented":[29],"on":[30,46,68,81,90],"IMA":[31,43],"platforms.":[32],"two":[34],"contributions":[35],"are":[36],":":[37],"(1)":[38],"a":[39,88],"modeling":[40],"approach":[41],"platforms":[44],"based":[45,67],"the":[47,52,55,58,77,91,94,98,105,111],"tagged":[48],"signal":[49],"model":[50],"abstraction":[53],"network,":[56],"(2)":[57],"definition":[59],"an":[61,82],"evaluation":[62],"method":[63,78],"these":[65],"Integer":[69],"Linear":[70],"Programming":[71],"(ILP).":[72],"industrial":[74],"applicability":[75],"showed":[80],"Airbus":[83],"A380-like":[84],"platform.":[85],"We":[86],"propose":[87],"discussion":[89],"significance":[92],"over-approximations":[95],"induced":[96],"by":[97,104],"abstraction.":[99],"This":[100],"work":[101],"supported":[103],"French":[106],"National":[107],"Research":[108],"Agency":[109],"within":[110],"Satrimmap":[112],"project.":[113]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}