{"id":"https://openalex.org/W4403300458","doi":"https://doi.org/10.1007/s11241-024-09431-7","title":"Efficiently bounding deadline miss probabilities of Markov chain real-time tasks","display_name":"Efficiently bounding deadline miss probabilities of Markov chain real-time tasks","publication_year":2024,"publication_date":"2024-09-01","ids":{"openalex":"https://openalex.org/W4403300458","doi":"https://doi.org/10.1007/s11241-024-09431-7"},"language":"en","primary_location":{"id":"doi:10.1007/s11241-024-09431-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-024-09431-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-024-09431-7.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s11241-024-09431-7.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023463217","display_name":"Anna Friebe","orcid":"https://orcid.org/0000-0002-7431-5529"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Anna Friebe","raw_affiliation_strings":["M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"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"]},{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["DE","SE"],"is_corresponding":false,"raw_author_name":"Filip Markovi\u0107","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS), Paul-Ehrlich-Strasse, Building G 26, 67663, Kaiserslautern, Germany","M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS), Paul-Ehrlich-Strasse, Building G 26, 67663, Kaiserslautern, Germany","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080443843","display_name":"Alessandro V. Papadopoulos","orcid":"https://orcid.org/0000-0002-1364-8127"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Alessandro V. Papadopoulos","raw_affiliation_strings":["M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047385412","display_name":"Thomas Nolte","orcid":"https://orcid.org/0000-0001-6132-7945"},"institutions":[{"id":"https://openalex.org/I82509713","display_name":"M\u00e4lardalen University","ror":"https://ror.org/033vfbz75","country_code":"SE","type":"education","lineage":["https://openalex.org/I82509713"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Thomas Nolte","raw_affiliation_strings":["M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden"],"affiliations":[{"raw_affiliation_string":"M\u00e4lardalen University, IDT, Box 883, 721 23, V\u00e4ster\u00e5s, Sweden","institution_ids":["https://openalex.org/I82509713"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023463217"],"corresponding_institution_ids":["https://openalex.org/I82509713"],"apc_list":{"value":2190,"currency":"EUR","value_usd":2790},"apc_paid":{"value":2190,"currency":"EUR","value_usd":2790},"fwci":0.5032,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6411728,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"60","issue":"3","first_page":"443","last_page":"490"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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.9912999868392944,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9886999726295471,"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/bounding-overwatch","display_name":"Bounding overwatch","score":0.8036708235740662},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.754365086555481},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6684210896492004},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3494163155555725},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1339232325553894},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1085614562034607}],"concepts":[{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.8036708235740662},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.754365086555481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6684210896492004},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3494163155555725},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1339232325553894},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1085614562034607}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11241-024-09431-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-024-09431-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-024-09431-7.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s11241-024-09431-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s11241-024-09431-7","pdf_url":"https://link.springer.com/content/pdf/10.1007/s11241-024-09431-7.pdf","source":{"id":"https://openalex.org/S183885566","display_name":"Real-Time Systems","issn_l":"0922-6443","issn":["0922-6443","1573-1383"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Real-Time Systems","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.4300000071525574,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3198639931","display_name":null,"funder_award_id":"2016-03660","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G5327177145","display_name":null,"funder_award_id":"2019003","funder_id":"https://openalex.org/F4320321759","funder_display_name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling"},{"id":"https://openalex.org/G6895250143","display_name":null,"funder_award_id":"2020-05094","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320321759","display_name":"Stiftelsen f\u00f6r Kunskaps- och Kompetensutveckling","ror":"https://ror.org/02cbq7e25"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320327360","display_name":"M\u00e4lardalens h\u00f6gskola","ror":"https://ror.org/033vfbz75"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403300458.pdf","grobid_xml":"https://content.openalex.org/works/W4403300458.grobid-xml"},"referenced_works_count":55,"referenced_works":["https://openalex.org/W220525228","https://openalex.org/W1500657154","https://openalex.org/W1573427161","https://openalex.org/W1971076731","https://openalex.org/W1989729597","https://openalex.org/W1990203485","https://openalex.org/W2000331189","https://openalex.org/W2039713991","https://openalex.org/W2040239678","https://openalex.org/W2057424272","https://openalex.org/W2058246047","https://openalex.org/W2097364507","https://openalex.org/W2106897032","https://openalex.org/W2115177837","https://openalex.org/W2121738258","https://openalex.org/W2125838338","https://openalex.org/W2132988989","https://openalex.org/W2134935059","https://openalex.org/W2147981793","https://openalex.org/W2154174364","https://openalex.org/W2154390351","https://openalex.org/W2165195967","https://openalex.org/W2243694434","https://openalex.org/W2499092218","https://openalex.org/W2507911155","https://openalex.org/W2622592728","https://openalex.org/W2622938546","https://openalex.org/W2734407528","https://openalex.org/W2810473819","https://openalex.org/W2888133284","https://openalex.org/W2898779160","https://openalex.org/W2945977556","https://openalex.org/W2946886159","https://openalex.org/W2947037148","https://openalex.org/W3088033668","https://openalex.org/W3163193303","https://openalex.org/W3173649076","https://openalex.org/W3183182407","https://openalex.org/W3201950898","https://openalex.org/W3211676493","https://openalex.org/W4200298434","https://openalex.org/W4200517795","https://openalex.org/W4231692087","https://openalex.org/W4242581398","https://openalex.org/W4298234423","https://openalex.org/W4301606836","https://openalex.org/W4310614393","https://openalex.org/W4312198994","https://openalex.org/W4312199092","https://openalex.org/W4381885944","https://openalex.org/W4386568801","https://openalex.org/W4386620197","https://openalex.org/W4391583801","https://openalex.org/W4391583804","https://openalex.org/W6600213211"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W1543605838","https://openalex.org/W1968801025"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"real-time":[2,117],"systems":[3],"analysis,":[4],"probabilistic":[5],"models,":[6],"particularly":[7],"Markov":[8,30],"chains,":[9],"have":[10],"proven":[11],"effective":[12],"for":[13,41],"tasks":[14,42],"with":[15],"dependent":[16],"executions.":[17],"This":[18,66],"paper":[19],"improves":[20],"upon":[21],"an":[22],"approach":[23,90],"utilizing":[24],"Gaussian":[25],"emission":[26],"distributions":[27],"within":[28],"a":[29,44,62,83,99,103,136],"task":[31],"execution":[32],"model":[33],"that":[34,124],"analyzes":[35],"bounds":[36,112],"on":[37],"deadline":[38,109,132],"miss":[39,110,133],"probabilities":[40],"in":[43,57,139],"reservation-based":[45],"server.":[46],"Our":[47,121],"method":[48,127],"distinctly":[49],"addresses":[50],"the":[51,75,78,94,107,125,130],"issue":[52],"of":[53,77,88,98],"runtime":[54],"complexity,":[55],"prevalent":[56],"existing":[58],"methods,":[59],"by":[60],"employing":[61],"state":[63],"merging":[64],"technique.":[65],"not":[67],"only":[68],"maintains":[69],"computational":[70,140],"efficiency":[71,141],"but":[72],"also":[73],"retains":[74],"accuracy":[76],"deadline-miss":[79],"probability":[80,111],"estimations":[81],"to":[82],"significant":[84,137],"degree.":[85],"The":[86],"efficacy":[87],"this":[89],"is":[91],"demonstrated":[92],"through":[93],"timing":[95],"behavior":[96],"analysis":[97],"Kalman":[100],"filter":[101],"controlling":[102],"Furuta":[104],"pendulum,":[105],"comparing":[106],"derived":[108],"against":[113],"various":[114],"benchmarks,":[115],"including":[116],"Linux":[118],"server":[119],"metrics.":[120],"results":[122],"confirm":[123],"proposed":[126],"effectively":[128],"upper-bounds":[129],"actual":[131],"probabilities,":[134],"showcasing":[135],"improvement":[138],"without":[142],"significantly":[143],"sacrificing":[144],"accuracy.":[145]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-12T06:13:28.667946","created_date":"2025-10-10T00:00:00"}