{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T04:18:19Z","timestamp":1760501899103,"version":"3.41.0"},"reference-count":20,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2011,1,24]],"date-time":"2011-01-24T00:00:00Z","timestamp":1295827200000},"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":["SIGSOFT Softw. Eng. Notes"],"published-print":{"date-parts":[[2011,1,24]]},"abstract":"<jats:p>The construction of a design model is a critical phase in RTS development as the choices made have a direct impact on timing aspects. In traditional model-based approaches, the design relies largely on the designer experience. Once the design model is constructed, a convenient schedulability test has to be found in order to ensure that the design allows the respect of the timing constraints. This late analysis does not guarantee the existence of a test for the given design and does not allow early detection of unfeasible designs. In order to enhance reliability of RTS, this paper proposes a two step methodology for schedulability-aware real-time software design models construction. Having a high-level functional model as entry, the first methodology step consists in the workload model specification. The workload model represents the system end-to-end workload of critical scenarios triggered by an external stimulus and subject to hard-real time constraints. The second step is the refinement of the workload model towards a Schedulability Analysis Model defining an appropriate and analyzable threading strategy model. The threading strategy defines the set of units of execution taken into account by the scheduler of the system and their scheduling parameters. Different threading strategies can be then evaluated from a schedulability point of view in order to guide the designer towards the choice of the most appropriate one<\/jats:p>","DOI":"10.1145\/1921532.1921555","type":"journal-article","created":{"date-parts":[[2011,3,17]],"date-time":"2011-03-17T12:40:16Z","timestamp":1300365616000},"page":"1-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":33,"title":["Optimum"],"prefix":"10.1145","volume":"36","author":[{"given":"Chokri","family":"Mraidha","sequence":"first","affiliation":[{"name":"CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[{"name":"CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Gerard","sequence":"additional","affiliation":[{"name":"CEA, LIST, 91191 Gif-sur-Yvette CEDEX, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,1,24]]},"reference":[{"key":"e_1_2_1_1_1","volume-title":"UML and Platform-Based Design","author":"Chen R.","year":"2003","unstructured":"Chen , R. , Sgroi , M. , Lavagno , L. , Martin , G. and Sangiovanni-Vincentelli , A. UML and Platform-Based Design . Kluwer Academic Publishers , 2003 . Chen, R., Sgroi, M., Lavagno, L., Martin, G. and Sangiovanni-Vincentelli, A. UML and Platform-Based Design. Kluwer Academic Publishers, 2003."},{"key":"e_1_2_1_2_1","volume-title":"Distributed and Real-Time Applications with UML","author":"Gomaa H.","year":"2000","unstructured":"Gomaa , H. Designing Concurrent , Distributed and Real-Time Applications with UML . Addison-Wesley , 2000 . Gomaa, H. Designing Concurrent, Distributed and Real-Time Applications with UML. Addison-Wesley, 2000."},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the Forum on specification and Design Languages (FDL)","author":"Phan T.","year":"2003","unstructured":"Phan , T. , Gerard , S. and Terrier , F . Real-time system modeling with ACCORD\/UML methodology: illustration through an automotive case study . In Proceedings of the Forum on specification and Design Languages (FDL) ( 2003 ). Phan, T., Gerard, S. and Terrier, F. Real-time system modeling with ACCORD\/UML methodology: illustration through an automotive case study. In Proceedings of the Forum on specification and Design Languages (FDL) (2003)."},{"key":"e_1_2_1_4_1","volume-title":"Real Time UML: Advances in the UML for Real-Time Systems","author":"Douglass B. P.","year":"2004","unstructured":"Douglass , B. P. Real Time UML: Advances in the UML for Real-Time Systems ( 3 rd Edition) 2004 . Douglass, B. P. Real Time UML: Advances in the UML for Real-Time Systems (3rd Edition) 2004.","edition":"3"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2005.24"},{"key":"e_1_2_1_6_1","unstructured":"OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) 2009.  OMG UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) 2009."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/EUROMICRO.2006.14"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088593"},{"key":"e_1_2_1_9_1","volume-title":"J. P. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (Lake Buena Vista","author":"Lehoczky","year":"1990","unstructured":"Lehoczky , J. P. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (Lake Buena Vista , Florida, USA , 1990 ). IEEE. Lehoczky, J. P. Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadlines. In Proceedings of the IEEE Real-Time Systems Symposium (RTSS) (Lake Buena Vista, Florida, USA, 1990). IEEE."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"e_1_2_1_11_1","volume-title":"INRIA","author":"Spuri M.","year":"1996","unstructured":"Spuri , M. Analysis of deadline scheduled real-time systems . INRIA , 1996 . Spuri, M. Analysis of deadline scheduled real-time systems. INRIA, 1996."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-6074(94)90080-9"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/827266.828531"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1947412.1947431"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.39"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11424529_16"},{"key":"e_1_2_1_17_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2796-1","volume-title":"A Practioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems","author":"Klein M. H.","year":"1993","unstructured":"Klein , M. H. , Rayla , T. , Pollak , B. , Obenza , R. and Harbour , M. G . A Practioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems . Kluwer Academic Publishers , Boston , 1993 . Klein, M. H., Rayla, T., Pollak, B., Obenza, R. and Harbour, M. G. A Practioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publishers, Boston, 1993."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584409"},{"key":"e_1_2_1_20_1","volume-title":"Schedulability analysis of embedded applications modelled using MARTE","author":"Jensen K. E. A.","year":"2009","unstructured":"Jensen , K. E. A. Schedulability analysis of embedded applications modelled using MARTE . Technical University of Denmark , 2009 . Jensen, K. E. A. Schedulability analysis of embedded applications modelled using MARTE. Technical University of Denmark, 2009."}],"container-title":["ACM SIGSOFT Software Engineering Notes"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921555","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1921532.1921555","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:41Z","timestamp":1750248521000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1921532.1921555"}},"subtitle":["a MARTE-based methodology for schedulability analysis at early design stages"],"short-title":[],"issued":{"date-parts":[[2011,1,24]]},"references-count":20,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1,24]]}},"alternative-id":["10.1145\/1921532.1921555"],"URL":"https:\/\/doi.org\/10.1145\/1921532.1921555","relation":{},"ISSN":["0163-5948"],"issn-type":[{"type":"print","value":"0163-5948"}],"subject":[],"published":{"date-parts":[[2011,1,24]]},"assertion":[{"value":"2011-01-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}