{"id":"https://openalex.org/W2050572838","doi":"https://doi.org/10.1145/2737166.2737170","title":"Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context","display_name":"Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context","publication_year":2015,"publication_date":"2015-04-28","ids":{"openalex":"https://openalex.org/W2050572838","doi":"https://doi.org/10.1145/2737166.2737170","mag":"2050572838"},"language":"en","primary_location":{"id":"doi:10.1145/2737166.2737170","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737166.2737170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://vbn.aau.dk/files/208341915/ownCBSE2015.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100775970","display_name":"Jin Hyun Kim","orcid":"https://orcid.org/0000-0002-2308-1638"},"institutions":[{"id":"https://openalex.org/I2802519937","display_name":"Institut de Recherche en Informatique et Syst\u00e8mes Al\u00e9atoires","ror":"https://ror.org/00myn0z94","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I205703379","https://openalex.org/I2802204017","https://openalex.org/I2802519937","https://openalex.org/I28221208","https://openalex.org/I4210127572","https://openalex.org/I4210159245","https://openalex.org/I56067802"]},{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jin Hyun Kim","raw_affiliation_strings":["INRIA/IRISA, Rennes, France","Inria - IRISA, Rennes, France#TAB#"],"affiliations":[{"raw_affiliation_string":"INRIA/IRISA, Rennes, France","institution_ids":["https://openalex.org/I2802519937","https://openalex.org/I1326498283"]},{"raw_affiliation_string":"Inria - IRISA, Rennes, France#TAB#","institution_ids":["https://openalex.org/I1326498283"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084160489","display_name":"Abdeldjalil Boudjadar","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Abdeldjalil Boudjadar","raw_affiliation_strings":["Queen's University, Kingston, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Queen's University, Kingston, ON, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090034962","display_name":"Ulrik Nyman","orcid":"https://orcid.org/0000-0001-6430-540X"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ulrik Nyman","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005712593","display_name":"Marius Miku\u010dionis","orcid":"https://orcid.org/0000-0001-8157-5428"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Marius Miku\u010dionis","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069362159","display_name":"Kim G. Larsen","orcid":"https://orcid.org/0000-0002-5953-3384"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Kim G. Larsen","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054592990","display_name":"Arne Skou","orcid":"https://orcid.org/0000-0002-3727-9936"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Arne Skou","raw_affiliation_strings":["Aalborg University, Aalborg, Denmark"],"affiliations":[{"raw_affiliation_string":"Aalborg University, Aalborg, Denmark","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030456600","display_name":"Insup Lee","orcid":"https://orcid.org/0000-0003-2672-1132"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Insup Lee","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044382286","display_name":"Linh Thi Xuan Phan","orcid":"https://orcid.org/0000-0002-3458-7511"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Linh Thi Xuan Phan","raw_affiliation_strings":["University of Pennsylvania, Philadelphia, PA, USA"],"affiliations":[{"raw_affiliation_string":"University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5100775970"],"corresponding_institution_ids":["https://openalex.org/I1326498283","https://openalex.org/I2802519937"],"apc_list":null,"apc_paid":null,"fwci":0.9896,"has_fulltext":true,"cited_by_count":10,"citation_normalized_percentile":{"value":0.76310091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"91","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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.9998999834060669,"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.9932000041007996,"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.992900013923645,"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/computer-science","display_name":"Computer science","score":0.8585609197616577},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.7780629396438599},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.671796977519989},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.5069182515144348},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4980337619781494},{"id":"https://openalex.org/keywords/quality-of-service","display_name":"Quality of service","score":0.4756714403629303},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.4389059245586395},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.34427228569984436},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.21343255043029785},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.1123795211315155},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.08372947573661804}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8585609197616577},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.7780629396438599},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.671796977519989},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.5069182515144348},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4980337619781494},{"id":"https://openalex.org/C5119721","wikidata":"https://www.wikidata.org/wiki/Q220501","display_name":"Quality of service","level":2,"score":0.4756714403629303},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.4389059245586395},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34427228569984436},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.21343255043029785},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.1123795211315155},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.08372947573661804},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2737166.2737170","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2737166.2737170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/532d348e-ada8-409a-91ff-5b7935c39e9a","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/532d348e-ada8-409a-91ff-5b7935c39e9a","pdf_url":"https://vbn.aau.dk/files/208341915/ownCBSE2015.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kim , J H , Boudjadar , J , Nyman , U , Mikucionis , M , Larsen , K G , Skou , A , Lee , I & Thi Xuan Phan , L 2015 , Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context . in CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering . Association for Computing Machinery , pp. 91-100 , 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , Montreal , Canada , 04/05/2015 . https://doi.org/10.1145/2737166.2737170","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:pure.atira.dk:publications/532d348e-ada8-409a-91ff-5b7935c39e9a","is_oa":true,"landing_page_url":"https://vbn.aau.dk/da/publications/532d348e-ada8-409a-91ff-5b7935c39e9a","pdf_url":"https://vbn.aau.dk/files/208341915/ownCBSE2015.pdf","source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Kim , J H , Boudjadar , J , Nyman , U , Mikucionis , M , Larsen , K G , Skou , A , Lee , I & Thi Xuan Phan , L 2015 , Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context . in CBSE'15, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering . Association for Computing Machinery , pp. 91-100 , 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering , Montreal , Canada , 04/05/2015 . https://doi.org/10.1145/2737166.2737170","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2050572838.pdf","grobid_xml":"https://content.openalex.org/works/W2050572838.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W280170022","https://openalex.org/W1485093219","https://openalex.org/W1510137240","https://openalex.org/W1605177295","https://openalex.org/W1631091010","https://openalex.org/W1956986296","https://openalex.org/W2002399871","https://openalex.org/W2049641941","https://openalex.org/W2050837210","https://openalex.org/W2052397334","https://openalex.org/W2091585705","https://openalex.org/W2095463412","https://openalex.org/W2100304552","https://openalex.org/W2101674548","https://openalex.org/W2109488193","https://openalex.org/W2121607363","https://openalex.org/W2121738258","https://openalex.org/W2125930621","https://openalex.org/W2127467256","https://openalex.org/W2145856894","https://openalex.org/W2150377894","https://openalex.org/W2156129170","https://openalex.org/W2160743745","https://openalex.org/W2163626018","https://openalex.org/W2165860244","https://openalex.org/W2170600460","https://openalex.org/W2262960161","https://openalex.org/W2296189579","https://openalex.org/W2734343465","https://openalex.org/W2950142800","https://openalex.org/W3140384403","https://openalex.org/W6635824739","https://openalex.org/W6636660784"],"related_works":["https://openalex.org/W1589297475","https://openalex.org/W2330706584","https://openalex.org/W1987259072","https://openalex.org/W2903497870","https://openalex.org/W4398196867","https://openalex.org/W4389401673","https://openalex.org/W347335328","https://openalex.org/W2164976164","https://openalex.org/W2351307308","https://openalex.org/W1425458638"],"abstract_inverted_index":{"We":[0,93],"define":[1],"the":[2,10,30,43,90,95,117,124],"concept":[3],"of":[4,6,14,20,22,29,35,42,45,97,99,119,126],"degree":[5,19,96],"schedulability":[7,11,21,98],"to":[8],"characterize":[9],"and":[12,39,109],"performance":[13],"soft":[15],"real-time":[16],"systems.":[17],"The":[18,67,83],"a":[23,53,100],"system":[24,91],"is":[25,50,70],"given":[26],"in":[27,116],"terms":[28],"two":[31],"factors":[32],"1)":[33],"Percentage":[34],"Missed":[36],"Deadlines":[37],"(PoMD);":[38],"2)":[40],"Degradation":[41],"Quality":[44],"Service":[46],"(DoQoS).":[47],"Our":[48],"work":[49],"set":[51],"as":[52],"model-based":[54],"framework":[55,128],"for":[56],"hierarchical":[57],"scheduling":[58,102],"systems":[59],"where":[60],"we":[61,72,122],"introduce":[62],"probability":[63,81],"based":[64],"sporadic":[65,110],"tasks.":[66],"novel":[68],"aspect":[69],"that":[71,77],"consider":[73],"task":[74,86],"arrival":[75],"patterns":[76],"follow":[78],"user-defined":[79],"continuous":[80],"distributions.":[82],"separately":[84],"modeled":[85],"triggering":[87],"events":[88],"represent":[89],"environment.":[92],"determine":[94],"single":[101],"component":[103],"which":[104],"can":[105],"contain":[106],"both":[107],"periodic":[108],"tasks":[111],"using":[112],"statistical":[113],"model":[114],"checking":[115],"form":[118],"Uppaal-SMC.":[120],"Finally,":[121],"show":[123],"applicability":[125],"our":[127],"by":[129],"analyzing":[130],"an":[131],"avionics":[132],"case":[133],"study.":[134]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}