{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:26:56Z","timestamp":1760369216925,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,5,4]],"date-time":"2015-05-04T00:00:00Z","timestamp":1430697600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"EU Artemis Projects","award":["MBAT, CRAFTERS"],"award-info":[{"award-number":["MBAT, CRAFTERS"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,5,4]]},"DOI":"10.1145\/2737166.2737170","type":"proceedings-article","created":{"date-parts":[[2015,4,28]],"date-time":"2015-04-28T12:44:02Z","timestamp":1430225042000},"page":"91-100","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Quantitative Schedulability Analysis of Continuous Probability Tasks in a Hierarchical Context"],"prefix":"10.1145","author":[{"given":"Jin Hyun","family":"Kim","sequence":"first","affiliation":[{"name":"INRIA\/IRISA, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdeldjalil","family":"Boudjadar","sequence":"additional","affiliation":[{"name":"Queen's University, Kingston, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrik","family":"Nyman","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Miku\u010dionis","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim G.","family":"Larsen","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arne","family":"Skou","sequence":"additional","affiliation":[{"name":"Aalborg University, Aalborg, Denmark"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Insup","family":"Lee","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Linh","family":"Thi Xuan Phan","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, Philadelphia, PA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2501626.2501629"},{"key":"e_1_3_2_1_2_1","volume-title":"December","author":"Asberg M.","year":"2010","unstructured":"M. Asberg , T. Nolte , and P. Pettersson . Prototyping and code synthesis of hierarchically scheduled systems using times. Journal of Convergence (Consumer Electronics), 1(1):77--86 , December 2010 . M. Asberg, T. Nolte, and P. Pettersson. Prototyping and code synthesis of hierarchically scheduled systems using times. Journal of Convergence (Consumer Electronics), 1(1):77--86, December 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128746"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of FACS 2013","author":"Boudjadar A.","year":"2013","unstructured":"A. Boudjadar , A. David , J. H. Kim , K. G. Larsen , M. Miku\u010dionis , U. Nyman , and A. Skou . Hierarchical scheduling framework based on compositional analysis using uppaal . In Proceedings of FACS 2013 , lncs. Springer , 2013 . To appear. A. Boudjadar, A. David, J. H. Kim, K. G. Larsen, M. Miku\u010dionis, U. Nyman, and A. Skou. Hierarchical scheduling framework based on compositional analysis using uppaal. In Proceedings of FACS 2013, lncs. Springer, 2013. To appear."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.27"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"P. E.\n      Bulychev A.\n      David K. G.\n      Larsen M.\n      Mikucionis D. B.\n      Poulsen A.\n      Legay and \n      Z.\n      Wang\n  . \n  Uppaal-smc: Statistical model checking for priced timed automata\n  . In H. Wiklicky and M. Massink editors QAPL volume \n  85\n   of \n  EPTCS pages \n  1\n  --\n  16 2012\n  .  P. E. Bulychev A. David K. G. Larsen M. Mikucionis D. B. Poulsen A. Legay and Z. Wang. Uppaal-smc: Statistical model checking for priced timed automata. In H. Wiklicky and M. Massink editors QAPL volume 85 of EPTCS pages 1--16 2012.","DOI":"10.4204\/EPTCS.85.1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.54"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"F.\n      Cassez\n     and \n      K. G.\n      Larsen\n  . \n  The impressive power of stopwatches\n  . In C. Palamidessi editor CONCUR volume \n  1877\n   of \n  Lecture Notes in Computer Science pages \n  138\n  --\n  152\n  . \n  Springer 2000\n  .   F. Cassez and K. G. Larsen. The impressive power of stopwatches. In C. Palamidessi editor CONCUR volume 1877 of Lecture Notes in Computer Science pages 138--152. Springer 2000.","DOI":"10.1007\/3-540-44618-4_12"},{"key":"e_1_3_2_1_9_1","first-page":"107","volume-title":"RTNS 2011","author":"Cordovilla M.","year":"2011","unstructured":"M. Cordovilla , F. Boniol , J. Forget , E. Noulard , and C. Pagetti . Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. In S. Faucou, A. Burns, and L. George, editors , RTNS 2011 , pages 107 -- 116 , 2011 . M. Cordovilla, F. Boniol, J. Forget, E. Noulard, and C. Pagetti. Developing critical embedded systems on multicore architectures: the PRELUDE-SCHEDMCORE toolset. In S. Faucou, A. Burns, and L. George, editors, RTNS 2011, pages 107--116, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_28"},{"key":"e_1_3_2_1_11_1","unstructured":"A.\n      David K. G.\n      Larsen A.\n      Legay M.\n      Mikucionis D. B.\n      Poulsen J.\n      van Vliet and \n      Z.\n      Wang\n  . \n  Statistical model checking for networks of priced timed automata\n  . In U. Fahrenberg and S. Tripakis editors FORMATS volume \n  6919\n   of \n  LNCS pages \n  80\n  --\n  96\n  . \n  Springer 2011\n  . {12} J. Diaz D. Garcia K. Kim C.-G. Lee L. Lo Bello J. Lopez S.-L. Min and O. Mirabella. Stochastic analysis of periodic real-time systems. In RTSS 2002 pages 289--300 2002.   A. David K. G. Larsen A. Legay M. Mikucionis D. B. Poulsen J. van Vliet and Z. Wang. Statistical model checking for networks of priced timed automata. In U. Fahrenberg and S. Tripakis editors FORMATS volume 6919 of LNCS pages 80--96. Springer 2011. {12} J. Diaz D. Garcia K. Kim C.-G. Lee L. Lo Bello J. Lopez S.-L. Min and O. Mirabella. Stochastic analysis of periodic real-time systems. In RTSS 2002 pages 289--300 2002."},{"key":"e_1_3_2_1_12_1","volume-title":"Department of Defence, Australia","author":"Dodd R.","year":"2006","unstructured":"R. Dodd . Coloured petri net modelling of a generic avionics missions computer. Technical report , Department of Defence, Australia , Air Operations Division , 2006 . R. Dodd. Coloured petri net modelling of a generic avionics missions computer. Technical report, Department of Defence, Australia, Air Operations Division, 2006."},{"key":"e_1_3_2_1_13_1","volume-title":"Infotech@Aerospace Conference","author":"Horvath G.","year":"2011","unstructured":"G. Horvath , S. Chung , D. Dvorak , and D. Hecox . Safety-critical partitioned software architecture: A partitioned software architecture for robotic spacecraft . In Infotech@Aerospace Conference 2011 . American Institute of Aeronautics and Astronautics , 2011. G. Horvath, S. Chung, D. Dvorak, and D. Hecox. Safety-critical partitioned software architecture: A partitioned software architecture for robotic spacecraft. In Infotech@Aerospace Conference 2011. American Institute of Aeronautics and Astronautics, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1967021.1967026"},{"key":"e_1_3_2_1_15_1","volume-title":"Statistical model checking: An overview. CoRR, abs\/1005.1327","author":"Legay A.","year":"2010","unstructured":"A. Legay and B. Delahaye . Statistical model checking: An overview. CoRR, abs\/1005.1327 , 2010 . A. Legay and B. Delahaye. Statistical model checking: An overview. CoRR, abs\/1005.1327, 2010."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_17_1","volume-title":"DTIC Document","author":"Locke C. D.","year":"1990","unstructured":"C. D. Locke , D. R. Vogel , L. Lucas , and J. B. Goodenough . Generic avionics software specification. Technical report , DTIC Document , 1990 . C. D. Locke, D. R. Vogel, L. Lucas, and J. B. Goodenough. Generic avionics software specification. Technical report, DTIC Document, 1990."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1898953.1899102"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/998685.1007007"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.30"},{"key":"e_1_3_2_1_21_1","volume-title":"USA","author":"Mok A. K.","year":"1983","unstructured":"A. K. Mok . Fundamental design problems of distributed systems for the hard-real-time environment. Technical report, Cambridge , USA , 1983 . A. K. Mok. Fundamental design problems of distributed systems for the hard-real-time environment. Technical report, Cambridge, USA, 1983."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000018246.09796.a3"},{"key":"e_1_3_2_1_23_1","volume-title":"WICERT 2013 proceedings","author":"Pop P.","year":"2013","unstructured":"P. Pop , L. Tsiopoulos , S. Voss , O. Slotosch , C. Ficek , U. Nyman , and A. Lopez . Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the recomp approach . In WICERT 2013 proceedings , 2013 . P. Pop, L. Tsiopoulos, S. Voss, O. Slotosch, C. Ficek, U. Nyman, and A. Lopez. Methods and tools for reducing certification costs of mixed-criticality applications on multi-core platforms: the recomp approach. In WICERT 2013 proceedings, 2013."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.773795"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.28"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347383"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356581"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.33"}],"event":{"name":"CompArch '15: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society"],"location":"Montr\u00e9al QC Canada","acronym":"CompArch '15"},"container-title":["Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737166.2737170","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2737166.2737170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:11Z","timestamp":1750225691000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2737166.2737170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,4]]},"references-count":28,"alternative-id":["10.1145\/2737166.2737170","10.1145\/2737166"],"URL":"https:\/\/doi.org\/10.1145\/2737166.2737170","relation":{},"subject":[],"published":{"date-parts":[[2015,5,4]]},"assertion":[{"value":"2015-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}