{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T13:26:08Z","timestamp":1773235568376,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T00:00:00Z","timestamp":1131840000000},"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":[[2005,11,13]]},"DOI":"10.1145\/1103846.1103847","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["Scheduling and memory requirements analysis with AADL"],"prefix":"10.1145","author":[{"given":"F.","family":"Singhoff","sequence":"first","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"J.","family":"Legrand","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"L.","family":"Nana","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]},{"given":"L.","family":"Marc\u00e9","sequence":"additional","affiliation":[{"name":"University of Brest, Brest Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2005,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"INRIA technical Report number","author":"Avrachenkov K. E.","year":"2002","unstructured":"K. E. Avrachenkov , N. O. Vilchensky , and G. L. Shevlyaokov . Priority queueing with finite buffer size and randomized push-out mechanism. Technical report , INRIA technical Report number 4434, Mar. 2002 . K. E. Avrachenkov, N. O. Vilchensky, and G. L. Shevlyaokov. Priority queueing with finite buffer size and randomized push-out mechanism. Technical report, INRIA technical Report number 4434, Mar. 2002."},{"key":"e_1_3_2_1_2_1","volume-title":"Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems","author":"Blazewicz J.","year":"1976","unstructured":"J. Blazewicz . Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems , Amsterdam , Noth-Holland , 1976 . J. Blazewicz. Scheduling Dependant Tasks with Different Arrival Times to Meet Deadlines. In. Gelende. H. Beilner (eds), Modeling and Performance Evaluation of Computer Systems, Amsterdam, Noth-Holland, 1976."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/233008.233043"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365326"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.1002\/0470856343","volume-title":"Scheduling in Real Time Systems","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_6_1","volume-title":"2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21","author":"Dissaux P.","year":"2004","unstructured":"P. Dissaux . Using the AADL for mission critical software development . 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21 , 22 and 23 January 2004 , Toulouse. P. Dissaux. Using the AADL for mission critical software development. 2nd European Congress ERTS, EMBEDDED REAL TIME SOFTWARE - 21, 22 and 23 January 2004, Toulouse."},{"key":"e_1_3_2_1_7_1","volume-title":"Collection IIA","author":"Gagnaire M.","year":"1996","unstructured":"M. Gagnaire and D. Kofman . R\u00e9seaux Haut D\u00e9bit: r\u00e9seaux ATM, r\u00e9seaux locaux, r\u00e9seaux tout-optiques. Masson-Inter Editions , Collection IIA , 1996 . M. Gagnaire and D. Kofman. R\u00e9seaux Haut D\u00e9bit: r\u00e9seaux ATM, r\u00e9seaux locaux, r\u00e9seaux tout-optiques. Masson-Inter Editions, Collection IIA, 1996."},{"key":"e_1_3_2_1_8_1","volume-title":"January","author":"Gallmeister B. O.","year":"1995","unstructured":"B. O. Gallmeister . POSIX 4: Programming for the Real World. O'Reilly and Associates , January 1995 . B. O. Gallmeister. POSIX 4: Programming for the Real World. O'Reilly and Associates, January 1995."},{"key":"e_1_3_2_1_9_1","volume-title":"Architecture analysis and design language (aadl) as 5506. Technical report","author":"S. Inc.","year":"2004","unstructured":"S. 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, Aug. 2004 . S. 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, Aug. 2004."},{"key":"e_1_3_2_1_10_1","volume-title":"Queueing Systems: Computer Application","author":"Kleinrock L.","year":"1975","unstructured":"L. Kleinrock . Queueing Systems: Computer Application . Wiley-interscience , 1975 . L. Kleinrock. Queueing Systems: Computer Application. Wiley-interscience, 1975."},{"key":"e_1_3_2_1_11_1","volume-title":"Queueing Systems: theory","author":"Kleinrock L.","year":"1975","unstructured":"L. Kleinrock . Queueing Systems: theory . Wiley-interscience , 1975 . L. Kleinrock. Queueing Systems: theory. Wiley-interscience, 1975."},{"key":"e_1_3_2_1_12_1","volume-title":"the 15th Euromicro International Conference of Real Time Systems (WIP Session)","author":"Legrand J.","year":"2003","unstructured":"J. Legrand , F. Singhoff , L. Nana , L. Marc\u00e9 , F. Dupont , and H. Hafidi . About Bounds of Buffers Shared by Periodic Tasks: the IRMA project . In the 15th Euromicro International Conference of Real Time Systems (WIP Session) , Porto , July 2003 . J. Legrand, F. Singhoff, L. Nana, L. Marc\u00e9, F. Dupont, and H. Hafidi. About Bounds of Buffers Shared by Periodic Tasks: the IRMA project. In the 15th Euromicro International Conference of Real Time Systems (WIP Session), Porto, July 2003."},{"key":"e_1_3_2_1_13_1","volume-title":"January","author":"Legrand J.","year":"2004","unstructured":"J. Legrand , F. Singhoff , L. N. Tchamnda , and L. Marc\u00e9 . Performance Analysis of Buffers Shared by Independent Periodic Tasks. LISYC Technical report number legrand-02-2004 , January 2004 . J. Legrand, F. Singhoff, L. N. Tchamnda, and L. Marc\u00e9. Performance Analysis of Buffers Shared by Independent Periodic Tasks. LISYC Technical report number legrand-02-2004, January 2004."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/827268.828944"},{"key":"e_1_3_2_1_15_1","volume-title":"A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118","author":"Leung J.","year":"1980","unstructured":"J. Leung and M. Merril . A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118 , 1980 . J. Leung and M. Merril. A note on preemptive scheduling of periodic real time tasks. Information processing Letters, 3(11):115--118, 1980."},{"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":"IEEE Oceanic Engineering Society - OCEANS'05","author":"Nana L.","year":"2005","unstructured":"L. Nana , F. Singhoff , J. Legrand , J. Vareille , P. L. Parc , F. Monin , D. Mass\u00e9 , L. Marc\u00e9 , J. Opderbecke , M. Perrier , and V. Rigaud . Embedded intelligent supervision and piloting for oceaographic auv . IEEE Oceanic Engineering Society - OCEANS'05 , France, Brest , June 2005 . L. Nana, F. Singhoff, J. Legrand, J. Vareille, P. L. Parc, F. Monin, D. Mass\u00e9, L. Marc\u00e9, J. Opderbecke, M. Perrier, and V. Rigaud. Embedded intelligent supervision and piloting for oceaographic auv. IEEE Oceanic Engineering Society - OCEANS'05, France, Brest, June 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/90358"},{"key":"e_1_3_2_1_19_1","volume-title":"December","author":"SEI.","year":"2004","unstructured":"SEI. OSATE: An extensible Source AADL Tool Environment. SEI AADL Team technical Report , December 2004 . SEI. OSATE: An extensible Source AADL Tool Environment. SEI AADL Team technical Report, December 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01159291"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1032297.1032298"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/131607.131649"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/519167.828785"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11499909_6"},{"key":"e_1_3_2_1_27_1","volume-title":"Rate-Controlled Service Disciplines. In journal of High Speed Netwokrs, 4(3)","author":"Zhang H.","year":"1994","unstructured":"H. Zhang and D. Ferrari . Rate-Controlled Service Disciplines. In journal of High Speed Netwokrs, 4(3) , 1994 . H. Zhang and D. Ferrari. Rate-Controlled Service Disciplines. In journal of High Speed Netwokrs, 4(3), 1994."}],"event":{"name":"SIGAda '05: ACM SIGAda Annual International Conference","location":"Atlanta GA USA","acronym":"SIGAda '05","sponsor":["ACM Association for Computing Machinery","SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103847","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1103846.1103847","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:48:54Z","timestamp":1750272534000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1103846.1103847"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,11,13]]},"references-count":27,"alternative-id":["10.1145\/1103846.1103847","10.1145\/1103846"],"URL":"https:\/\/doi.org\/10.1145\/1103846.1103847","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1104011.1103847","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,11,13]]},"assertion":[{"value":"2005-11-13","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}