{"id":"https://openalex.org/W4200389902","doi":"https://doi.org/10.1080/09540091.2021.2017853","title":"SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems","display_name":"SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems","publication_year":2021,"publication_date":"2021-12-26","ids":{"openalex":"https://openalex.org/W4200389902","doi":"https://doi.org/10.1080/09540091.2021.2017853"},"language":"en","primary_location":{"id":"doi:10.1080/09540091.2021.2017853","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2021.2017853","pdf_url":null,"source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1080/09540091.2021.2017853","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101706811","display_name":"Jian Xie","orcid":"https://orcid.org/0000-0002-3215-4691"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jian Xie","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101864135","display_name":"Wenan Tan","orcid":"https://orcid.org/0000-0002-5651-0849"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wenan Tan","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056222500","display_name":"Zhibin Yang","orcid":"https://orcid.org/0000-0002-9888-6975"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhibin Yang","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101585267","display_name":"Shuming Li","orcid":"https://orcid.org/0000-0001-7042-3568"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuming Li","raw_affiliation_strings":["College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013163668","display_name":"Linquan Xing","orcid":null},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Linquan Xing","raw_affiliation_strings":["College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025184050","display_name":"Zhiqiu Huang","orcid":"https://orcid.org/0000-0001-6843-1892"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiqiu Huang","raw_affiliation_strings":["Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Collaborative Innovation Center of Novel Software Technology and Industrialization, Nanjing, People's Republic of China","institution_ids":[]},{"raw_affiliation_string":"College of Computer Science of Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"Key Laboratory of Safety-Critical Software, Nanjing University of Aeronautics and Astronautics, Nanjing, People's Republic of China","institution_ids":["https://openalex.org/I9842412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5101706811"],"corresponding_institution_ids":["https://openalex.org/I9842412"],"apc_list":{"value":1270,"currency":"USD","value_usd":1270},"apc_paid":{"value":1270,"currency":"USD","value_usd":1270},"fwci":2.3338,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.87356764,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"34","issue":"1","first_page":"911","last_page":"941"},"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.998199999332428,"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.998199999332428,"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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9918000102043152,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9908999800682068,"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/systems-modeling-language","display_name":"Systems Modeling Language","score":0.9661746621131897},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.7653368711471558},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7499149441719055},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.6542117595672607},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.4967694878578186},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.4678633511066437},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.4407727122306824},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.43889158964157104},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.41454771161079407},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.36433857679367065},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35507139563560486},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2478252649307251},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.20086997747421265},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1448487937450409},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.143967866897583},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.08023473620414734}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.9661746621131897},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7653368711471558},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7499149441719055},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.6542117595672607},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.4967694878578186},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.4678633511066437},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.4407727122306824},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.43889158964157104},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.41454771161079407},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.36433857679367065},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35507139563560486},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2478252649307251},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.20086997747421265},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1448487937450409},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.143967866897583},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.08023473620414734},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1080/09540091.2021.2017853","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2021.2017853","pdf_url":null,"source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:8520c1749acc4e34825ccea994bf118a","is_oa":false,"landing_page_url":"https://doaj.org/article/8520c1749acc4e34825ccea994bf118a","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Connection Science, Vol 34, Iss 1, Pp 911-941 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1080/09540091.2021.2017853","is_oa":true,"landing_page_url":"https://doi.org/10.1080/09540091.2021.2017853","pdf_url":null,"source":{"id":"https://openalex.org/S4210188800","display_name":"Connection Science","issn_l":"0954-0091","issn":["0954-0091","1360-0494"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Connection Science","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1958249691","display_name":null,"funder_award_id":"2018YFB1003900","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G240667520","display_name":null,"funder_award_id":"201919052002","funder_id":"https://openalex.org/F4320322857","funder_display_name":"Aeronautical Science Foundation of China"},{"id":"https://openalex.org/G6010562926","display_name":null,"funder_award_id":"62072233\u00a0and\u00a061772270","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322857","display_name":"Aeronautical Science Foundation of China","ror":"https://ror.org/02wq41p38"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W156802673","https://openalex.org/W1590567996","https://openalex.org/W1919565115","https://openalex.org/W1933152877","https://openalex.org/W1968049993","https://openalex.org/W1970488655","https://openalex.org/W1978353289","https://openalex.org/W1981306704","https://openalex.org/W1981679850","https://openalex.org/W1998429448","https://openalex.org/W2002707444","https://openalex.org/W2014729633","https://openalex.org/W2037525088","https://openalex.org/W2045346064","https://openalex.org/W2129054430","https://openalex.org/W2295780381","https://openalex.org/W2401204594","https://openalex.org/W2402588215","https://openalex.org/W2420916604","https://openalex.org/W2468614089","https://openalex.org/W2485959031","https://openalex.org/W2495256336","https://openalex.org/W2740472706","https://openalex.org/W2765684369","https://openalex.org/W2804137143","https://openalex.org/W2921636323","https://openalex.org/W2945056227","https://openalex.org/W2947421976","https://openalex.org/W2970392242","https://openalex.org/W2974034631","https://openalex.org/W2975389077","https://openalex.org/W2995776162","https://openalex.org/W3004658159","https://openalex.org/W3008491114","https://openalex.org/W3033696859","https://openalex.org/W3108843244","https://openalex.org/W3110128686","https://openalex.org/W3110389091","https://openalex.org/W3130685677","https://openalex.org/W4234414779","https://openalex.org/W4302313589"],"related_works":["https://openalex.org/W3143695185","https://openalex.org/W2165548140","https://openalex.org/W2958154519","https://openalex.org/W2094667450","https://openalex.org/W3108771136","https://openalex.org/W2487506552","https://openalex.org/W2518516686","https://openalex.org/W3130685677","https://openalex.org/W2048936610","https://openalex.org/W2804137143"],"abstract_inverted_index":{"Safety-critical":[0],"cyber-physical":[1],"systems":[2],"(SC-CPS)":[3],"have":[4],"the":[5,19,27,30,41,45,52,66,98,122,127,135,142,152,162,165],"characteristics":[6],"of":[7,12,22,44,48,68,84,92,164],"distributed,":[8],"heterogeneous,":[9],"strong":[10],"coupling":[11],"computing":[13],"resources":[14],"and":[15,78,87,103,111,157,161],"physical":[16],"resources.":[17],"With":[18],"increased":[20],"acceptance":[21],"Model-Driven":[23],"Development":[24],"(MDD)":[25],"in":[26,40,96,168],"safety-critical":[28],"domain,":[29],"SysML":[31,46,76,93,108,125],"language":[32],"has":[33],"been":[34],"broadly":[35],"used.":[36],"Increasing":[37],"complexity":[38],"results":[39],"formal":[42],"verification":[43,79,129],"models":[47],"SC-CPS":[49],"often":[50],"faces":[51],"so-called":[53],"state-explosion":[54],"problem.":[55],"Moreover,":[56],"safety":[57,136],"analysis":[58,137],"is":[59,94,105,115,132,138,171],"also":[60],"an":[61,74,90],"important":[62],"step":[63],"to":[64,81,117,126],"ensure":[65],"quality":[67],"SC-CPS.":[69],"Thus,":[70],"this":[71,169],"article":[72],"proposes":[73],"integrated":[75],"modelling":[77],"approach":[80],"cover":[82],"specification":[83],"nominal":[85],"behaviour":[86],"safety.":[88],"First,":[89],"extension":[91],"presented,":[95],"which":[97],"contract":[99],"information":[100],"(i.e.":[101],"Assume":[102],"Guarantee)":[104],"extended":[106],"for":[107],"block":[109],"diagrams":[110],"a":[112],"Safety":[113,143],"Profile":[114,144],"proposed":[116,167],"describe":[118],"safety-related":[119],"concepts.":[120],"Second,":[121],"transformation":[123],"from":[124],"compositional":[128],"tool":[130],"OCRA":[131],"given.":[133],"Third,":[134],"achieved":[139],"by":[140],"translating":[141],"model":[145],"into":[146],"FTA":[147],"(Fault":[148],"Tree":[149],"Analysis).":[150],"Finally,":[151],"prototype":[153],"tools":[154],"including":[155],"SysML2OCRA":[156],"SafetyProfile2FTA":[158],"are":[159],"represented,":[160],"effectiveness":[163],"method":[166],"paper":[170],"verified":[172],"through":[173],"actual":[174],"industrial":[175],"cases.":[176]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":7},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}