{"id":"https://openalex.org/W4406658817","doi":"https://doi.org/10.1109/rtss62706.2024.00028","title":"In Search of Butterflies: Exceedance Analysis for Real-Time Systems under Transient Overload","display_name":"In Search of Butterflies: Exceedance Analysis for Real-Time Systems under Transient Overload","publication_year":2024,"publication_date":"2024-12-10","ids":{"openalex":"https://openalex.org/W4406658817","doi":"https://doi.org/10.1109/rtss62706.2024.00028"},"language":"en","primary_location":{"id":"doi:10.1109/rtss62706.2024.00028","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtss62706.2024.00028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Real-Time Systems Symposium (RTSS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/11382/581793","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090302262","display_name":"Matteo Zini","orcid":"https://orcid.org/0000-0003-2750-7437"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Matteo Zini","raw_affiliation_strings":["TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103145523","display_name":"Filip Markovi\u0107","orcid":"https://orcid.org/0000-0002-3210-3819"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Filip Markovi\u0107","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066899523","display_name":"Daniel Casini","orcid":"https://orcid.org/0000-0003-4719-3631"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniel Casini","raw_affiliation_strings":["TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072482410","display_name":"Alessandro Biondi","orcid":"https://orcid.org/0000-0002-6625-9336"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Biondi","raw_affiliation_strings":["TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TeCIP Institute, Scuola Superiore Sant’Anna,Pisa,Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003988338","display_name":"Bj\u00f6rn B. Brandenburg","orcid":"https://orcid.org/0000-0001-8254-3815"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bj\u00f6rn B. Brandenburg","raw_affiliation_strings":["Max Planck Institute for Software Systems,Kaiserslautern,Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems,Kaiserslautern,Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4514,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61499306,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"229","last_page":"242"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9976999759674072,"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.9976999759674072,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9846000075340271,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.9650999903678894,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.690734326839447},{"id":"https://openalex.org/keywords/transient-analysis","display_name":"Transient analysis","score":0.6406277418136597},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5573834776878357},{"id":"https://openalex.org/keywords/transient-response","display_name":"Transient response","score":0.17159858345985413},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14630445837974548},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.08153310418128967},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.06846436858177185}],"concepts":[{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.690734326839447},{"id":"https://openalex.org/C2989121073","wikidata":"https://www.wikidata.org/wiki/Q1309019","display_name":"Transient analysis","level":3,"score":0.6406277418136597},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5573834776878357},{"id":"https://openalex.org/C85761212","wikidata":"https://www.wikidata.org/wiki/Q1974593","display_name":"Transient response","level":2,"score":0.17159858345985413},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14630445837974548},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.08153310418128967},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.06846436858177185}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/rtss62706.2024.00028","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtss62706.2024.00028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE Real-Time Systems Symposium (RTSS)","raw_type":"proceedings-article"},{"id":"pmh:oai:www.iris.sssup.it:11382/581793","is_oa":true,"landing_page_url":"https://hdl.handle.net/11382/581793","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:www.iris.sssup.it:11382/581793","is_oa":true,"landing_page_url":"https://hdl.handle.net/11382/581793","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":64,"referenced_works":["https://openalex.org/W1515641485","https://openalex.org/W1536808883","https://openalex.org/W1564514505","https://openalex.org/W1807119923","https://openalex.org/W1912475051","https://openalex.org/W1983276715","https://openalex.org/W1984148114","https://openalex.org/W1997998060","https://openalex.org/W2007930753","https://openalex.org/W2036645810","https://openalex.org/W2048131952","https://openalex.org/W2050243060","https://openalex.org/W2076285066","https://openalex.org/W2092289885","https://openalex.org/W2094163826","https://openalex.org/W2094352600","https://openalex.org/W2105896457","https://openalex.org/W2111206806","https://openalex.org/W2114699485","https://openalex.org/W2127662190","https://openalex.org/W2134935059","https://openalex.org/W2140058453","https://openalex.org/W2143046770","https://openalex.org/W2143085213","https://openalex.org/W2145132630","https://openalex.org/W2148449342","https://openalex.org/W2156021445","https://openalex.org/W2157605676","https://openalex.org/W2159216089","https://openalex.org/W2161734639","https://openalex.org/W2165195967","https://openalex.org/W2166440675","https://openalex.org/W2512054480","https://openalex.org/W2570030068","https://openalex.org/W2612449331","https://openalex.org/W2612908556","https://openalex.org/W2767490065","https://openalex.org/W2773172184","https://openalex.org/W2787839570","https://openalex.org/W2798332481","https://openalex.org/W2798786289","https://openalex.org/W2898570836","https://openalex.org/W2905432470","https://openalex.org/W2947869912","https://openalex.org/W2973950543","https://openalex.org/W3000462827","https://openalex.org/W3014129901","https://openalex.org/W3014679034","https://openalex.org/W3092357222","https://openalex.org/W3114999473","https://openalex.org/W3130687998","https://openalex.org/W3147011106","https://openalex.org/W4242093150","https://openalex.org/W4283720455","https://openalex.org/W4283734709","https://openalex.org/W4312199009","https://openalex.org/W4377838754","https://openalex.org/W4381886089","https://openalex.org/W4391583824","https://openalex.org/W6740348905","https://openalex.org/W6779561358","https://openalex.org/W6843266699","https://openalex.org/W6891620836","https://openalex.org/W6910232606"],"related_works":["https://openalex.org/W2758798772","https://openalex.org/W2081338125","https://openalex.org/W4406350055","https://openalex.org/W4239924455","https://openalex.org/W2001630809","https://openalex.org/W4244925124","https://openalex.org/W2377879397","https://openalex.org/W1577327694","https://openalex.org/W2887517211","https://openalex.org/W1909312109"],"abstract_inverted_index":{"In":[0],"theory,":[1],"real-time":[2],"systems":[3],"are":[4,31,57],"provisioned":[5],"based":[6,178],"on":[7,35,122,179],"provably":[8],"sound":[9],"worst-case":[10],"execution":[11,25],"times":[12,26],"(WCETs),":[13],"but":[14],"in":[15,72,150,184],"practice":[16],"often":[17],"only":[18],"empirically":[19],"derived,":[20],"unsound":[21,59],"execution-time":[22],"estimates\u2014i.e.,":[23],"nominal":[24],"(NETs)\u2014are":[27],"available":[28],"since":[29,44],"WCETs":[30],"difficult":[32],"to":[33,78,90,141,161,189],"obtain":[34],"modern":[36],"hardware.":[37],"NETs":[38,45,56],"pose":[39],"two":[40],"significant":[41],"challenges:":[42],"First,":[43],"may":[46,61],"be":[47,62],"exceeded":[48],"at":[49],"runtime,":[50],"any":[51],"response-time":[52,75],"bounds":[53],"derived":[54],"from":[55,138],"transitively":[58],"and":[60,102,117,131,176,183],"violated.":[63],"Second,":[64],"even":[65],"a":[66,91,123,127,185],"minuscule":[67],"NET":[68,87],"violation":[69],"can":[70,159],"result":[71],"large,":[73],"nonlinear":[74],"increases":[76],"due":[77],"hard-to-predict,":[79],"cascading":[80],"scheduling":[81,121],"effects.":[82],"To":[83],"explore":[84],"the":[85,98,132,151,192],"risk":[86],"exceedance":[88,106],"poses":[89],"system\u2019s":[92],"temporal":[93],"correctness,":[94],"this":[95],"paper":[96],"provides":[97],"first":[99,115],"general,":[100],"systematic,":[101],"explainable":[103,148],"methodology":[104,169],"for":[105],"analysis.":[107],"The":[108,167],"proposed":[109,168],"approach":[110],"supports":[111],"fixed-priority":[112],"(FP),":[113],"earliest-deadline":[114],"(EDF),":[116],"first-in":[118],"first-out":[119],"(FIFO)":[120],"uniprocessor":[124],"or":[125],"within":[126],"partitioned":[128],"multiprocessor":[129],"platform,":[130],"full":[133],"spectrum":[134],"of":[135,153,191],"preemption":[136],"models":[137],"fully":[139,142],"preemptive":[140],"non-preemptive":[143],"workloads.":[144],"Additionally,":[145],"it":[146],"produces":[147],"evidence":[149],"form":[152],"tunable":[154],"example":[155],"traces":[156],"that":[157],"engineers":[158],"adjust":[160],"take":[162],"system-specific":[163],"expertise":[164],"into":[165],"account.":[166],"is":[170],"evaluated":[171],"with":[172],"synthetic":[173],"task":[174],"sets":[175],"workloads":[177],"an":[180],"automotive":[181],"benchmark,":[182],"case":[186],"study":[187],"applied":[188],"parts":[190],"WATERS\u201917":[193],"industrial":[194],"challenge.":[195]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}