{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T04:19:49Z","timestamp":1760501989559,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2014,2,1]],"date-time":"2014-02-01T00:00:00Z","timestamp":1391212800000},"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":["SIGBED Rev."],"published-print":{"date-parts":[[2014,2]]},"abstract":"<jats:p>This article deals with performance verification of architecture models of real-time embedded systems. We investigate scheduling analysis of multi-tasks applications running on real-time operating systems (RTOS in this article). Scheduling analysis on these types of system can be performed with the real-time scheduling theory, but applying it is a complicated task. To allow designer to automatically apply this theory, we propose several architectural design patterns. Each architectural design pattern models a classical task synchronization or communication protocol available in RTOSes. In this article, we focus on those design patterns composition. We show how to compose the proposed design patterns and how scheduling analysis can be run with them.<\/jats:p>","DOI":"10.1145\/2597457.2597463","type":"journal-article","created":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T13:45:50Z","timestamp":1395668750000},"page":"44-49","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Composition of design patterns"],"prefix":"10.1145","volume":"11","author":[{"given":"Vincent","family":"Gaudel","sequence":"first","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Brest, France"}]},{"given":"Frank","family":"Singhoff","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Brest, France"}]},{"given":"Alain","family":"Plantec","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Bretagne Occidentale, Brest, France"}]},{"given":"Pierre","family":"Dissaux","sequence":"additional","affiliation":[{"name":"Ellidiss Technologies, Brest, France"}]},{"given":"J\u00e9r\u00f4me","family":"Legrand","sequence":"additional","affiliation":[{"name":"Ellidiss Technologies, Brest, France"}]}],"member":"320","published-online":{"date-parts":[[2014,2]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"4","article-title":"Enforcing applicability of real-time scheduling theory feasibility tests with the use of design-patterns,\" in Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation-Volume Part I","author":"Plantec A.","year":"2010","journal-title":"Springer-Verlag"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-009-9072-y"},{"key":"e_1_2_1_4_1","unstructured":"I. T. N. WD EXPRESS Language Reference Manual 1997.  I. T. N. WD EXPRESS Language Reference Manual 1997."},{"volume-title":"Inc.","year":"2003","author":"Warmer J.","key":"e_1_2_1_5_1"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646577.697453"},{"key":"e_1_2_1_7_1","unstructured":"Arinc Avionics Application Software Standard Interface. The Arinc Committee Jan. 1997.  Arinc Avionics Application Software Standard Interface . The Arinc Committee Jan. 1997."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070337.2070359"},{"key":"e_1_2_1_10_1","unstructured":"E. Gamma R. Helm R. Johnson and J. Vlissides \"Design patterns: Elements of reusable object-oriented design \" 1995.   E. Gamma R. Helm R. Johnson and J. Vlissides \"Design patterns: Elements of reusable object-oriented design \" 1995."},{"key":"e_1_2_1_11_1","volume-title":"USA","volume":"1","author":"Alexander C.","year":"1979"},{"volume-title":"Inc.","year":"2002","author":"Douglass B. P.","key":"e_1_2_1_12_1"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/52.566427"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(1996)2:1%3C3::AID-TAPO1%3E3.0.CO;2-#"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1104011.1103847"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"key":"e_1_2_1_17_1","unstructured":"T. Vardanega \"When theory meets technology \" in Proceedings of a conference organized in celebration of Professor Alan Burns' sixtieth birthday p. 178.  T. Vardanega \"When theory meets technology \" in Proceedings of a conference organized in celebration of Professor Alan Burns' sixtieth birthday p. 178."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11811-1_19"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2005.14"},{"key":"e_1_2_1_20_1","first-page":"94","volume-title":"11th IEEE International Workshop on. IEEE","author":"Heuzeroth D.","year":"2003"}],"container-title":["ACM SIGBED Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597457.2597463","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2597457.2597463","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:09:58Z","timestamp":1750234198000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2597457.2597463"}},"subtitle":["from the modeling of RTOS synchronization tools to schedulability analysis"],"short-title":[],"issued":{"date-parts":[[2014,2]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2014,2]]}},"alternative-id":["10.1145\/2597457.2597463"],"URL":"https:\/\/doi.org\/10.1145\/2597457.2597463","relation":{},"ISSN":["1551-3688"],"issn-type":[{"type":"electronic","value":"1551-3688"}],"subject":[],"published":{"date-parts":[[2014,2]]},"assertion":[{"value":"2014-02-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}