{"id":"https://openalex.org/W2051342545","doi":"https://doi.org/10.1109/tr.2014.2335995","title":"Automating the Assembly of Aviation Safety Cases","display_name":"Automating the Assembly of Aviation Safety Cases","publication_year":2014,"publication_date":"2014-07-28","ids":{"openalex":"https://openalex.org/W2051342545","doi":"https://doi.org/10.1109/tr.2014.2335995","mag":"2051342545"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2014.2335995","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2014.2335995","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","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/A5109978887","display_name":"Ewen Denney","orcid":null},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210112445","display_name":"Stinger Ghaffarian Technologies (United States)","ror":"https://ror.org/02133fc38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210112445"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ewen Denney","raw_affiliation_strings":["SGT Inc., NASA Ames Research Center, CA, USA","[SGT. Inc, NASA Ames Research Center, CA, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SGT Inc., NASA Ames Research Center, CA, USA","institution_ids":["https://openalex.org/I4210112445","https://openalex.org/I1280536761"]},{"raw_affiliation_string":"[SGT. Inc, NASA Ames Research Center, CA, USA]","institution_ids":["https://openalex.org/I1280536761"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000558467","display_name":"Ganesh Pai","orcid":"https://orcid.org/0000-0002-5151-9860"},"institutions":[{"id":"https://openalex.org/I1280536761","display_name":"Ames Research Center","ror":"https://ror.org/02acart68","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280536761","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210112445","display_name":"Stinger Ghaffarian Technologies (United States)","ror":"https://ror.org/02133fc38","country_code":"US","type":"company","lineage":["https://openalex.org/I4210112445"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ganesh Pai","raw_affiliation_strings":["SGT Inc., NASA Ames Research Center, CA, USA","[SGT. Inc, NASA Ames Research Center, CA, USA]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SGT Inc., NASA Ames Research Center, CA, USA","institution_ids":["https://openalex.org/I4210112445","https://openalex.org/I1280536761"]},{"raw_affiliation_string":"[SGT. Inc, NASA Ames Research Center, CA, USA]","institution_ids":["https://openalex.org/I1280536761"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5109978887"],"corresponding_institution_ids":["https://openalex.org/I1280536761","https://openalex.org/I4210112445"],"apc_list":null,"apc_paid":null,"fwci":10.4139,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.97918668,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"63","issue":"4","first_page":"830","last_page":"849"},"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/T11357","display_name":"Risk and Safety Analysis","score":0.9872999787330627,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9836000204086304,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.745732307434082},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.646899938583374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6098804473876953},{"id":"https://openalex.org/keywords/argument","display_name":"Argument (complex analysis)","score":0.5419870018959045},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.5195441842079163},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.49440932273864746},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48344168066978455},{"id":"https://openalex.org/keywords/autopilot","display_name":"Autopilot","score":0.4693489968776703},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.436382532119751},{"id":"https://openalex.org/keywords/aviation","display_name":"Aviation","score":0.4194633364677429},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3790755271911621},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3514593243598938},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.30387359857559204},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3031827211380005},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15524062514305115}],"concepts":[{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.745732307434082},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.646899938583374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6098804473876953},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.5419870018959045},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.5195441842079163},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.49440932273864746},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48344168066978455},{"id":"https://openalex.org/C18020424","wikidata":"https://www.wikidata.org/wiki/Q220858","display_name":"Autopilot","level":2,"score":0.4693489968776703},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.436382532119751},{"id":"https://openalex.org/C74448152","wikidata":"https://www.wikidata.org/wiki/Q765633","display_name":"Aviation","level":2,"score":0.4194633364677429},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3790755271911621},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3514593243598938},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.30387359857559204},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3031827211380005},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15524062514305115},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","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},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2014.2335995","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2014.2335995","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W29888434","https://openalex.org/W177970991","https://openalex.org/W1498923079","https://openalex.org/W1506553688","https://openalex.org/W1513515524","https://openalex.org/W1551277686","https://openalex.org/W1572810132","https://openalex.org/W1577192775","https://openalex.org/W1855492256","https://openalex.org/W1880957727","https://openalex.org/W1981957446","https://openalex.org/W2042861890","https://openalex.org/W2051119545","https://openalex.org/W2059093820","https://openalex.org/W2065324891","https://openalex.org/W2066810711","https://openalex.org/W2091999700","https://openalex.org/W2097158723","https://openalex.org/W2099542305","https://openalex.org/W2132527380","https://openalex.org/W2135776763","https://openalex.org/W2142766225","https://openalex.org/W2144280492","https://openalex.org/W2144814285","https://openalex.org/W2150543751","https://openalex.org/W2163359684","https://openalex.org/W2170178247","https://openalex.org/W2320822003","https://openalex.org/W2496341291","https://openalex.org/W2801970179","https://openalex.org/W4235699399","https://openalex.org/W4285719527","https://openalex.org/W6630690556","https://openalex.org/W6632834046","https://openalex.org/W6634373922","https://openalex.org/W6639016163","https://openalex.org/W6685068655","https://openalex.org/W6723441457"],"related_works":["https://openalex.org/W2541940135","https://openalex.org/W1498285513","https://openalex.org/W572246124","https://openalex.org/W1981169586","https://openalex.org/W2728098451","https://openalex.org/W2891366153","https://openalex.org/W1983947659","https://openalex.org/W2068316528","https://openalex.org/W2523195455","https://openalex.org/W1577042853"],"abstract_inverted_index":{"Safety":[0],"cases":[1,88,105],"are":[2,90],"among":[3],"the":[4,7,93,114,142,151,162,174,178,198,202],"state":[5],"of":[6,61,95,116,161,177,195,197,201],"art":[8],"in":[9,43],"safety":[10,57,87,104,109,165,175],"management":[11],"mechanisms,":[12],"providing":[13],"an":[14,50,158,168,186],"explicit":[15],"way":[16],"to":[17,27,58,99,141],"reason":[18],"about":[19,56],"system":[20,35,108],"and":[21,70,77,119],"software":[22,203],"safety.":[23],"The":[24],"intent":[25],"is":[26,36,66,182],"provide":[28],"convincing,":[29],"valid,":[30],"comprehensive":[31],"assurance":[32],"that":[33,53],"a":[34,40,44,59,67,72,82,96,129,192],"acceptably":[37],"safe":[38],"for":[39,84],"given":[41],"application":[42,94],"defined":[45],"operating":[46],"environment,":[47],"by":[48],"creating":[49],"argument":[51,131,170,189],"structure":[52],"links":[54],"claims":[55],"body":[60],"evidence.":[62],"However,":[63],"their":[64],"construction":[65],"largely":[68],"manual,":[69],"therefore":[71],"time":[73],"consuming,":[74],"error":[75],"prone,":[76],"expensive":[78],"process.":[79],"We":[80,156],"present":[81,157],"methodology":[83],"automatically":[85,183],"assembling":[86],"which":[89,181],"auto-generated":[91,187],"from":[92,107,173,191],"formal":[97,193],"method":[98],"software,":[100],"with":[101,185],"manually":[102,171],"created":[103],"derived":[106],"analysis.":[110],"Our":[111],"approach":[112],"emphasizes":[113],"heterogeneity":[115],"safety-relevant":[117,199],"information,":[118],"we":[120,137],"show":[121],"how":[122],"diverse":[123],"content":[124],"can":[125],"be":[126],"integrated":[127],"into":[128],"single":[130],"structure.":[132],"To":[133],"illustrate":[134],"our":[135],"methodology,":[136],"have":[138],"applied":[139],"it":[140],"Swift":[143,179],"Unmanned":[144],"Aircraft":[145],"System":[146],"(UAS)":[147],"being":[148],"developed":[149],"at":[150],"NASA":[152],"Ames":[153],"Research":[154],"Center.":[155],"end-to-end":[159],"fragment":[160],"resulting":[163],"interim":[164],"case":[166],"comprising":[167],"aircraft-level":[169],"constructed":[172],"analysis":[176],"UAS,":[180],"assembled":[184],"lower-level":[188],"produced":[190],"proof":[194],"correctness":[196],"properties":[200],"autopilot.":[204]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":7},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":7},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2}],"updated_date":"2026-05-04T08:30:34.212998","created_date":"2025-10-10T00:00:00"}