{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T23:50:59Z","timestamp":1780444259666,"version":"3.54.1"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T00:00:00Z","timestamp":1741219200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T00:00:00Z","timestamp":1741219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2025,12]]},"DOI":"10.1007\/s11334-025-00600-w","type":"journal-article","created":{"date-parts":[[2025,3,6]],"date-time":"2025-03-06T08:50:00Z","timestamp":1741251000000},"page":"1349-1361","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Software architecture design for real-time control systems: how design patterns could help?"],"prefix":"10.1007","volume":"21","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,3,6]]},"reference":[{"key":"600_CR1","doi-asserted-by":"crossref","unstructured":"Laplante PA, Kassab M (2022) What every engineer should know about software engineering CRC Press","DOI":"10.1201\/9781003218647"},{"key":"600_CR2","unstructured":"Bass L, Clements P, Kazman R (2012) Software architecture in practice: software architect practice_c3 Addison-Wesley"},{"issue":"27","key":"600_CR3","doi-asserted-by":"publisher","first-page":"20375","DOI":"10.1007\/s00521-023-08778-5","volume":"35","author":"B Haouari","year":"2023","unstructured":"Haouari B, Mzid R, Mosbahi O (2023) A reinforcement learning-based approach for online optimal control of self-adaptive real-time systems. Neural Comput Appls 35(27):20375\u201320401","journal-title":"Neural Comput Appls"},{"key":"600_CR4","unstructured":"Zafar MN (2022) Model-based system testing of safety-critical embedded software Malardalen University: Sweden"},{"issue":"6","key":"600_CR5","doi-asserted-by":"publisher","first-page":"738","DOI":"10.1504\/IJES.2019.103991","volume":"11","author":"R Mzid","year":"2019","unstructured":"Mzid R, Mraidha C, Babau JP, Abid M (2019) From real-time design model to rtos-specific models: a model-driven methodology. Int J Embed Syst 11(6):738\u2013754","journal-title":"Int J Embed Syst"},{"key":"600_CR6","doi-asserted-by":"crossref","unstructured":"Taha WM, Taha AEM, Thunberg J (2021) Cyber-physical systems: a model-based approach Springer Nature :Singapore","DOI":"10.1007\/978-3-030-36071-9"},{"key":"600_CR7","unstructured":"Coyne G (2023) Software design patterns for scalable and maintainable applications. Kuwait J Softw Design Develop 1(1)"},{"key":"600_CR8","doi-asserted-by":"crossref","unstructured":"Mzid R (2024) Real-time design patterns for the verification of safety-critical embedded systems in model-based approach. J Supercomput pp 1\u201343","DOI":"10.1007\/s11227-023-05866-0"},{"key":"600_CR9","doi-asserted-by":"crossref","unstructured":"Akesson B, Nasri M, Nelissen G, Altmeyer S, Davis RI (2020) in 2020 IEEE real-time systems symposium (RTSS), pp 3\u201311","DOI":"10.1109\/RTSS49844.2020.00012"},{"issue":"2","key":"600_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1093\/comjnl\/34.2.173","volume":"34","author":"A Burns","year":"1991","unstructured":"Burns A, Lister AM (1991) A framework for building dependable systems. Computer J 34(2):173\u2013181","journal-title":"Computer J"},{"key":"600_CR11","doi-asserted-by":"crossref","unstructured":"Haouari B, Mzid R, Mosbahi O (2024) in ENASE, pp 179\u2013189","DOI":"10.5220\/0012721500003687"},{"key":"600_CR12","doi-asserted-by":"crossref","unstructured":"Lassoued R, Mzid R (2022) in International conference on intelligent systems design and applications Springer. pp 448\u2013457","DOI":"10.1007\/978-3-031-35501-1_45"},{"issue":"1","key":"600_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C Mraidha","year":"2011","unstructured":"Mraidha C, Tucci-Piergiovanni S, Gerard S (2011) Optimum: a marte-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw Eng Notes 36(1):1\u20138","journal-title":"ACM SIGSOFT Softw Eng Notes"},{"issue":"2","key":"600_CR14","doi-asserted-by":"publisher","first-page":"6909","DOI":"10.3182\/20080706-5-KR-1001.01171","volume":"41","author":"S G\u00e9rard","year":"2008","unstructured":"G\u00e9rard S, Selic B (2008) The uml-marte standardized profile. IFAC Proceed Volumes 41(2):6909\u20136913","journal-title":"IFAC Proceed Volumes"},{"key":"600_CR15","doi-asserted-by":"crossref","unstructured":"Mura M, Murillo LG, Prevostini M (2008) Model-based design space exploration for rtes with sysml and marte. In: 2008 Forum on Specification, Verification and Design Languages pp 203\u2013208","DOI":"10.1109\/FDL.2008.4641446"},{"issue":"3","key":"600_CR16","volume":"30","author":"M Mori","year":"2018","unstructured":"Mori M, Ceccarelli A, Lollini P, Fr\u00f6mel B, Brancati F, Bondavalli A (2018) Systems-of-systems modeling using a comprehensive viewpoint-based sysml profile. J Softw: Evolut Process 30(3):e1878","journal-title":"J Softw: Evolut Process"},{"key":"600_CR17","doi-asserted-by":"crossref","unstructured":"Long ATB, Ouhammou Y, Grolleau E, Fejoz L, Rioux L (2017) Bridging the gap between practical cases and temporal performance analysis: a models repository-based approach. Proceedings of the 25th international conference on real-time networks and systems","DOI":"10.1145\/3139258.3139286"},{"issue":"2","key":"600_CR18","doi-asserted-by":"publisher","first-page":"925","DOI":"10.1007\/s10586-019-02968-4","volume":"23","author":"MB Said","year":"2020","unstructured":"Said MB, Kacem YH, Kerboeuf M, Abid M (2020) An mde-based approach for self-adaptive RTES model generation. Clust Comput 23(2):925\u2013951","journal-title":"Clust Comput"},{"key":"600_CR19","first-page":"8","volume":"2014","author":"MB Said","year":"2014","unstructured":"Said MB, Kacem YH, Kerboeuf M, Amor NB, Abid M (2014) Design patterns for self-adaptive rte systems specification. Int J Reconfigur Comput 2014:8\u20138","journal-title":"Int J Reconfigur Comput"},{"key":"600_CR20","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/j.infsof.2018.01.002","volume":"97","author":"A Magdich","year":"2018","unstructured":"Magdich A, Kacem YH, Kerboeuf M, Mahfoudhi A, Abid M (2018) A design pattern-based approach for automatic choice of semi-partitioned and global scheduling algorithms. Inform Softw Technol 97:83\u201398","journal-title":"Inform Softw Technol"},{"key":"600_CR21","doi-asserted-by":"crossref","unstructured":"Ch\u00e9ramy M, Hladik PE, D\u00e9planche AM (2014) Simso: A simulation tool to evaluate real-time multiprocessor scheduling algorithms. In: 5th International workshop on analysis tools and methodologies for embedded and real-time systems (WATERS) pp 6\u2013p","DOI":"10.1007\/978-3-319-11457-6_3"},{"issue":"1","key":"600_CR22","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/2597457.2597463","volume":"11","author":"V Gaudel","year":"2014","unstructured":"Gaudel V, Singhoff F, Plantec A, Dissaux P, Legrand J (2014) Composition of design patterns: from the modeling of rtos synchronization tools to schedulability analysis. ACM SIGBED Rev 11(1):44\u201349","journal-title":"ACM SIGBED Rev"},{"issue":"3","key":"600_CR23","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2070336.2070359","volume":"31","author":"V Gaudel","year":"2011","unstructured":"Gaudel V, Singhoff F, Plantec A, Rubini S, Dissaux P, Legrand J (2011) An ada design pattern recognition tool for aadl performance analysis. ACM SIGAda Ada Lett 31(3):61\u201368","journal-title":"ACM SIGAda Ada Lett"},{"key":"600_CR24","first-page":"3","volume":"2","author":"PH Feiler","year":"2004","unstructured":"Feiler PH, Lewis B, Vestal S, Colbert E (2004) An overview of the sae architecture analysis & design language (aadl) standard: a basis for model-based architecture-driven embedded systems engineering. IFIP World Computer Congr 2:3\u201315","journal-title":"IFIP World Computer Congr"},{"key":"600_CR25","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102761","volume":"133","author":"S Rubini","year":"2022","unstructured":"Rubini S, Nicolas VA, Singhoff F, Plantec A, Tran HN, Dissaux P (2022) Specification of schedulability assumptions to leverage multiprocessor analysis. J Syst Architect 133:102761","journal-title":"J Syst Architect"},{"key":"600_CR26","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2022.107100","volume":"154","author":"T Vogel","year":"2023","unstructured":"Vogel T, Carwehl M, Rodrigues GN, Grunske L (2023) A property specification pattern catalog for real-time system verification with uppaal. Inform Softw Technol 154:107100","journal-title":"Inform Softw Technol"},{"key":"600_CR27","volume-title":"The timeless way of building","author":"C Alexander","year":"1979","unstructured":"Alexander C (1979) The timeless way of building. Oxford University Press, New york"},{"key":"600_CR28","unstructured":"Beck K (1987) in OOPSLA-87 workshop on the specification and design for object-oriented programming"},{"key":"600_CR29","unstructured":"Gamma E, Helm R, Johnson R, Johnson RE, Vlissides J (1995) Design patterns: elements of reusable object-oriented software"},{"issue":"1","key":"600_CR30","first-page":"3","volume":"2","author":"D Riehle","year":"1996","unstructured":"Riehle D, Z\u00fcllighoven H (1996) Understanding and using patterns in software development. Tapos 2(1):3\u201313","journal-title":"Tapos"},{"key":"600_CR31","unstructured":"Jacobson I, Booch G, Rumbaugh J (1996) The unified modeling language. University Video Communications"},{"issue":"1","key":"600_CR32","first-page":"1","volume":"20","author":"P Pazzaglia","year":"2020","unstructured":"Pazzaglia P, Sun Y, Natale MD (2020) Generalized weakly hard schedulability analysis for real-time periodic tasks. ACM Trans Embed Comput Syst TECS) 20(1):1\u201326","journal-title":"ACM Trans Embed Comput Syst TECS)"},{"issue":"1","key":"600_CR33","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu CL, Layland JW (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM 20(1):46\u201361","journal-title":"J ACM"},{"issue":"5","key":"600_CR34","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1049\/sej.1993.0034","volume":"8","author":"N Audsley","year":"1993","unstructured":"Audsley N, Burns A, Richardson M, Tindell K, Wellings AJ (1993) Applying new scheduling theory to static priority pre-emptive scheduling. Softw Eng J 8(5):284\u2013292","journal-title":"Softw Eng J"},{"key":"600_CR35","doi-asserted-by":"crossref","unstructured":"Bouaziz R, Kallel S, Coulette B (2014) In: International conference on computational science and its applications Springer, pp 283\u2013296","DOI":"10.1007\/978-3-319-09156-3_21"},{"key":"600_CR36","doi-asserted-by":"crossref","unstructured":"Bernal A, Cambronero ME, N\u00fa\u00f1ez A, Ca\u00f1izares PC, Valero V (2019) Improving cloud architectures using uml profiles and m2t transformation techniques. J Supercomput 75:8012\u20138058","DOI":"10.1007\/s11227-019-02980-w"},{"key":"600_CR37","unstructured":"Harbour MG, Garc\u00eda JG, Guti\u00e9rrez JP, Moyano JD, In: Proceedings 13th Euromicro conference on real-time systems IEEE (2001), pp 125\u2013134"},{"key":"600_CR38","unstructured":"Fotsing C, Singhoff F, Plantec A, Gaudel V, Rubini S, Li S, Tran HN, Lemarchand L, Dissaux P, Legrand J (2014) Cheddar architecture description language. Lab-STICC technical report"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-025-00600-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11334-025-00600-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-025-00600-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,15]],"date-time":"2025-10-15T03:04:54Z","timestamp":1760497494000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11334-025-00600-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,6]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["600"],"URL":"https:\/\/doi.org\/10.1007\/s11334-025-00600-w","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,3,6]]},"assertion":[{"value":"10 October 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"17 February 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"6 March 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no Conflict of interest to declare that are relevant to the content of this article.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}