{"id":"https://openalex.org/W2923071719","doi":"https://doi.org/10.1109/tse.2019.2907595","title":"Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces","display_name":"Interlocking Safety Cases for Unmanned Autonomous Systems in Shared Airspaces","publication_year":2019,"publication_date":"2019-03-26","ids":{"openalex":"https://openalex.org/W2923071719","doi":"https://doi.org/10.1109/tse.2019.2907595","mag":"2923071719"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2019.2907595","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2907595","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Interlocking_Safety_Cases_for_Unmanned_Autonomous_Systems_in_Shared_Airspaces/24740409","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005248504","display_name":"Michael Vierhauser","orcid":"https://orcid.org/0000-0003-2672-9230"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Michael Vierhauser","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"],"raw_orcid":"https://orcid.org/0000-0003-2672-9230","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007138186","display_name":"Sean Bayley","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sean Bayley","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010758567","display_name":"Jane Wyngaard","orcid":"https://orcid.org/0000-0001-7877-2391"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jane Wyngaard","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001217402","display_name":"Wandi Xiong","orcid":"https://orcid.org/0009-0001-3229-4360"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wandi Xiong","raw_affiliation_strings":["Department Computer Science, Iowa State University, Ames, IA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department Computer Science, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101411842","display_name":"Jinghui Cheng","orcid":"https://orcid.org/0000-0002-8474-5290"},"institutions":[{"id":"https://openalex.org/I45683168","display_name":"Polytechnique Montr\u00e9al","ror":"https://ror.org/05f8d4e86","country_code":"CA","type":"education","lineage":["https://openalex.org/I45683168"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jinghui Cheng","raw_affiliation_strings":["Department of Computer Engineering, Polythechnique Montr\u00e9al, Montreal, QC, Canada"],"raw_orcid":"https://orcid.org/0000-0002-8474-5290","affiliations":[{"raw_affiliation_string":"Department of Computer Engineering, Polythechnique Montr\u00e9al, Montreal, QC, Canada","institution_ids":["https://openalex.org/I45683168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054422283","display_name":"Joshua Huseman","orcid":"https://orcid.org/0000-0002-4409-4702"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Joshua Huseman","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"],"raw_orcid":"https://orcid.org/0000-0002-4409-4702","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013390075","display_name":"Robyn R. Lutz","orcid":"https://orcid.org/0000-0001-5390-7982"},"institutions":[{"id":"https://openalex.org/I173911158","display_name":"Iowa State University","ror":"https://ror.org/04rswrd78","country_code":"US","type":"education","lineage":["https://openalex.org/I173911158"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Robyn Lutz","raw_affiliation_strings":["Department Computer Science, Iowa State University, Ames, IA, USA"],"raw_orcid":"https://orcid.org/0000-0001-5390-7982","affiliations":[{"raw_affiliation_string":"Department Computer Science, Iowa State University, Ames, IA, USA","institution_ids":["https://openalex.org/I173911158"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037363688","display_name":"Jane Cleland\u2010Huang","orcid":"https://orcid.org/0000-0001-9436-5606"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jane Cleland-Huang","raw_affiliation_strings":["Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA"],"raw_orcid":"https://orcid.org/0000-0001-9436-5606","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of Notre Dame, Notre Dame, IN, USA","institution_ids":["https://openalex.org/I107639228"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5005248504"],"corresponding_institution_ids":["https://openalex.org/I107639228"],"apc_list":null,"apc_paid":null,"fwci":2.666,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.88149445,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"47","issue":"5","first_page":"899","last_page":"918"},"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.9865999817848206,"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.9782999753952026,"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/interlocking","display_name":"Interlocking","score":0.793583869934082},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7587233185768127},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.7159956693649292},{"id":"https://openalex.org/keywords/interlock","display_name":"Interlock","score":0.45089957118034363},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4402810037136078},{"id":"https://openalex.org/keywords/safety-monitoring","display_name":"Safety monitoring","score":0.431487113237381},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3463931679725647},{"id":"https://openalex.org/keywords/transport-engineering","display_name":"Transport engineering","score":0.25829601287841797},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14735376834869385},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1319798231124878}],"concepts":[{"id":"https://openalex.org/C2778844933","wikidata":"https://www.wikidata.org/wiki/Q630950","display_name":"Interlocking","level":2,"score":0.793583869934082},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7587233185768127},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.7159956693649292},{"id":"https://openalex.org/C99535591","wikidata":"https://www.wikidata.org/wiki/Q1817095","display_name":"Interlock","level":2,"score":0.45089957118034363},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4402810037136078},{"id":"https://openalex.org/C2777488183","wikidata":"https://www.wikidata.org/wiki/Q6900510","display_name":"Safety monitoring","level":2,"score":0.431487113237381},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3463931679725647},{"id":"https://openalex.org/C22212356","wikidata":"https://www.wikidata.org/wiki/Q775325","display_name":"Transport engineering","level":1,"score":0.25829601287841797},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14735376834869385},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1319798231124878},{"id":"https://openalex.org/C150903083","wikidata":"https://www.wikidata.org/wiki/Q7108","display_name":"Biotechnology","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tse.2019.2907595","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2019.2907595","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:figshare.com:article/24740409","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Interlocking_Safety_Cases_for_Unmanned_Autonomous_Systems_in_Shared_Airspaces/24740409","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:publications.polymtl.ca:45049","is_oa":false,"landing_page_url":"https://publications.polymtl.ca/45049/","pdf_url":null,"source":{"id":"https://openalex.org/S4306401013","display_name":"PolyPublie (\u00c9cole Polytechnique de Montr\u00e9al)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I45683168","host_organization_name":"Polytechnique Montr\u00e9al","host_organization_lineage":["https://openalex.org/I45683168"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article de revue"}],"best_oa_location":{"id":"pmh:oai:figshare.com:article/24740409","is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Interlocking_Safety_Cases_for_Unmanned_Autonomous_Systems_in_Shared_Airspaces/24740409","pdf_url":null,"source":{"id":"https://openalex.org/S4377196282","display_name":"Figshare","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210132348","host_organization_name":"Figshare (United Kingdom)","host_organization_lineage":["https://openalex.org/I4210132348"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6800000071525574}],"awards":[{"id":"https://openalex.org/G1540478048","display_name":null,"funder_award_id":"1513717","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1657926063","display_name":"SHF: Small: Asked and Answered: Intelligent Data Science for Software Projects","funder_award_id":"1649448","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4204814905","display_name":null,"funder_award_id":"CCF-1649448","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4991228793","display_name":null,"funder_award_id":"CCF-1513717","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5908272067","display_name":null,"funder_award_id":"FWF J3998-N31","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6574717894","display_name":null,"funder_award_id":"J3998-N31","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G6987075612","display_name":null,"funder_award_id":"CCF-1741781","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G973875075","display_name":null,"funder_award_id":"1741781","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":122,"referenced_works":["https://openalex.org/W47672751","https://openalex.org/W103443734","https://openalex.org/W135733646","https://openalex.org/W178287542","https://openalex.org/W184049366","https://openalex.org/W205174567","https://openalex.org/W641899672","https://openalex.org/W913091180","https://openalex.org/W1504857701","https://openalex.org/W1506513518","https://openalex.org/W1524781066","https://openalex.org/W1551592336","https://openalex.org/W1570292182","https://openalex.org/W1579747287","https://openalex.org/W1604936042","https://openalex.org/W1623588239","https://openalex.org/W1855492256","https://openalex.org/W1898447907","https://openalex.org/W1970665571","https://openalex.org/W1978687961","https://openalex.org/W1995515544","https://openalex.org/W1996707031","https://openalex.org/W1997322589","https://openalex.org/W1997717271","https://openalex.org/W2019624342","https://openalex.org/W2024412873","https://openalex.org/W2028085739","https://openalex.org/W2033891588","https://openalex.org/W2049492608","https://openalex.org/W2051119545","https://openalex.org/W2051342545","https://openalex.org/W2057718117","https://openalex.org/W2060794637","https://openalex.org/W2066810711","https://openalex.org/W2093830757","https://openalex.org/W2095922308","https://openalex.org/W2096283629","https://openalex.org/W2102351701","https://openalex.org/W2111289772","https://openalex.org/W2115179079","https://openalex.org/W2116580218","https://openalex.org/W2118542389","https://openalex.org/W2118962824","https://openalex.org/W2120239604","https://openalex.org/W2122770826","https://openalex.org/W2129289644","https://openalex.org/W2132683224","https://openalex.org/W2132873542","https://openalex.org/W2135170059","https://openalex.org/W2139738037","https://openalex.org/W2144336625","https://openalex.org/W2144814285","https://openalex.org/W2151284363","https://openalex.org/W2154282625","https://openalex.org/W2155483841","https://openalex.org/W2163359684","https://openalex.org/W2165139660","https://openalex.org/W2170178247","https://openalex.org/W2187118876","https://openalex.org/W2204197063","https://openalex.org/W2229940056","https://openalex.org/W2238768211","https://openalex.org/W2243104636","https://openalex.org/W2269894392","https://openalex.org/W2293035150","https://openalex.org/W2294551613","https://openalex.org/W2345369879","https://openalex.org/W2346737306","https://openalex.org/W2396657225","https://openalex.org/W2406062206","https://openalex.org/W2411395325","https://openalex.org/W2466842930","https://openalex.org/W2474093975","https://openalex.org/W2477378326","https://openalex.org/W2480572770","https://openalex.org/W2502486893","https://openalex.org/W2507423300","https://openalex.org/W2513704996","https://openalex.org/W2514424432","https://openalex.org/W2525856322","https://openalex.org/W2528740446","https://openalex.org/W2533944660","https://openalex.org/W2559864951","https://openalex.org/W2561892034","https://openalex.org/W2564753503","https://openalex.org/W2571149404","https://openalex.org/W2597394388","https://openalex.org/W2605921092","https://openalex.org/W2607626850","https://openalex.org/W2608928650","https://openalex.org/W2626169300","https://openalex.org/W2730972217","https://openalex.org/W2737892390","https://openalex.org/W2743830115","https://openalex.org/W2746757927","https://openalex.org/W2753048280","https://openalex.org/W2770487395","https://openalex.org/W2789520420","https://openalex.org/W2886168462","https://openalex.org/W2896179592","https://openalex.org/W3049349441","https://openalex.org/W3100455563","https://openalex.org/W3123827502","https://openalex.org/W3172059993","https://openalex.org/W4212791533","https://openalex.org/W4234266781","https://openalex.org/W4235699399","https://openalex.org/W4238227291","https://openalex.org/W4251447962","https://openalex.org/W4291213652","https://openalex.org/W6607520213","https://openalex.org/W6630190951","https://openalex.org/W6639500567","https://openalex.org/W6644919785","https://openalex.org/W6681087963","https://openalex.org/W6682753377","https://openalex.org/W6684096338","https://openalex.org/W6697204607","https://openalex.org/W6704835190","https://openalex.org/W6713792880","https://openalex.org/W6722009792","https://openalex.org/W6725862162"],"related_works":["https://openalex.org/W2287710223","https://openalex.org/W3094364298","https://openalex.org/W2514536182","https://openalex.org/W2105584730","https://openalex.org/W2094575733","https://openalex.org/W2134672337","https://openalex.org/W2425812521","https://openalex.org/W1996325609","https://openalex.org/W2356182862","https://openalex.org/W2381230838"],"abstract_inverted_index":{"The":[0,83,174],"growing":[1],"adoption":[2],"of":[3,43,117],"unmanned":[4],"aerial":[5,13],"vehicles":[6],"(UAVs)":[7],"for":[8,21,46,69,153,183],"tasks":[9],"such":[10],"as":[11],"eCommerce,":[12],"surveillance,":[14],"and":[15,50,74,137,165,186],"environmental":[16],"monitoring":[17,136,187],"introduces":[18],"the":[19,41,48,51,99,112],"need":[20],"new":[22],"safety":[23,36,61,72,85,106],"mechanisms":[24],"in":[25,55,146,193],"an":[26,138,168],"increasingly":[27],"cluttered":[28],"airspace.":[29,196],"In":[30],"our":[31,144],"work":[32],"we":[33,126],"thus":[34],"emphasize":[35],"issues":[37],"that":[38,177],"emerge":[39],"at":[40],"intersection":[42],"infrastructures":[44],"responsible":[45],"controlling":[47],"airspace,":[49],"diverse":[52],"UAVs":[53,191],"operating":[54],"their":[56],"space.":[57],"We":[58,142],"build":[59],"on":[60,80,123],"assurance":[62],"cases":[63],"(SAC)":[64],"-":[65,73],"a":[66,76,115,128,194],"state-of-the-art":[67],"solution":[68],"reasoning":[70],"about":[71],"propose":[75],"novel":[77],"approach":[78,145],"based":[79],"interlocking":[81,178],"SACs.":[82],"infrastructure":[84],"case":[86,107],"(ISAC)":[87],"specifies":[88],"assumptions":[89],"upon":[90,190],"UAV":[91,95,125,155],"behavior,":[92],"while":[93],"each":[94,124],"demonstrates":[96],"compliance":[97],"to":[98,111,161],"ISAC":[100,113],"by":[101,134,150,158],"presenting":[102],"its":[103],"own":[104],"(pluggable)":[105],"(pSAC)":[108],"which":[109],"connects":[110],"through":[114],"set":[116],"interlock":[118],"points.":[119],"To":[120],"collect":[121],"information":[122],"enforce":[127],"\u201ctrust":[129],"but":[130],"monitor\u201d":[131],"policy,":[132],"supported":[133],"runtime":[135],"underlying":[139],"reputation":[140],"model.":[141],"evaluate":[143,162],"three":[147],"ways:":[148],"first":[149],"developing":[151],"ISACs":[152],"two":[154],"infrastructures,":[156],"second":[157],"running":[159],"simulations":[160],"end-to-end":[163],"effectiveness,":[164],"finally":[166],"via":[167],"outdoor":[169],"field-study":[170],"with":[171],"physical":[172],"UAVs.":[173],"results":[175],"show":[176],"SACs":[179],"can":[180],"be":[181],"effective":[182],"identifying,":[184],"specifying,":[185],"safety-related":[188],"constraints":[189],"flying":[192],"controlled":[195]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2019-04-01T00:00:00"}