{"id":"https://openalex.org/W4385532456","doi":"https://doi.org/10.1109/sera57763.2023.10197746","title":"An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study","display_name":"An Assurance Case Driven Development Paradigm for Autonomous Vehicles: An F1TENTH Racing Car Case Study","publication_year":2023,"publication_date":"2023-05-23","ids":{"openalex":"https://openalex.org/W4385532456","doi":"https://doi.org/10.1109/sera57763.2023.10197746"},"language":"en","primary_location":{"id":"doi:10.1109/sera57763.2023.10197746","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera57763.2023.10197746","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA)","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/A5016875890","display_name":"Ioannis Nearchou","orcid":null},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Ioannis Nearchou","raw_affiliation_strings":["Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA"],"affiliations":[{"raw_affiliation_string":"Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","institution_ids":["https://openalex.org/I141649380"]},{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092590069","display_name":"Lance Rafalko","orcid":null},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lance Rafalko","raw_affiliation_strings":["Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA"],"affiliations":[{"raw_affiliation_string":"Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","institution_ids":["https://openalex.org/I141649380"]},{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030363027","display_name":"Ryan Phillips","orcid":"https://orcid.org/0000-0002-5668-3475"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ryan Phillips","raw_affiliation_strings":["Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA"],"affiliations":[{"raw_affiliation_string":"Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","institution_ids":["https://openalex.org/I141649380"]},{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066596486","display_name":"Matthew J. Anderson","orcid":"https://orcid.org/0000-0001-9387-5743"},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew Anderson","raw_affiliation_strings":["AFRL/RITA-SwA Air Force Research Laboratory,Rome,NY,USA","AFRL/RITA-SwA Air Force Research Laboratory, Rome, NY, USA"],"affiliations":[{"raw_affiliation_string":"AFRL/RITA-SwA Air Force Research Laboratory,Rome,NY,USA","institution_ids":["https://openalex.org/I1280414376"]},{"raw_affiliation_string":"AFRL/RITA-SwA Air Force Research Laboratory, Rome, NY, USA","institution_ids":["https://openalex.org/I1280414376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066312294","display_name":"Wuwei Shen","orcid":"https://orcid.org/0000-0002-8284-2724"},"institutions":[{"id":"https://openalex.org/I141649380","display_name":"Western Michigan University","ror":"https://ror.org/04j198w64","country_code":"US","type":"education","lineage":["https://openalex.org/I141649380"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wuwei Shen","raw_affiliation_strings":["Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA"],"affiliations":[{"raw_affiliation_string":"Western Michigan University,Department of Computer Science,Kalamazoo,MI,USA","institution_ids":["https://openalex.org/I141649380"]},{"raw_affiliation_string":"Department of Computer Science, Western Michigan University, Kalamazoo, MI, USA","institution_ids":["https://openalex.org/I141649380"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049549352","display_name":"Steve Drager","orcid":null},"institutions":[{"id":"https://openalex.org/I1280414376","display_name":"United States Air Force Research Laboratory","ror":"https://ror.org/02e2egq70","country_code":"US","type":"facility","lineage":["https://openalex.org/I1280414376","https://openalex.org/I1330347796","https://openalex.org/I4210102105","https://openalex.org/I4389425425"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Steve Drager","raw_affiliation_strings":["AFRL/RITA-SwA Air Force Research Laboratory,Rome,NY,USA","AFRL/RITA-SwA Air Force Research Laboratory, Rome, NY, USA"],"affiliations":[{"raw_affiliation_string":"AFRL/RITA-SwA Air Force Research Laboratory,Rome,NY,USA","institution_ids":["https://openalex.org/I1280414376"]},{"raw_affiliation_string":"AFRL/RITA-SwA Air Force Research Laboratory, Rome, NY, USA","institution_ids":["https://openalex.org/I1280414376"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5016875890"],"corresponding_institution_ids":["https://openalex.org/I141649380"],"apc_list":null,"apc_paid":null,"fwci":0.2076,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48162644,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"156","last_page":"161"},"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.9998000264167786,"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.9998000264167786,"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.9758999943733215,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9562000036239624,"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/certification","display_name":"Certification","score":0.8265408277511597},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.6963383555412292},{"id":"https://openalex.org/keywords/safety-assurance","display_name":"Safety assurance","score":0.6033374071121216},{"id":"https://openalex.org/keywords/quality-assurance","display_name":"Quality assurance","score":0.5787555575370789},{"id":"https://openalex.org/keywords/safety-case","display_name":"Safety case","score":0.5628477334976196},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5051351189613342},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.4180504083633423},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3788405656814575},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.299763560295105},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.20704293251037598},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.12782174348831177}],"concepts":[{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.8265408277511597},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.6963383555412292},{"id":"https://openalex.org/C112805685","wikidata":"https://www.wikidata.org/wiki/Q10566551","display_name":"Safety assurance","level":2,"score":0.6033374071121216},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.5787555575370789},{"id":"https://openalex.org/C2780234205","wikidata":"https://www.wikidata.org/wiki/Q2281276","display_name":"Safety case","level":2,"score":0.5628477334976196},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5051351189613342},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.4180504083633423},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3788405656814575},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.299763560295105},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.20704293251037598},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.12782174348831177},{"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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sera57763.2023.10197746","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sera57763.2023.10197746","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2023 IEEE/ACIS 21st International Conference on Software Engineering Research, Management and Applications (SERA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6000000238418579,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2774981561","https://openalex.org/W2786392148","https://openalex.org/W2886168462","https://openalex.org/W2888031352","https://openalex.org/W3013611019","https://openalex.org/W7045474100"],"related_works":["https://openalex.org/W2417711061","https://openalex.org/W2773414214","https://openalex.org/W2050907722","https://openalex.org/W2071108033","https://openalex.org/W1498285513","https://openalex.org/W4254499804","https://openalex.org/W2533199767","https://openalex.org/W2606806341","https://openalex.org/W2970989156","https://openalex.org/W4308069782"],"abstract_inverted_index":{"Autonomous":[0],"driving":[1],"has":[2,27],"drawn":[3],"great":[4],"interest":[5],"from":[6],"both":[7],"industry":[8,33],"and":[9,55,103,132],"academia.":[10],"Due":[11],"to":[12,34,45,95,100,117,129],"some":[13],"serious":[14],"consequences":[15],"such":[16],"as":[17,75,114],"loss":[18],"of":[19,78],"life":[20],"caused":[21],"by":[22],"autonomous":[23,42,98],"vehicles,":[24],"assurance":[25,46,49,73,93,121],"certification":[26,47],"been":[28],"proposed":[29],"in":[30,41,64],"the":[31,120,127],"automotive":[32],"ensure":[35],"safe":[36,63,131],"self-adaptive":[37,134],"behaviors":[38],"at":[39,105,136],"run-time":[40],"cars.":[43],"Central":[44],"are":[48],"cases":[50,74,94],"that":[51,91],"provide":[52],"compelling,":[53],"comprehensive,":[54],"valid":[56],"argument":[57],"structures":[58],"showing":[59],"a":[60,65,76,79,87],"system":[61],"is":[62],"given":[66],"environment.":[67],"However,":[68],"many":[69],"existing":[70],"approaches":[71],"generate":[72],"by-product":[77],"system.":[80],"In":[81],"this":[82],"paper,":[83],"we":[84,108],"will":[85],"present":[86],"novel":[88],"development":[89],"paradigm":[90,124],"employs":[92],"guide":[96,126],"an":[97,110,115],"vehicle":[99,128],"operate":[101],"correctly":[102],"safely":[104],"run-time.":[106,137],"Specifically,":[107],"consider":[109],"F1TENTH":[111],"racing":[112],"car":[113],"example":[116],"illustrate":[118],"how":[119],"case":[122],"driven":[123],"can":[125],"achieve":[130],"reliable":[133],"behavior":[135]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}