{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:44Z","timestamp":1772163944458,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,11,4]],"date-time":"2007-11-04T00:00:00Z","timestamp":1194134400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,11,4]]},"DOI":"10.1145\/1315580.1315593","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T09:30:20Z","timestamp":1195119020000},"page":"41-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":23,"title":["AADL modeling and analysis of hierarchical schedulers"],"prefix":"10.1145","author":[{"given":"Frank","family":"Singhoff","sequence":"first","affiliation":[{"name":"University of Brest, Brest Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017772"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1015346419267"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646244.684357"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/146941.146944"},{"key":"e_1_3_2_1_6_1","volume-title":"Esterel technologies SA. Available from http:\/\/www. esterel-technologies. com\/technology\/getting-started\/","author":"Berry G.","year":"2005","unstructured":"G. Berry . Getting Started with Esterel Studio 5. 3. Technical report , Esterel technologies SA. Available from http:\/\/www. esterel-technologies. com\/technology\/getting-started\/ , April 2005 . G. Berry. Getting Started with Esterel Studio 5. 3. Technical report, Esterel technologies SA. Available from http:\/\/www. esterel-technologies. com\/technology\/getting-started\/, April 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"Proceedings of the Ada Europe Conference","author":"Burns A.","year":"2003","unstructured":"A. Burns , M. Harbour , and A. Wellings . A round robin scheduling policy for Ada. In Reliable Software Technologies , Proceedings of the Ada Europe Conference 2003 . A. Burns, M. Harbour, and A. Wellings. A round robin scheduling policy for Ada. In Reliable Software Technologies, Proceedings of the Ada Europe Conference 2003."},{"key":"e_1_3_2_1_8_1","volume-title":"March","author":"Chemouil D.","year":"2007","unstructured":"D. Chemouil and N. Pontisso . V\u00e9rification formelle d'un mod\u00e8le AADL \u00e0 l'aide de l'outil UPPAAL. Revue G\u00e9nie Logiciel (80):36--40 , March 2007 . D. Chemouil and N. Pontisso. V\u00e9rification formelle d'un mod\u00e8le AADL \u00e0 l'aide de l'outil UPPAAL. Revue G\u00e9nie Logiciel (80):36--40, March 2007."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470856343","volume-title":"Scheduling in Real Time Systems John Wiley and Sons Ltd editors","author":"Cottet F.","year":"2002","unstructured":"F. Cottet , J. Delacroix , C. Kaiser , and Z. Mammeri . Scheduling in Real Time Systems John Wiley and Sons Ltd editors , 2002 . F. Cottet, J. Delacroix, C. Kaiser, and Z. Mammeri. Scheduling in Real Time Systems John Wiley and Sons Ltd editors, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.25"},{"key":"e_1_3_2_1_11_1","volume-title":"Modeling and Verification using UML State Charts Elsevier inc. editor","author":"Drusinsky D.","year":"2006","unstructured":"D. Drusinsky . Modeling and Verification using UML State Charts Elsevier inc. editor , 2006 . D. Drusinsky. Modeling and Verification using UML State Charts Elsevier inc. editor, 2006."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956586"},{"key":"e_1_3_2_1_13_1","volume-title":"Introduction of Automata Theory, Languages and Computation","author":"Hopcroft J. E.","year":"2001","unstructured":"J. E. Hopcroft and J. D. Ullman . Introduction of Automata Theory, Languages and Computation . Addison-Wesley editor, 2001 . J. E. Hopcroft and J. D. Ullman. Introduction of Automata Theory, Languages and Computation. Addison-Wesley editor, 2001."},{"key":"e_1_3_2_1_14_1","volume-title":"Architecture Analysis and Design Language (AADL) AS 5506. Technical report","author":"SAE Inc.","year":"2004","unstructured":"SAE Inc. Architecture Analysis and Design Language (AADL) AS 5506. Technical report , The Engineering Society For Advancing Mobility Land Sea Air and Space , Aerospace Information Report, Version 0.994, August 2004 . SAE Inc. Architecture Analysis and Design Language (AADL) AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 0.994, August 2004."},{"key":"e_1_3_2_1_15_1","volume-title":"AS 5506. Technical report","author":"SAE Inc.","year":"2007","unstructured":"SAE Inc. AADL Annex Behavior (draft V1. 6) , AS 5506. Technical report , The Engineering Society For Advancing Mobility Land Sea Air and Space , Aerospace Information Report, March 2007 . SAE Inc. AADL Annex Behavior (draft V1. 6), AS 5506. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, March 2007."},{"key":"e_1_3_2_1_16_1","unstructured":"ISO. Ada Reference Manual ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 16).  ISO. Ada Reference Manual ISO\/IEC 8652:1995(E) with Technical Corrigendum 1 and Amendment 1 (Draft 16)."},{"key":"e_1_3_2_1_17_1","volume-title":"Part 1: Overview and fundamental principles","author":"ISO","year":"1994","unstructured":"ISO 10303-1. Part 1: Overview and fundamental principles 1994 . ISO 10303-1. Part 1: Overview and fundamental principles 1994."},{"key":"e_1_3_2_1_18_1","volume-title":"Part 11: EXPRESS Language Reference Manual","author":"ISO","year":"1994","unstructured":"ISO 10303-11. Part 11: EXPRESS Language Reference Manual , 1994 . ISO 10303-11. Part 11: EXPRESS Language Reference Manual, 1994."},{"key":"e_1_3_2_1_19_1","volume-title":"BRICS RS-99-53","author":"Iversen T. K.","year":"1999","unstructured":"T. K. Iversen , K. J. Kristoffersen , K. G. Larsen , R. G. Madsen , M. Laursen , S. K. Mortensen , P. Pettersson , and C. B. Thomasen . Model-Checking Real Time Control Programs: Verifying LEGO Mindstorm Systems Using UPPAAL. Technical report , BRICS RS-99-53 , December 1999 . T. K. Iversen, K. J. Kristoffersen, K. G. Larsen, R. G. Madsen, M. Laursen, S. K. Mortensen, P. Pettersson, and C. B. Thomasen. Model-Checking Real Time Control Programs: Verifying LEGO Mindstorm Systems Using UPPAAL. Technical report, BRICS RS-99-53, December 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/35043.35047"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1014007.1014016"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(80)90123-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1185642.1185653"},{"key":"e_1_3_2_1_25_1","unstructured":"Platypus Technical Summary and download. http:\/\/cassoulet.univ-brest.fr\/mme\/.  Platypus Technical Summary and download. http:\/\/cassoulet.univ-brest.fr\/mme\/."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11767077_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/882482.883804"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/787256.787339"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/959222.959231"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/956418.956612"},{"key":"e_1_3_2_1_31_1","unstructured":"F.\n      Singhoff Cheddar\n     Release 2. \n      0\n      User's Guide\n    .\n  Technical report number singhoff-01-2007 Available at http:\/\/beru.univ-brest.fr\/~.\/cheddar February\n  2007\n  .  F. Singhoff Cheddar Release 2. 0 User's Guide. Technical report number singhoff-01-2007 Available at http:\/\/beru.univ-brest.fr\/~.\/cheddar February 2007."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103846.1103847"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/1769168.1769182"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176887.1176924"},{"key":"e_1_3_2_1_36_1","volume-title":"the new frontiers Prentice Hall","author":"Vahalia U.","year":"1996","unstructured":"U. Vahalia . UNIX Internals : the new frontiers Prentice Hall , 1996 . U. Vahalia. UNIX Internals: the new frontiers Prentice Hall, 1996."}],"event":{"name":"SIGAda '07: ACM SIGAda Annual International Conference","location":"Fairfax Virginia USA","acronym":"SIGAda '07","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2007 ACM international conference on SIGAda annual international conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315580.1315593","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1315580.1315593","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:58:21Z","timestamp":1750244301000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1315580.1315593"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,11,4]]},"references-count":35,"alternative-id":["10.1145\/1315580.1315593","10.1145\/1315580"],"URL":"https:\/\/doi.org\/10.1145\/1315580.1315593","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1315607.1315593","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,11,4]]},"assertion":[{"value":"2007-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}