{"id":"https://openalex.org/W7136192206","doi":"https://doi.org/10.3390/systems14030312","title":"A Formal Modeling Framework for Time-Aware Cyber\u2013Physical Systems of Systems","display_name":"A Formal Modeling Framework for Time-Aware Cyber\u2013Physical Systems of Systems","publication_year":2026,"publication_date":"2026-03-16","ids":{"openalex":"https://openalex.org/W7136192206","doi":"https://doi.org/10.3390/systems14030312"},"language":"en","primary_location":{"id":"doi:10.3390/systems14030312","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems14030312","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.3390/systems14030312","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5098944680","display_name":"Riad Helal","orcid":"https://orcid.org/0000-0003-2689-5036"},"institutions":[{"id":"https://openalex.org/I144889574","display_name":"Universit\u00e9 de Pau et des Pays de l'Adour","ror":"https://ror.org/01frn9647","country_code":"FR","type":"education","lineage":["https://openalex.org/I144889574"]},{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ","FR"],"is_corresponding":true,"raw_author_name":"Riad Helal","raw_affiliation_strings":["LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria","LIUPPA Laboratory, University of Pau, 64000 Pau, France"],"raw_orcid":"https://orcid.org/0000-0003-2689-5036","affiliations":[{"raw_affiliation_string":"LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria","institution_ids":["https://openalex.org/I4210160465"]},{"raw_affiliation_string":"LIUPPA Laboratory, University of Pau, 64000 Pau, France","institution_ids":["https://openalex.org/I144889574"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015524367","display_name":"Fa\u00efza Belala","orcid":"https://orcid.org/0000-0002-4563-4061"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Faiza Belala","raw_affiliation_strings":["LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-4563-4061","affiliations":[{"raw_affiliation_string":"LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006931124","display_name":"Nabil Hameurlain","orcid":"https://orcid.org/0000-0003-3311-4146"},"institutions":[{"id":"https://openalex.org/I144889574","display_name":"Universit\u00e9 de Pau et des Pays de l'Adour","ror":"https://ror.org/01frn9647","country_code":"FR","type":"education","lineage":["https://openalex.org/I144889574"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nabil Hameurlain","raw_affiliation_strings":["LIUPPA Laboratory, University of Pau, 64000 Pau, France"],"raw_orcid":"https://orcid.org/0000-0003-3311-4146","affiliations":[{"raw_affiliation_string":"LIUPPA Laboratory, University of Pau, 64000 Pau, France","institution_ids":["https://openalex.org/I144889574"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060087942","display_name":"Akram Seghiri","orcid":"https://orcid.org/0000-0002-1760-1932"},"institutions":[{"id":"https://openalex.org/I4210160465","display_name":"Universit\u00e9 Constantine 2","ror":"https://ror.org/056mctw68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210160465"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Akram Seghiri","raw_affiliation_strings":["LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-1760-1932","affiliations":[{"raw_affiliation_string":"LIRE Laboratory, University of Constantine 2 Abdelhamid Mehri, Constantine 25000, Algeria","institution_ids":["https://openalex.org/I4210160465"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5098944680"],"corresponding_institution_ids":["https://openalex.org/I144889574","https://openalex.org/I4210160465"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":25.9282,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.99182436,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"14","issue":"3","first_page":"312","last_page":"312"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5842999815940857,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.5842999815940857,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.07109999656677246,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.05810000002384186,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7888000011444092},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.6978999972343445},{"id":"https://openalex.org/keywords/linear-temporal-logic","display_name":"Linear temporal logic","score":0.5321999788284302},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.5145000219345093},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5065000057220459},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.4862000048160553},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.42980000376701355},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.40070000290870667},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.3926999866962433}],"concepts":[{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7888000011444092},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7501999735832214},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.6978999972343445},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.5321999788284302},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5145000219345093},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5065000057220459},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.4862000048160553},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4560000002384186},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.42980000376701355},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.40070000290870667},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39320001006126404},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3926999866962433},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3797999918460846},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.35850000381469727},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3343999981880188},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3325999975204468},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.33160001039505005},{"id":"https://openalex.org/C87912763","wikidata":"https://www.wikidata.org/wiki/Q7663737","display_name":"System of systems","level":3,"score":0.3181999921798706},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.29750001430511475},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.29510000348091125},{"id":"https://openalex.org/C31352089","wikidata":"https://www.wikidata.org/wiki/Q3750474","display_name":"Systems design","level":2,"score":0.2847999930381775},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C110963975","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"Systems modeling","level":2,"score":0.2782000005245209},{"id":"https://openalex.org/C84651959","wikidata":"https://www.wikidata.org/wiki/Q17052506","display_name":"System requirements specification","level":2,"score":0.2694999873638153},{"id":"https://openalex.org/C146072743","wikidata":"https://www.wikidata.org/wiki/Q192161","display_name":"Formal language","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.2587999999523163},{"id":"https://openalex.org/C107645828","wikidata":"https://www.wikidata.org/wiki/Q12070446","display_name":"System model","level":2,"score":0.25429999828338623},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/systems14030312","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems14030312","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:211bb179592d461badd075f18ee12521","is_oa":true,"landing_page_url":"https://doaj.org/article/211bb179592d461badd075f18ee12521","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Systems, Vol 14, Iss 3, p 312 (2026)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/systems14030312","is_oa":true,"landing_page_url":"https://doi.org/10.3390/systems14030312","pdf_url":null,"source":{"id":"https://openalex.org/S4210219410","display_name":"Systems","issn_l":"2079-8954","issn":["2079-8954"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Cyber\u2013Physical":[0],"Systems":[1,3],"of":[2,162],"(CPSoS)":[4],"integrate":[5],"autonomous":[6],"constituent":[7],"systems":[8],"to":[9,26,35,48,74],"accomplish":[10],"complex":[11],"missions.":[12],"Nonetheless,":[13],"decentralized":[14],"coordination":[15],"and":[16,37,43,90,97,108,121,151],"continuous":[17],"evolution":[18,133],"create":[19],"intricate":[20],"dependencies":[21],"that":[22,118],"make":[23],"behavior":[24,61,129],"difficult":[25],"analyze.":[27],"Current":[28],"semi-formal":[29],"modeling":[30],"approaches,":[31],"despite":[32],"being":[33],"easy":[34],"understand":[36],"widely":[38],"accessible,":[39],"lack":[40],"semantic":[41],"precision":[42],"are":[44,56],"not":[45],"computationally":[46],"checkable":[47],"guarantee":[49],"time-critical":[50],"properties.":[51,164],"Furthermore,":[52],"current":[53],"formal":[54,109],"methods":[55],"often":[57],"fragmented:":[58],"they":[59],"analyze":[60],"either":[62],"at":[63],"the":[64,69],"individual":[65],"CPS":[66,120],"level":[67],"or":[68],"collective":[70],"CPSoS":[71,122],"level,":[72],"failing":[73],"provide":[75],"a":[76,116,171],"multi-level":[77],"specification.":[78],"To":[79],"address":[80],"these":[81],"limitations,":[82],"we":[83,142,166],"propose":[84],"an":[85],"integrated":[86],"framework":[87],"combining":[88],"SysML":[89,94,144],"Maude":[91,102,147],"rewriting":[92],"logic.":[93],"provides":[95],"structural":[96],"behavioral":[98],"specification":[99],"capabilities,":[100],"while":[101],"enables":[103],"rigorous":[104],"semantics,":[105],"executable":[106],"models,":[107],"verification.":[110],"First,":[111],"our":[112,168],"approach":[113,169],"proposes":[114],"MM-CPSoS,":[115],"meta-model":[117],"unifies":[119],"entities":[123],"with":[124],"explicit":[125],"temporal":[126,157,163],"constraints.":[127],"Dynamic":[128],"is":[130],"captured":[131],"through":[132,170],"patterns":[134],"governing":[135],"mission":[136],"progression":[137],"across":[138],"both":[139],"levels.":[140],"Then,":[141],"encode":[143],"models":[145],"into":[146],"as":[148],"object-oriented":[149],"configurations":[150],"conditional":[152],"rewrite":[153],"rules,":[154],"enabling":[155],"linear":[156],"logic":[158],"(LTL)":[159],"model":[160],"checking":[161],"Finally,":[165],"demonstrate":[167],"Time-Aware":[172],"Road":[173],"Crisis":[174],"Management":[175],"System":[176],"(TaRCiMaS2).":[177]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2026-03-17T00:00:00"}