{"id":"https://openalex.org/W3127443532","doi":"https://doi.org/10.4018/ijsssp.2021010105","title":"A Composite Safety Assurance Method for Developing System Architecture Using Model Checking","display_name":"A Composite Safety Assurance Method for Developing System Architecture Using Model Checking","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3127443532","doi":"https://doi.org/10.4018/ijsssp.2021010105","mag":"3127443532"},"language":"en","primary_location":{"id":"doi:10.4018/ijsssp.2021010105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijsssp.2021010105","pdf_url":null,"source":{"id":"https://openalex.org/S4210212113","display_name":"International Journal of Systems and Software Security and Protection","issn_l":"2640-4265","issn":["2640-4265","2640-4273"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems and Software Security and Protection","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041995812","display_name":"Qiang Zhi","orcid":"https://orcid.org/0000-0001-7057-9888"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Qiang Zhi","raw_affiliation_strings":["Nagoya University, Japan"],"raw_orcid":"https://orcid.org/0000-0001-7057-9888","affiliations":[{"raw_affiliation_string":"Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5072682380","display_name":"Zhengshu Zhou","orcid":"https://orcid.org/0000-0001-6128-237X"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhengshu Zhou","raw_affiliation_strings":["Nagoya University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021446360","display_name":"Shuji Morisaki","orcid":"https://orcid.org/0000-0002-8290-0584"},"institutions":[{"id":"https://openalex.org/I60134161","display_name":"Nagoya University","ror":"https://ror.org/04chrp450","country_code":"JP","type":"education","lineage":["https://openalex.org/I60134161"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Shuji Morisaki","raw_affiliation_strings":["Nagoya University, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nagoya University, Japan","institution_ids":["https://openalex.org/I60134161"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I60134161"],"apc_list":null,"apc_paid":null,"fwci":0.3334,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.55164193,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":93,"max":95},"biblio":{"volume":"12","issue":"1","first_page":"78","last_page":"93"},"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.9998999834060669,"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.9998999834060669,"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.9965999722480774,"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.9957000017166138,"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/dependability","display_name":"Dependability","score":0.8103291392326355},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5991377234458923},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.520880937576294},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.48104313015937805},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.4703766703605652},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.4682786464691162},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44253039360046387},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.41315847635269165},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.39584875106811523},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.37207353115081787},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.35382604598999023},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.24522250890731812},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.10430958867073059},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.09817415475845337}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8103291392326355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5991377234458923},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.520880937576294},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.48104313015937805},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.4703766703605652},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.4682786464691162},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44253039360046387},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41315847635269165},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.39584875106811523},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.37207353115081787},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.35382604598999023},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.24522250890731812},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.10430958867073059},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.09817415475845337},{"id":"https://openalex.org/C2778618615","wikidata":"https://www.wikidata.org/wiki/Q4008393","display_name":"External quality assessment","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4018/ijsssp.2021010105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/ijsssp.2021010105","pdf_url":null,"source":{"id":"https://openalex.org/S4210212113","display_name":"International Journal of Systems and Software Security and Protection","issn_l":"2640-4265","issn":["2640-4265","2640-4273"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Systems and Software Security and Protection","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W2110425399","https://openalex.org/W2115309705","https://openalex.org/W2121908619","https://openalex.org/W2123179704","https://openalex.org/W2151056896","https://openalex.org/W2167381699","https://openalex.org/W2809795748"],"related_works":["https://openalex.org/W2073081141","https://openalex.org/W572246124","https://openalex.org/W1498285513","https://openalex.org/W1981169586","https://openalex.org/W2263932064","https://openalex.org/W2006058367","https://openalex.org/W2075920667","https://openalex.org/W2335507559","https://openalex.org/W1486815835","https://openalex.org/W3127443532"],"abstract_inverted_index":{"Assurance":[0],"case":[1,15,86,144],"helps":[2],"analyze":[3],"the":[4,8,39,53,64,111,122,135,156],"system":[5,11,25,45,60,106,114,126,136,150],"dependability,":[6],"but":[7],"relationships":[9,40],"between":[10,41],"elements":[12,46],"and":[13,29,44,47,63,88,133,140],"assurance":[14,26,72,85,137],"are":[16,67],"generally":[17],"not":[18],"clearly":[19,37],"defined.":[20],"In":[21],"order":[22],"to":[23,59,120,128,130,154],"make":[24,121,134],"more":[27,138],"intuitive":[28,139],"reliable,":[30],"this":[31,95,159],"paper":[32],"proposes":[33],"an":[34,147],"approach":[35],"that":[36,98],"defines":[38],"safety":[42,61,90,123],"issues":[43],"integrates":[48],"them":[49],"using":[50],"ArchiMate.":[51],"Also,":[52,142],"proposed":[54],"method":[55,75],"applies":[56],"model":[57,83],"checking":[58,65],"assurance,":[62,107],"results":[66],"regarded":[68],"as":[69],"evidence":[70],"of":[71,77,94,124,158],"cases.":[73],"This":[74],"consists":[76],"four":[78],"steps:":[79],"interaction":[80],"visualization,":[81],"processes":[82],"checking,":[84],"creation,":[87],"composite":[89],"assurance.":[91],"The":[92],"significance":[93],"work":[96],"is":[97,151],"it":[99],"provides":[100],"a":[101,125,143],"formalized":[102],"procedure":[103],"for":[104],"safety-critical":[105],"which":[108],"could":[109],"increase":[110],"confidence":[112],"in":[113],"safety.":[115],"It":[116],"would":[117],"be":[118],"expected":[119],"easier":[127],"explain":[129],"third":[131],"parties":[132],"effective.":[141],"study":[145],"on":[146],"automatic":[148],"driving":[149],"carried":[152],"out":[153],"confirm":[155],"effectiveness":[157],"approach.":[160]},"counts_by_year":[{"year":2021,"cited_by_count":2}],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2025-10-10T00:00:00"}