{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:51Z","timestamp":1772164011637,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,11,6]],"date-time":"2011-11-06T00:00:00Z","timestamp":1320537600000},"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":[[2011,11,6]]},"DOI":"10.1145\/2070337.2070359","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:55:03Z","timestamp":1321887303000},"page":"61-68","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["An Ada design pattern recognition tool for AADL performance analysis"],"prefix":"10.1145","author":[{"given":"Vincent","family":"Gaudel","sequence":"first","affiliation":[{"name":"University of Brest, Brest, France"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"University of Brest, Brest, France"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[{"name":"University of Brest, Brest, France"}]},{"given":"Stephane","family":"Rubini","sequence":"additional","affiliation":[{"name":"University of Brest, Brest, France"}]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[{"name":"Ellidiss Technologies , Brest, France"}]},{"given":"Jerome","family":"Legrand","sequence":"additional","affiliation":[{"name":"Ellidiss Technologies , Brest, France"}]}],"member":"320","published-online":{"date-parts":[[2011,11,6]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Arinc Committee","year":"1997","unstructured":"Arinc. Avionics Application Software Standard Interface . The Arinc Committee , January 1997 . Arinc. Avionics Application Software Standard Interface. The Arinc Committee, January 1997."},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/BFb0055011","volume-title":"Reliable Software Technologies Ada-Europe","author":"Burns A.","year":"1998","unstructured":"A. Burns , B. Dobbing , and G. Romanski . The ravenscar tasking profile for high integrity real-time programs . In Lars Asplund, editor, Reliable Software Technologies Ada-Europe , volume 1411 of Lecture Notes in Computer Science , pages 263 -- 275 . Springer Netherlands , 1998 . A. Burns, B. Dobbing, and G. Romanski. The ravenscar tasking profile for high integrity real-time programs. In Lars Asplund, editor, Reliable Software Technologies Ada-Europe, volume 1411 of Lecture Notes in Computer Science, pages 263--275. Springer Netherlands, 1998."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/0470856343"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the European Real Time System conference","author":"Dissaux P.","year":"2008","unstructured":"P. Dissaux and F. Singhoff . Stood and Cheddar : AADL as a Pivot Language for Analysing Performances of Real Time Architectures . Proceedings of the European Real Time System conference . Toulouse, France , January 2008 . P. Dissaux and F. Singhoff. Stood and Cheddar : AADL as a Pivot Language for Analysing Performances of Real Time Architectures. Proceedings of the European Real Time System conference. Toulouse, France, January 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01924-1_12"},{"key":"e_1_3_2_1_7_1","volume-title":"Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966","author":"George L.","year":"1996","unstructured":"L. George , N. Rivierre , and M. Spuri . Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966 , 1996 . L. George, N. Rivierre, and M. Spuri. Preemptive and Non-Preemptive Real-time Uni-processor Scheduling. INRIA Technical report number 2966, 1996."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2010.26"},{"key":"e_1_3_2_1_9_1","first-page":"125","volume-title":"13th Euromicro Conference on, 2001","author":"Harbour G.","year":"2002","unstructured":"G. Harbour , G. Garcia , P. Gutierrez , D. Moyano , : Modeling and analysis suite for real time applications. In Real-Time Systems , 13th Euromicro Conference on, 2001 ., pages 125 -- 134 . IEEE, 2002 . G. Harbour, G. Garcia, P. Gutierrez, D. Moyano, et al. MAST: Modeling and analysis suite for real time applications. In Real-Time Systems, 13th Euromicro Conference on, 2001., pages 125--134. IEEE, 2002."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/978-3-540-73230-3_10","volume-title":"Reliable software technologies: Ada-Europe 2007:  12th Ada-Europe International Conference on Reliable Software Technologies","author":"Panunzio M.","year":"2007","unstructured":"M. Panunzio and T. Vardanega . A metamodel-driven process featuring advanced model-based timing analysis . In Reliable software technologies: Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies , Geneva, Switzerland , June 25--29, 2007 : proceedings, pages 128 -- 141 . LNCS Springer-Verlag New York Inc , Volume 4498 , 2007. M. Panunzio and T. Vardanega. A metamodel-driven process featuring advanced model-based timing analysis. In Reliable software technologies: Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25--29, 2007: proceedings, pages 128--141. LNCS Springer-Verlag New York Inc, Volume 4498, 2007."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1185875.1185653"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/978-3-642-16558-0_3","volume-title":"Leveraging Applications of Formal Methods, Verification, and Validation","author":"Plantec A.","year":"2010","unstructured":"A. Plantec , F. Singhoff , P. Dissaux , and J. Legrand . Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns . In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation , volume 6415 of Lecture Notes in Computer Science , pages 4 -- 17 . Springer Berlin \/ Heidelberg , 2010 . A. Plantec, F. Singhoff, P. Dissaux, and J. Legrand. Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns. In Tiziana Margaria and Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation, volume 6415 of Lecture Notes in Computer Science, pages 4--17. Springer Berlin \/ Heidelberg, 2010."},{"key":"e_1_3_2_1_14_1","volume-title":"http:\/\/cassoulet.univ-brest.fr\/mme\/","author":"Summary Platypus Technical","year":"2007","unstructured":"Platypus Technical Summary and download. http:\/\/cassoulet.univ-brest.fr\/mme\/ , 2007 . Platypus Technical Summary and download. http:\/\/cassoulet.univ-brest.fr\/mme\/, 2007."},{"key":"e_1_3_2_1_15_1","volume-title":"Technical report","author":"Architecture Analysis SAE.","year":"2009","unstructured":"SAE. Architecture Analysis and Design Language (AADL) AS-5506A. Technical report , The Engineering Society For Advancing Mobility Land Sea Air and Space , Aerospace Information Report, Version 2.0, January 2009 . SAE. Architecture Analysis and Design Language (AADL) AS-5506A. Technical report, The Engineering Society For Advancing Mobility Land Sea Air and Space, Aerospace Information Report, Version 2.0, January 2009."},{"key":"e_1_3_2_1_16_1","unstructured":"F.\n      Singhoff\n    .\n  A taxonomy of real-time scheduling theory feasibility tests. LISyC Technical report number singhoff-01--2010 Available at http:\/\/beru.univ-brest.fr\/singhoff\/cheddar February\n  2010\n  .  F. Singhoff. A taxonomy of real-time scheduling theory feasibility tests. LISyC Technical report number singhoff-01--2010 Available at http:\/\/beru.univ-brest.fr\/singhoff\/cheddar February 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1769168.1769182"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"e_1_3_2_1_19_1","first-page":"10303","volume-title":"ISO DIS","author":"Spiby P.","year":"1992","unstructured":"P. Spiby . ISO 10303 industrial automation systems--product data representation and exchange--part 11: Description methods: The express language reference manual . ISO DIS , pages 10303 -- 10311 , 1992 . P. Spiby. ISO 10303 industrial automation systems--product data representation and exchange--part 11: Description methods: The express language reference manual. ISO DIS, pages 10303--11, 1992."},{"key":"e_1_3_2_1_20_1","volume-title":"Version 1.27. Technical report, download at http:\/\/www.htc.honeywell.com\/metah\/uguide.pdf","author":"Vestal S.","year":"1998","unstructured":"S. Vestal . Meta-H User's Manual , Version 1.27. Technical report, download at http:\/\/www.htc.honeywell.com\/metah\/uguide.pdf , 1998 . S. Vestal. Meta-H User's Manual, Version 1.27. Technical report, download at http:\/\/www.htc.honeywell.com\/metah\/uguide.pdf, 1998."},{"key":"e_1_3_2_1_21_1","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"Warmer Jos","year":"2003","unstructured":"Jos Warmer and Anneke Kleppe . The Object Constraint Language: Getting Your Models Ready for MDA . Addison-Wesley Longman Publishing Co., Inc. , Boston, MA, USA , 2 edition, 2003 . Jos Warmer and Anneke Kleppe. The Object Constraint Language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2 edition, 2003."}],"event":{"name":"SIGAda '11: ACM SIGAda Annual International Conference","location":"Denver Colorado USA","acronym":"SIGAda '11","sponsor":["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","Ada Europe Ada Europe","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070359","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2070337.2070359","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:54:52Z","timestamp":1750226092000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2070337.2070359"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,6]]},"references-count":21,"alternative-id":["10.1145\/2070337.2070359","10.1145\/2070337"],"URL":"https:\/\/doi.org\/10.1145\/2070337.2070359","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2070336.2070359","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,11,6]]},"assertion":[{"value":"2011-11-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}