{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,16]],"date-time":"2026-05-16T06:17:28Z","timestamp":1778912248596,"version":"3.51.4"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T00:00:00Z","timestamp":1706313600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T00:00:00Z","timestamp":1706313600000},"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":["J Supercomput"],"published-print":{"date-parts":[[2024,5]]},"DOI":"10.1007\/s11227-023-05866-0","type":"journal-article","created":{"date-parts":[[2024,1,27]],"date-time":"2024-01-27T18:02:03Z","timestamp":1706378523000},"page":"11431-11473","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Real-time design patterns for the verification of safety-critical embedded systems in model-based approach"],"prefix":"10.1007","volume":"80","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,27]]},"reference":[{"issue":"7","key":"5866_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3549526","volume":"55","author":"J Perez-Cerrolaza","year":"2022","unstructured":"Perez-Cerrolaza J, Abella J, Kosmidis L, Calderon AJ, Cazorla F, Flores JL (2022) Gpu devices for safety-critical systems: a survey. ACM Comput Surv 55(7):1\u201337","journal-title":"ACM Comput Surv"},{"issue":"1","key":"5866_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-022-01020-1","volume":"22","author":"C Verbruggen","year":"2023","unstructured":"Verbruggen C, Snoeck M (2023) Practitioners\u2019 experiences with model-driven engineering: a meta-review. Softw Syst Model 22(1):111\u2013129","journal-title":"Softw Syst Model"},{"key":"5866_CR3","doi-asserted-by":"crossref","unstructured":"Domingo \u00c1, Echeverr\u00eda J, Pastor O, Cetina C (2020) Evaluating the benefits of model-driven development: empirical evaluation paper. In: Advanced Information Systems Engineering: 32nd International Conference, CAiSE 2020, Grenoble, France, June 8\u201312, 2020, Proceedings 32. pp 353\u2013367","DOI":"10.1007\/978-3-030-49435-3_22"},{"key":"5866_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/OJSE.2023.3295946","volume":"1","author":"M Cutajar","year":"2023","unstructured":"Cutajar M, Ji S (2023) Bsafeml: a model-based hazard management technique for safety-critical systems development. IEEE Open J Syst Eng 1:81\u201393","journal-title":"IEEE Open J Syst Eng"},{"key":"5866_CR5","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. Inf Softw Technol 97:83\u201398","journal-title":"Inf Softw Technol"},{"issue":"6","key":"5866_CR6","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 Embedded Syst 11(6):738\u2013754","journal-title":"Int J Embedded Syst"},{"key":"5866_CR7","doi-asserted-by":"crossref","unstructured":"Khan AH, Khan ZH, Weiguo Z (2013) Model-based verification and validation of safety-critical embedded real-time systems: formation and tools. In: Embedded and real time system development. pp 153\u2013183","DOI":"10.1007\/978-3-642-40888-5_6"},{"key":"5866_CR8","doi-asserted-by":"publisher","first-page":"3110","DOI":"10.1007\/s11227-020-03386-9","volume":"77","author":"N Fredj","year":"2021","unstructured":"Fredj N, Hadj Kacem Y, Abid M (2021) An event-based approach for formally verifying runtime adaptive real-time systems. J Supercomput 77:3110\u20133143","journal-title":"J Supercomput"},{"issue":"12","key":"5866_CR9","doi-asserted-by":"publisher","first-page":"14703","DOI":"10.1007\/s11227-022-04446-y","volume":"78","author":"A Guasque","year":"2022","unstructured":"Guasque A, Aceituno JM, Balbastre P, Sim\u00f3 J, Crespo A (2022) Schedulability analysis of dynamic priority real-time systems with contention. J Supercomput 78(12):14703\u201314725","journal-title":"J Supercomput"},{"key":"5866_CR10","doi-asserted-by":"publisher","first-page":"100319","DOI":"10.1016\/j.cosrev.2020.100319","volume":"39","author":"S Ahamad","year":"2021","unstructured":"Ahamad S et al (2021) Some studies on performability analysis of safety critical systems. Comput Sci Rev 39:100319","journal-title":"Comput Sci Rev"},{"issue":"6","key":"5866_CR11","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.sysarc.2012.02.001","volume":"59","author":"MG Harbour","year":"2013","unstructured":"Harbour MG, Guti\u00e9rrez JJ, Drake JM, Mart\u00ednez PL, Palencia JC (2013) Modeling distributed real-time systems with mast 2. J Syst Architect 59(6):331\u2013340","journal-title":"J Syst Architect"},{"key":"5866_CR12","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 Archit 133:102761","journal-title":"J Syst Archit"},{"key":"5866_CR13","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). p 6","DOI":"10.1007\/978-3-319-11457-6_3"},{"issue":"1","key":"5866_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.2174\/2213275911666181019115744","volume":"12","author":"A Yahiaoui","year":"2019","unstructured":"Yahiaoui A, Bendjenna H, Roose P, Chung L, Amroune M (2019) Temporal pattern specifications for self-adaptive requirements. Recent Patents Comput Sci 12(1):58\u201368","journal-title":"Recent Patents Comput Sci"},{"issue":"12","key":"5866_CR15","doi-asserted-by":"publisher","first-page":"970","DOI":"10.1109\/TSE.2004.102","volume":"30","author":"S Konrad","year":"2004","unstructured":"Konrad S, Cheng BH, Campbell LA (2004) Object analysis patterns for embedded systems. IEEE Trans Softw Eng 30(12):970\u2013992","journal-title":"IEEE Trans Softw Eng"},{"issue":"1","key":"5866_CR16","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 (JACM) 20(1):46\u201361","journal-title":"J ACM (JACM)"},{"issue":"11","key":"5866_CR17","doi-asserted-by":"publisher","first-page":"1462","DOI":"10.1109\/TC.2004.103","volume":"53","author":"E Bini","year":"2004","unstructured":"Bini E, Buttazzo GC (2004) Schedulability analysis of periodic fixed priority systems. IEEE Trans Comput 53(11):1462\u20131473","journal-title":"IEEE Trans Comput"},{"issue":"5","key":"5866_CR18","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"},{"issue":"7","key":"5866_CR19","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1145\/59368.59371","volume":"8","author":"JB Goodenough","year":"1988","unstructured":"Goodenough JB, Sha L (1988) The priority ceiling protocol: a method for minimizing the blocking of high priority ADA tasks. ACM SIGAda Ada Lett 8(7):20\u201331","journal-title":"ACM SIGAda Ada Lett"},{"issue":"9","key":"5866_CR20","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"39","author":"L Sha","year":"1990","unstructured":"Sha L, Rajkumar R, Lehoczky JP (1990) Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans Comput 39(9):1175\u20131185","journal-title":"IEEE Trans Comput"},{"key":"5866_CR21","doi-asserted-by":"crossref","unstructured":"Mzid R, Mraidha C, Mehiaoui A, Tucci-Piergiovanni S, Babau JP, Abid M (2013) Dpmp: a software pattern for real-time tasks merge. In: European Conference on Modelling Foundations and Applications. pp 101\u2013117","DOI":"10.1007\/978-3-642-39013-5_8"},{"key":"5866_CR22","doi-asserted-by":"publisher","DOI":"10.1002\/9781119042976","volume-title":"Real-time systems scheduling 1: fundamentals","author":"M Chetto","year":"2014","unstructured":"Chetto M (2014) Real-time systems scheduling 1: fundamentals, vol 1. Wiley, New Jersy"},{"key":"5866_CR23","volume-title":"Elements of reusable object-oriented software","author":"E Gamma","year":"1995","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J, Patterns D (1995) Elements of reusable object-oriented software. Addison-Wesley Publishing Company, Design Patterns, Massachusetts"},{"issue":"1","key":"5866_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1921532.1921543","volume":"36","author":"R Pandey","year":"2011","unstructured":"Pandey R (2011) Object constraint language (ocl) past, present and future. ACM SIGSOFT Soft Eng Notes 36(1):1\u20134","journal-title":"ACM SIGSOFT Soft Eng Notes"},{"issue":"1","key":"5866_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0967-0661(93)92105-D","volume":"1","author":"NC Audsley","year":"1993","unstructured":"Audsley NC, Burns A, Wellings AJ (1993) Deadline monotonic scheduling theory and application. Control Eng Pract 1(1):71\u201378","journal-title":"Control Eng Pract"},{"issue":"6","key":"5866_CR26","doi-asserted-by":"publisher","first-page":"341","DOI":"10.1016\/j.sysarc.2013.02.001","volume":"59","author":"S Anssi","year":"2013","unstructured":"Anssi S, Kuntz S, G\u00e9rard S, Terrier F (2013) On the gap between schedulability tests and an automotive task model. J Syst Architect 59(6):341\u2013350","journal-title":"J Syst Architect"},{"key":"5866_CR27","doi-asserted-by":"publisher","first-page":"8012","DOI":"10.1007\/s11227-019-02980-w","volume":"75","author":"A Bernal","year":"2019","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","journal-title":"J Supercomput"},{"issue":"10","key":"5866_CR28","doi-asserted-by":"publisher","first-page":"1642","DOI":"10.1016\/j.jss.2009.03.032","volume":"82","author":"T Marew","year":"2009","unstructured":"Marew T, Lee JS, Bae DH (2009) Tactics based approach for integrating non-functional requirements in object-oriented analysis and design. J Syst Softw 82(10):1642\u20131656","journal-title":"J Syst Softw"},{"key":"5866_CR29","doi-asserted-by":"crossref","unstructured":"Bachmann F, Bass L, Klein M (2003) Deriving architectural tactics: a step toward methodical architectural design (Carnegie Mellon University, Software Engineering Institute)","DOI":"10.21236\/ADA413701"},{"key":"5866_CR30","doi-asserted-by":"crossref","unstructured":"Xu L, Hendrickson SA, Hettwer E, Ziv H, Van Der Hoek A, Richardson DJ (2006) Towards supporting the architecture design process through evaluation of design alternatives. In: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis. pp 81\u201387","DOI":"10.1145\/1147249.1147260"},{"key":"5866_CR31","doi-asserted-by":"crossref","unstructured":"Medina JL, Garcia Cuesta A (2011) Model-based analysis and design of real-time distributed systems with ADA and the UML profile for Marte. In: International Conference on Reliable Software Technologies. pp 89\u2013102","DOI":"10.1007\/978-3-642-21338-0_7"},{"key":"5866_CR32","unstructured":"Andrade Almeida JP (2006) Model-driven design of distributed applications. Centre for Telematics and Information Technology (CTIT)"},{"issue":"1","key":"5866_CR33","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":"5866_CR34","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 Proc Vol 41(2):6909\u20136913","journal-title":"IFAC Proc Vol"},{"key":"5866_CR35","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":"5866_CR36","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1878","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 Evol Process 30(3):e1878","journal-title":"J Softw Evol Process"},{"key":"5866_CR37","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. In: Proceedings of the 25th International Conference on Real-Time Networks and Systems","DOI":"10.1145\/3139258.3139286"},{"key":"5866_CR38","doi-asserted-by":"publisher","first-page":"107100","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. Inf Softw Technol 154:107100","journal-title":"Inf Softw Technol"},{"key":"5866_CR39","doi-asserted-by":"crossref","unstructured":"Andr\u00e9 \u00c9 (2013) Observer patterns for real-time systems. In: 18th International Conference on Engineering of Complex Computer Systems. pp 125\u2013134","DOI":"10.1109\/ICECCS.2013.26"},{"issue":"1","key":"5866_CR40","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":"5866_CR41","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"},{"issue":"7","key":"5866_CR42","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.2015.2398877","volume":"41","author":"M Autili","year":"2015","unstructured":"Autili M, Grunske L, Lumpe M, Pelliccione P, Tang A (2015) Aligning qualitative, real-time, and probabilistic property specification patterns using a structured English grammar. IEEE Trans Softw Eng 41(7):620\u2013638","journal-title":"IEEE Trans Softw Eng"},{"issue":"2","key":"5866_CR43","first-page":"389","volume":"237","author":"F Wang","year":"2023","unstructured":"Wang F, Ara\u00fajo DF, Li YF (2023) Reliability assessment of autonomous vehicles based on the safety control structure. Proc Inst Mech Eng Part O J Risk Reliab 237(2):389\u2013404","journal-title":"Proc Inst Mech Eng Part O J Risk Reliab"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05866-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-023-05866-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05866-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,6]],"date-time":"2024-05-06T11:03:56Z","timestamp":1714993436000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-023-05866-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,27]]},"references-count":43,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2024,5]]}},"alternative-id":["5866"],"URL":"https:\/\/doi.org\/10.1007\/s11227-023-05866-0","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,1,27]]},"assertion":[{"value":"19 December 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 January 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}