{"id":"https://openalex.org/W4406894572","doi":"https://doi.org/10.1109/icaase64542.2024.10850943","title":"FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems","display_name":"FRAME-ArchSoS: A Model-based Framework for the Formal Specification of Reliable Systems of Systems","publication_year":2024,"publication_date":"2024-11-09","ids":{"openalex":"https://openalex.org/W4406894572","doi":"https://doi.org/10.1109/icaase64542.2024.10850943"},"language":"en","primary_location":{"id":"doi:10.1109/icaase64542.2024.10850943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icaase64542.2024.10850943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Conference on Advanced Aspects of Software Engineering (ICAASE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05417705/document","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/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767747"]},{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Riad Helal","raw_affiliation_strings":["University of Constantine 2,LIRE Laboratory,Constantine,Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060087942","display_name":"Akram Seghiri","orcid":"https://orcid.org/0000-0002-1760-1932"},"institutions":[{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]},{"id":"https://openalex.org/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767747"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Akram Seghiri","raw_affiliation_strings":["University of Constantine 2,LIRE Laboratory,Constantine,Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077599276","display_name":"Kamel Boukhelfa","orcid":null},"institutions":[{"id":"https://openalex.org/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767747"]},{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Kamel Boukhelfa","raw_affiliation_strings":["University of Constantine 2,LIRE Laboratory,Constantine,Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"]}]},{"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/I4391767747","display_name":"University of Constantine 3","ror":"https://ror.org/04wk25q62","country_code":null,"type":"education","lineage":["https://openalex.org/I4391767747"]},{"id":"https://openalex.org/I125485651","display_name":"Constantine 1 University","ror":"https://ror.org/017wv6808","country_code":"DZ","type":"education","lineage":["https://openalex.org/I125485651"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Faiza Belala","raw_affiliation_strings":["University of Constantine 2,LIRE Laboratory,Constantine,Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Constantine 2,LIRE Laboratory,Constantine,Algeria","institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"]}]},{"author_position":"last","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":["University of Pau,LIUPPA Laboratory,Pau,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pau,LIUPPA Laboratory,Pau,France","institution_ids":["https://openalex.org/I144889574"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5098944680"],"corresponding_institution_ids":["https://openalex.org/I125485651","https://openalex.org/I4391767747"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31315461,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"9"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9970999956130981,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.992900013923645,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7255732417106628},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.6191267967224121},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.6050053238868713},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.566810131072998},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5166180729866028},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4266887605190277},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4117032289505005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7255732417106628},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.6191267967224121},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.6050053238868713},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.566810131072998},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5166180729866028},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4266887605190277},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4117032289505005},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icaase64542.2024.10850943","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icaase64542.2024.10850943","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 International Conference on Advanced Aspects of Software Engineering (ICAASE)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05417705v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05417705","pdf_url":"https://hal.science/hal-05417705/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2024, Constantine, Algeria. pp.1-9, ⟨10.1109/ICAASE64542.2024.10850943⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05417705v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05417705","pdf_url":"https://hal.science/hal-05417705/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2024 International Conference on Advanced Aspects of Software Engineering (ICAASE), Nov 2024, Constantine, Algeria. pp.1-9, ⟨10.1109/ICAASE64542.2024.10850943⟩","raw_type":"Conference papers"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4406894572.pdf"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W133886833","https://openalex.org/W1871531220","https://openalex.org/W2009555631","https://openalex.org/W2073667790","https://openalex.org/W2091045984","https://openalex.org/W2198066051","https://openalex.org/W2373001050","https://openalex.org/W2528003070","https://openalex.org/W2565721525","https://openalex.org/W2767875366","https://openalex.org/W2914348761","https://openalex.org/W2953807276","https://openalex.org/W3139248255","https://openalex.org/W3208732912","https://openalex.org/W4399729010","https://openalex.org/W4400277271","https://openalex.org/W6987446994"],"related_works":["https://openalex.org/W1903167137","https://openalex.org/W2171674700","https://openalex.org/W2145025660","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412","https://openalex.org/W2005596529"],"abstract_inverted_index":{"System":[0,83],"of":[1,8,26,35,50,157,176,187],"Systems":[2],"(SoS)":[3],"represents":[4],"a":[5,24,76,124,131,149,163],"complex":[6],"integration":[7],"independent":[9],"and":[10,28,39,60,66,86,96,126,138,174,202],"operational":[11],"constituent":[12],"systems":[13],"that":[14,46,79],"interconnect":[15],"temporarily":[16],"to":[17,58,63,92,119,136,148,154,169],"achieve":[18],"overarching":[19],"objectives.":[20],"These":[21],"sub-systems":[22],"retain":[23],"degree":[25],"autonomy":[27],"can":[29,43],"exhibit":[30],"significant":[31],"diversity":[32],"in":[33,101,123],"terms":[34],"technology,":[36],"context,":[37],"function,":[38],"geography.":[40],"While":[41],"SoS":[42,95,121,135,177],"provide":[44],"capabilities":[45],"surpass":[47],"the":[48,102,185],"sum":[49],"their":[51,64,140],"constituents,":[52],"they":[53],"also":[54],"introduce":[55],"challenges":[56,73],"related":[57],"unpredictability":[59],"complexity":[61,200],"due":[62],"dynamic":[65],"secure":[67],"behavior.":[68],"This":[69,107],"paper":[70],"addresses":[71],"these":[72],"by":[74],"proposing":[75],"multi-level":[77],"framework":[78,190],"investigates":[80],"how":[81],"Model-Based":[82],"Engineering":[84],"(MBSE)":[85],"formal":[87],"approaches":[88],"could":[89],"be":[90],"leveraged":[91],"model":[93,133],"reliable":[94,141],"identify":[97,137],"high-impact":[98],"solutions":[99],"early":[100],"system":[103,195,203],"development":[104],"life":[105],"cycle.":[106],"framework,":[108],"called":[109],"FRAME-archSoS,":[110],"comprises":[111],"(1)":[112],"an":[113,192],"Architectural":[114],"Description":[115],"Language":[116],"(ArchSoS)":[117],"dedicated":[118],"define":[120],"architectures":[122],"modular":[125],"reusable":[127],"manner,":[128],"(2)":[129],"M-SoSRe,":[130],"meta":[132],"for":[134],"represent":[139],"scenarios,":[142],"this":[143],"step":[144],"is":[145],"automated":[146],"thanks":[147],"generated":[150],"graphical":[151],"editor":[152],"(GE4ArchSoS)":[153],"simplify":[155],"accessibility":[156],"people":[158],"with":[159],"limited":[160],"knowledge,":[161],"(3)":[162],"transcription":[164],"approach":[165],"from":[166],"ArchSoS":[167],"specifications":[168],"Maude":[170],"modules":[171],"enabling":[172],"simulation":[173],"reconfiguration":[175],"behavior":[178],"while":[179],"supporting":[180],"fault":[181],"tolerance.":[182],"We":[183],"illustrate":[184],"validity":[186],"our":[188],"proposed":[189],"through":[191],"elderly":[193],"care":[194],"(ECG-SoS)":[196],"example,":[197],"demonstrating":[198],"effective":[199],"management":[201],"integrity.":[204]},"counts_by_year":[],"updated_date":"2026-05-07T13:39:58.223016","created_date":"2025-10-10T00:00:00"}