{"id":"https://openalex.org/W4312851976","doi":"https://doi.org/10.1109/dasc/picom/cbdcom/cy55231.2022.9927773","title":"Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling","display_name":"Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling","publication_year":2022,"publication_date":"2022-09-12","ids":{"openalex":"https://openalex.org/W4312851976","doi":"https://doi.org/10.1109/dasc/picom/cbdcom/cy55231.2022.9927773"},"language":"en","primary_location":{"id":"doi:10.1109/dasc/picom/cbdcom/cy55231.2022.9927773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc/picom/cbdcom/cy55231.2022.9927773","pdf_url":null,"source":{"id":"https://openalex.org/S4363605495","display_name":"2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://cea.hal.science/cea-03789114","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072935100","display_name":"Megha Quamara","orcid":"https://orcid.org/0000-0001-9380-6916"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210128565","display_name":"CEA Paris-Saclay","ror":"https://ror.org/03n15ch10","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Megha Quamara","raw_affiliation_strings":["Université Paris-Saclay,CEA,Palaiseau,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris-Saclay,CEA,Palaiseau,France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016749454","display_name":"Gabriel Pedroza","orcid":"https://orcid.org/0000-0002-7889-2892"},"institutions":[{"id":"https://openalex.org/I2738703131","display_name":"Commissariat \u00e0 l'\u00c9nergie Atomique et aux \u00c9nergies Alternatives","ror":"https://ror.org/00jjx8s55","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131"]},{"id":"https://openalex.org/I277688954","display_name":"Universit\u00e9 Paris-Saclay","ror":"https://ror.org/03xjwb503","country_code":"FR","type":"education","lineage":["https://openalex.org/I277688954"]},{"id":"https://openalex.org/I4210128565","display_name":"CEA Paris-Saclay","ror":"https://ror.org/03n15ch10","country_code":"FR","type":"government","lineage":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gabriel Pedroza","raw_affiliation_strings":["Université Paris-Saclay,CEA,Palaiseau,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université Paris-Saclay,CEA,Palaiseau,France","institution_ids":["https://openalex.org/I2738703131","https://openalex.org/I277688954","https://openalex.org/I4210128565"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060963232","display_name":"Brahim Hamid","orcid":"https://orcid.org/0000-0002-2199-3916"},"institutions":[{"id":"https://openalex.org/I134560555","display_name":"Universit\u00e9 Toulouse III - Paul Sabatier","ror":"https://ror.org/02v6kpv12","country_code":"FR","type":"education","lineage":["https://openalex.org/I134560555"]},{"id":"https://openalex.org/I3131550300","display_name":"Universit\u00e9 Toulouse-I-Capitole","ror":"https://ror.org/0443n9e75","country_code":"FR","type":"education","lineage":["https://openalex.org/I3131550300"]},{"id":"https://openalex.org/I4210119061","display_name":"Institut de Recherche en Informatique de Toulouse","ror":"https://ror.org/01rx4qw44","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I205747304","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405259414"]},{"id":"https://openalex.org/I4210152422","display_name":"Universit\u00e9 Toulouse - Jean Jaur\u00e8s","ror":"https://ror.org/04ezk3x31","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210152422"]},{"id":"https://openalex.org/I4210160189","display_name":"Institut Polytechnique de Bordeaux","ror":"https://ror.org/054qv7y42","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210160189"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Brahim Hamid","raw_affiliation_strings":["Université de Toulouse,IRIT,France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Université de Toulouse,IRIT,France","institution_ids":["https://openalex.org/I134560555","https://openalex.org/I3131550300","https://openalex.org/I4210119061","https://openalex.org/I4210152422","https://openalex.org/I4210160189"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3374,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.57343819,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"106","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9990000128746033,"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/T10142","display_name":"Formal Methods in Verification","score":0.9965999722480774,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7013566493988037},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5381757616996765},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.5320053696632385},{"id":"https://openalex.org/keywords/security-engineering","display_name":"Security engineering","score":0.5045753717422485},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.48120763897895813},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4424581825733185},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.427153080701828},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.4122283458709717},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.2513084411621094},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2039901614189148},{"id":"https://openalex.org/keywords/software-security-assurance","display_name":"Software security assurance","score":0.197544664144516},{"id":"https://openalex.org/keywords/security-service","display_name":"Security service","score":0.13366326689720154},{"id":"https://openalex.org/keywords/information-security","display_name":"Information security","score":0.13014572858810425},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11961090564727783}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7013566493988037},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5381757616996765},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5320053696632385},{"id":"https://openalex.org/C13159133","wikidata":"https://www.wikidata.org/wiki/Q365674","display_name":"Security engineering","level":5,"score":0.5045753717422485},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.48120763897895813},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4424581825733185},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.427153080701828},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.4122283458709717},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.2513084411621094},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2039901614189148},{"id":"https://openalex.org/C62913178","wikidata":"https://www.wikidata.org/wiki/Q7554361","display_name":"Software security assurance","level":4,"score":0.197544664144516},{"id":"https://openalex.org/C29983905","wikidata":"https://www.wikidata.org/wiki/Q7445066","display_name":"Security service","level":3,"score":0.13366326689720154},{"id":"https://openalex.org/C527648132","wikidata":"https://www.wikidata.org/wiki/Q189900","display_name":"Information security","level":2,"score":0.13014572858810425},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11961090564727783}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/dasc/picom/cbdcom/cy55231.2022.9927773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dasc/picom/cbdcom/cy55231.2022.9927773","pdf_url":null,"source":{"id":"https://openalex.org/S4363605495","display_name":"2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:cea-03789114v1","is_oa":true,"landing_page_url":"https://cea.hal.science/cea-03789114","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cyber-science.org/2022/dasc/","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:cea-03789114v1","is_oa":true,"landing_page_url":"https://cea.hal.science/cea-03789114","pdf_url":null,"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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cyber-science.org/2022/dasc/","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1035875811","https://openalex.org/W1971486022","https://openalex.org/W1996832037","https://openalex.org/W2017739343","https://openalex.org/W2073278107","https://openalex.org/W2075820887","https://openalex.org/W2120708925","https://openalex.org/W2143386363","https://openalex.org/W2164045217","https://openalex.org/W2174086894","https://openalex.org/W2176465394","https://openalex.org/W2184105991","https://openalex.org/W2269444228","https://openalex.org/W2344784670","https://openalex.org/W2525236857","https://openalex.org/W2543248853","https://openalex.org/W2777754251","https://openalex.org/W2901447559","https://openalex.org/W2969940418","https://openalex.org/W2984192254","https://openalex.org/W3002697938","https://openalex.org/W3005344072","https://openalex.org/W3038819935","https://openalex.org/W3135014913","https://openalex.org/W4200472042","https://openalex.org/W4251985298","https://openalex.org/W6675519288","https://openalex.org/W6754880209"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2391979747","https://openalex.org/W2981877881","https://openalex.org/W2550448639","https://openalex.org/W1964135497"],"abstract_inverted_index":{"The":[0,177,199],"engineering":[1],"process":[2,52],"of":[3,16,93,117,142,170],"systems":[4],"deployed":[5],"in":[6,26],"critical":[7],"domains":[8],"(e.g.,":[9],"automotive)":[10],"advocates":[11],"for":[12,99,127,162,181,197],"early-stage":[13],"integrated":[14],"analysis":[15,116],"safety":[17,30,119,144],"and":[18,31,45,56,67,72,85,88,114,120,135,138,145,158,168,191],"security":[19,32,86,121,146],"concerns,":[20],"given":[21],"their":[22],"mutual":[23],"influence.":[24],"Specifically,":[25],"the":[27,38,90,111,124,153,163,174],"design":[28,41,113],"phase,":[29],"requirements":[33,68],"undergo":[34],"a":[35,128,188,194,205],"transition":[36],"to":[37,60,80,96,109],"system":[39,65,118,130],"architectural":[40],"across":[42,149],"different":[43],"granular":[44],"conceptual":[46],"representations.":[47],"However,":[48],"such":[49],"an":[50,107],"enrichment":[51],"is":[53,202],"often":[54],"complex":[55],"lacks":[57],"preliminary":[58],"guidance":[59],"consistently":[61],"break":[62],"down":[63],"high-level":[64],"specifications":[66],"into":[69],"intricate":[70],"architecture":[71],"deployment.":[73],"In":[74],"particular,":[75],"engineers":[76],"require":[77],"further":[78],"support":[79,180],"interpret":[81],"diverse":[82],"system,":[83],"safety,":[84],"expertise":[87],"facilitate":[89,110],"consistent":[91],"passage":[92],"knowledge":[94],"pertaining":[95],"these":[97],"disciplines":[98],"automated":[100],"analysis.":[101],"To":[102],"this":[103],"end,":[104],"we":[105],"propose":[106],"approach":[108,125,182,201],"joint":[112],"formal":[115,166],"concerns.":[122],"Notably,":[123],"aims":[126],"three-layered":[129],"modeling,":[131,165],"integrating":[132],"mission,":[133],"functional":[134],"component":[136],"views,":[137],"also,":[139],"reusable":[140],"libraries":[141],"pre-defined":[143],"properties,":[147],"specialize-able":[148],"them.":[150],"We":[151],"couple":[152],"Model-Driven":[154],"Engineering":[155],"(MDE)":[156],"paradigm":[157],"Formal":[159],"Methods":[160],"(FM)":[161],"hierarchical-precise":[164],"interpretation,":[167],"verification":[169],"model":[171],"views":[172],"w.r.t.":[173],"desired":[175],"properties.":[176],"accompanying":[178],"tool-chain":[179],"instantiation":[183],"builds":[184],"upon":[185],"Papyrus":[186],"as":[187,193],"modeling":[189],"framework":[190],"Rodin":[192],"formal-based":[195],"tool":[196],"verification.":[198],"proposed":[200],"illustrated":[203],"via":[204],"Connected-Driving":[206],"Vehicles":[207],"(CDVs)":[208],"use":[209],"case.":[210]},"counts_by_year":[{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}