{"id":"https://openalex.org/W7154233583","doi":"https://doi.org/10.48550/arxiv.2604.09559","title":"Interferences within a certifiable design methodology for high-performance multi-core platforms","display_name":"Interferences within a certifiable design methodology for high-performance multi-core platforms","publication_year":2026,"publication_date":"2026-02-11","ids":{"openalex":"https://openalex.org/W7154233583","doi":"https://doi.org/10.48550/arxiv.2604.09559"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.09559","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09559","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.09559","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027443012","display_name":"Mohamed Amine Khelassi","orcid":"https://orcid.org/0009-0008-3080-1534"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Khelassi, Mohamed Amine","raw_affiliation_strings":["LECA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LECA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041496656","display_name":"Felix Suchert","orcid":"https://orcid.org/0000-0001-7011-9945"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Suchert, Felix","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133621670","display_name":"Abderaouf Amalou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210117005","display_name":"Laboratoire des Sciences du Num\u00e9rique de Nantes","ror":"https://ror.org/02snf8m58","country_code":"FR","type":"facility","lineage":["https://openalex.org/I100445878","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I4210117005","https://openalex.org/I4210124215","https://openalex.org/I4210127572","https://openalex.org/I4210139971","https://openalex.org/I97188460","https://openalex.org/I97188460"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Amalou, Abderaouf","raw_affiliation_strings":["Nantes Univ - ECN, LS2N"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nantes Univ - ECN, LS2N","institution_ids":["https://openalex.org/I4210117005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085664163","display_name":"Benjamin Lesage","orcid":"https://orcid.org/0009-0007-8735-1071"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Lesage, Benjamin","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066641474","display_name":"Anika Christmann","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christmann, Anika","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017105031","display_name":"Robin Hapka","orcid":"https://orcid.org/0000-0002-5201-3212"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hapka, Robin","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133563763","display_name":"Jeronimo Castrillon","orcid":null},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Castrillon, Jeronimo","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5133554989","display_name":"Mihail Asavoae","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asavoae, Mihail","raw_affiliation_strings":["LECA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LECA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000124677","display_name":"Mathieu Jan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan, Mathieu","raw_affiliation_strings":["LECA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LECA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081391554","display_name":"Claire Pagetti","orcid":"https://orcid.org/0000-0001-7265-1839"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Pagetti, Claire","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5133609620","display_name":"Selma Saidi","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Saidi, Selma","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.7630000114440918,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.7630000114440918,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.035599999129772186,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.033900000154972076,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6604999899864197},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.5989999771118164},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5422000288963318},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4916999936103821},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.4397999942302704},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.43059998750686646},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4065999984741211},{"id":"https://openalex.org/keywords/interference","display_name":"Interference (communication)","score":0.3756999969482422},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.3614000082015991}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8203999996185303},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6604999899864197},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.5989999771118164},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5422000288963318},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4916999936103821},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.48410001397132874},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.4397999942302704},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4065999984741211},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4032000005245209},{"id":"https://openalex.org/C32022120","wikidata":"https://www.wikidata.org/wiki/Q797225","display_name":"Interference (communication)","level":3,"score":0.3756999969482422},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3614000082015991},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.34950000047683716},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3418000042438507},{"id":"https://openalex.org/C47487241","wikidata":"https://www.wikidata.org/wiki/Q5227230","display_name":"Data access","level":2,"score":0.34150001406669617},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.334199994802475},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.33340001106262207},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.3330000042915344},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.3319000005722046},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.328000009059906},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.30070000886917114},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.29980000853538513},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.2897000014781952},{"id":"https://openalex.org/C199519371","wikidata":"https://www.wikidata.org/wiki/Q942695","display_name":"Source lines of code","level":3,"score":0.2874999940395355},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.2854999899864197},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.2605000138282776},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.2572999894618988},{"id":"https://openalex.org/C24119478","wikidata":"https://www.wikidata.org/wiki/Q679871","display_name":"Systems analysis","level":2,"score":0.2554999887943268},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2533000111579895}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.09559","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09559","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.09559","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.09559","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,176],"adoption":[1],"of":[2,105,127,178,196],"high-performance":[3],"multi-core":[4,197],"platforms":[5],"in":[6,14,199],"avionics":[7],"and":[8,56,61,73,108,151,186],"automotive":[9],"systems":[10,198],"introduces":[11],"significant":[12],"challenges":[13],"ensuring":[15],"predictable":[16],"execution,":[17],"primarily":[18],"due":[19],"to":[20,67,75,134,146,168,182],"shared":[21,155],"resource":[22],"interferences.":[23],"Many":[24],"existing":[25],"approaches":[26],"study":[27],"interference":[28,111,185],"from":[29,72,173],"a":[30,62,83,102],"single":[31,44],"angle-for":[32],"example,":[33],"through":[34],"hardware-level":[35],"analysis":[36,122],"or":[37],"by":[38],"monitoring":[39],"software":[40],"execution.":[41],"However,":[42],"no":[43],"abstraction":[45,94],"level":[46],"is":[47,65,181],"sufficient":[48],"on":[49,154],"its":[50],"own.":[51],"Hardware":[52],"behavior,":[53],"program":[54,118],"structure,":[55],"system":[57,160],"configuration":[58],"all":[59],"interact,":[60],"complete":[63],"view":[64],"needed":[66],"understand":[68],"where":[69],"interferences":[70],"come":[71],"how":[74],"reduce":[76,152,183],"them.":[77],"In":[78],"this":[79,144],"paper,":[80],"we":[81],"present":[82],"methodology":[84],"that":[85,90,130],"brings":[86],"together":[87],"several":[88],"tools":[89],"operate":[91],"at":[92,158],"different":[93],"levels.":[95],"At":[96,116,137],"the":[97,106,117,124,128,138,159,188,193],"lowest":[98],"level,":[99,119,140,161],"PHYLOG":[100],"provides":[101],"formal":[103],"model":[104],"hardware":[107],"identifies":[109],"possible":[110],"channels":[112],"using":[113],"micro-architectural":[114],"transactions.":[115],"machine":[120],"learning":[121],"locates":[123],"exact":[125],"parts":[126],"code":[129],"are":[131],"most":[132],"sensitive":[133],"shared-resource":[135],"contention.":[136],"compilation":[139],"MLIR-based":[141],"transformations":[142],"use":[143],"information":[145],"reshape":[147],"memory":[148,184],"access":[149],"patterns":[150],"pressure":[153],"resources.":[156],"Finally,":[157],"Linux":[162],"cgroups":[163],"enforce":[164],"static":[165],"execution":[166],"constraints":[167],"prevent":[169],"highly":[170],"interfering":[171],"tasks":[172],"running":[174],"together.":[175],"goal":[177],"our":[179],"approach":[180],"improve":[187],"system's":[189],"predictability,":[190],"thereby":[191],"easing":[192],"certification":[194],"process":[195],"safety-critical":[200],"domains.":[201]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-15T00:00:00"}