{"id":"https://openalex.org/W4205887093","doi":"https://doi.org/10.1109/icsrs53853.2021.9660735","title":"Automated Method for Assurance Case Construction from System Design Models","display_name":"Automated Method for Assurance Case Construction from System Design Models","publication_year":2021,"publication_date":"2021-11-24","ids":{"openalex":"https://openalex.org/W4205887093","doi":"https://doi.org/10.1109/icsrs53853.2021.9660735"},"language":"en","primary_location":{"id":"doi:10.1109/icsrs53853.2021.9660735","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsrs53853.2021.9660735","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 5th International Conference on System Reliability and Safety (ICSRS)","raw_type":"proceedings-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/A5052609668","display_name":"Charles Hartsell","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Charles Hartsell","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103725394","display_name":"Nagabhushan Mahadevan","orcid":null},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nagabhushan Mahadevan","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049776939","display_name":"Abhishek Dubey","orcid":"https://orcid.org/0000-0002-0168-4948"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Abhishek Dubey","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082014236","display_name":"G\u00e1bor Karsai","orcid":"https://orcid.org/0000-0001-7775-9099"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabor Karsai","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.1707,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.53597419,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"230","last_page":"239"},"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.9939000010490417,"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/T11357","display_name":"Risk and Safety Analysis","score":0.9908000230789185,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/traceability","display_name":"Traceability","score":0.7288632392883301},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7284754514694214},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.6035003662109375},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5587157011032104},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.5213490724563599},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5175727605819702},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5141375660896301},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49496525526046753},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.4655061364173889},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.33990681171417236},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1747208535671234},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1632910966873169},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.16058507561683655}],"concepts":[{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.7288632392883301},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7284754514694214},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.6035003662109375},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5587157011032104},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.5213490724563599},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5175727605819702},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5141375660896301},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49496525526046753},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.4655061364173889},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.33990681171417236},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1747208535671234},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1632910966873169},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16058507561683655},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsrs53853.2021.9660735","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsrs53853.2021.9660735","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 5th International Conference on System Reliability and Safety (ICSRS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8","score":0.5600000023841858}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W177970991","https://openalex.org/W330135473","https://openalex.org/W1534546224","https://openalex.org/W1538014561","https://openalex.org/W1995086264","https://openalex.org/W2008856128","https://openalex.org/W2093830757","https://openalex.org/W2144814285","https://openalex.org/W2170178247","https://openalex.org/W2293306176","https://openalex.org/W2297226823","https://openalex.org/W2774981561","https://openalex.org/W2915593025","https://openalex.org/W3029740813","https://openalex.org/W3090398723","https://openalex.org/W3161332769","https://openalex.org/W3175225441","https://openalex.org/W4235576719","https://openalex.org/W6611421659","https://openalex.org/W6629521318","https://openalex.org/W6681087963","https://openalex.org/W6778498413"],"related_works":["https://openalex.org/W2378709054","https://openalex.org/W4380301954","https://openalex.org/W2803090313","https://openalex.org/W1482465488","https://openalex.org/W2052375654","https://openalex.org/W2376767034","https://openalex.org/W2350918606","https://openalex.org/W1579747287","https://openalex.org/W2396657225","https://openalex.org/W2045881142"],"abstract_inverted_index":{"Many":[0],"Cyber":[1],"Physical":[2],"Systems":[3],"(CPSs)":[4],"operate":[5],"in":[6,30,131,196],"safety-":[7],"or":[8,48],"mission-critical":[9],"applications":[10],"where":[11],"strong":[12],"assurance":[13,53,74,148,189,237],"of":[14,32,40,72,83,100,109,134,157,166,177,209,232],"safe":[15],"operation":[16],"is":[17,66,76,89,128,226],"required.":[18],"Assurance":[19],"cases":[20,238],"are":[21,120,240],"one":[22,90],"widely":[23],"used":[24],"tool":[25],"for":[26,93,122,147],"presenting":[27],"an":[28,174],"argument":[29,75,198],"support":[31,182],"system":[33,52,64,114,178,203],"safety":[34],"requirements":[35],"backed":[36],"by":[37,169],"a":[38,77,132,145],"body":[39],"evidence":[41],"-":[42],"e.g.,":[43],"test":[44],"data,":[45],"formal":[46],"analysis,":[47],"expert":[49],"review.":[50],"A":[51],"case":[54,149,190],"should":[55],"regularly":[56],"evolve":[57],"during":[58,212],"the":[59,63,73,95,110,125,138,153,162,187,197,201,213,218,230,252],"development":[60],"process":[61,215],"as":[62],"design":[65,179],"refined,":[67],"but":[68,98],"construction":[69,150,214,254],"and":[70,79,107,155,164,185,205],"refinement":[71],"labor-intensive":[78],"error-prone":[80],"process.":[81],"Reuse":[82],"common":[84,121],"patterns":[85,102],"from":[86,113,173,194],"successful":[87],"arguments":[88],"prominent":[91],"technique":[92],"reducing":[94],"required":[96],"effort,":[97],"instantiation":[99,154],"these":[101],"still":[103],"requires":[104],"manual":[105,253],"compilation":[106],"organization":[108,165],"relevant":[111,126],"information":[112,127,168],"artifacts.":[115],"Since":[116],"model-based":[117],"engineering":[118],"techniques":[119],"CPS":[123],"development,":[124],"often":[129],"contained":[130],"set":[133,176],"interconnected":[135],"models":[136,204],"describing":[137],"system.":[139],"In":[140],"this":[141,233],"paper,":[142],"we":[143],"present":[144],"method":[146,160,234],"based":[151,216],"on":[152,217],"composition":[156],"patterns.":[158],"This":[159],"automates":[161],"collection":[163],"necessary":[167],"extracting":[170],"it":[171],"directly":[172],"existing":[175],"models.":[180],"To":[181],"human":[183],"review":[184],"refinement,":[186],"generated":[188],"maintains":[191],"(1)":[192],"traceability":[193],"objects":[195],"back":[199],"to":[200,235],"corresponding":[202],"(2)":[206],"explain":[207],"ability":[208],"choices":[210],"made":[211],"relationships":[219],"between":[220],"model":[221],"objects.":[222],"An":[223],"illustrative":[224],"example":[225],"provided":[227],"which":[228,239],"demonstrates":[229],"utility":[231],"produce":[236],"tightly":[241],"integrated":[242],"with":[243],"source":[244],"artifacts":[245],"while":[246],"requiring":[247],"significantly":[248],"less":[249],"effort":[250],"than":[251],"alternative.":[255]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}