{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T20:17:59Z","timestamp":1769631479445,"version":"3.49.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/smc.2017.8123030","type":"proceedings-article","created":{"date-parts":[[2017,11,30]],"date-time":"2017-11-30T17:22:47Z","timestamp":1512062567000},"page":"2678-2683","source":"Crossref","is-referenced-by-count":2,"title":["Measuring the impact of avionics faults with a set of safety metrics"],"prefix":"10.1109","author":[{"given":"Michael Adam","family":"Jacobs","sequence":"first","affiliation":[]},{"given":"Varun S.","family":"Sudarsanan","sequence":"additional","affiliation":[]},{"given":"Shreyas Vathul","family":"Subramanian","sequence":"additional","affiliation":[]},{"given":"Daniel","family":"DeLaurentis","sequence":"additional","affiliation":[]},{"given":"Zixu","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Steven","family":"Landry","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"Boeing 787 ADS-B deficiency update","year":"2016","journal-title":"12th Meeting of the South East Asia and Bay of Bengal Sub-Regional ADS-B Implementation Working Group SEA\/BOB ADS-B WG\/12"},{"key":"ref11","article-title":"Fault detection and isolation framework for system-of-systems","author":"jacobs","year":"2016","journal-title":"CESUN 2016 Conf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-5414"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2013.tb03067.x"},{"key":"ref14","article-title":"A TCAS-II resolution advisory detection algorithm","author":"mu\u00f1oz","year":"2013","journal-title":"Proc of the A\/AA Guidance Navigation and Control Conf and Exhibit 2013"},{"key":"ref15","article-title":"Analysis of Well-Clear boundary models for the integration of UAS in the NAS","author":"upchurch","year":"2014","journal-title":"NASA Langley Research Center Hampton VA Technical Memorandum NASA\/TM2014218280"},{"key":"ref4","article-title":"Federal Aviation Administration (FAA) (2010, May 28)","year":"0","journal-title":"Automatic dependent surveillance-broadcast (ADS-B) out performance requirements to support air traffic control (ATC) service"},{"key":"ref3","article-title":"Unmanned Aircraft Systems (UAS) Controller Acceptability Study 3 (CAS3): Collision Avoidance, Self Separation, and Alerting Times (CASSAT)","author":"comstock","year":"0","journal-title":"NASA Langley Research Center"},{"key":"ref6","article-title":"Formal verification of safety buffers for state-based conflict detection and resolution","author":"herencia-zapana","year":"2010","journal-title":"27th International Congress of the Aeronautical Sciencs (ICAS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.2514\/6.2015-0908"},{"key":"ref8","article-title":"Int. Civil Aviation Org. (ICAO)","year":"2013","journal-title":"Global Operational Data Link Document (GOLD)"},{"key":"ref7","article-title":"Int. Civil Aviation Org. (ICAO)","year":"2004","journal-title":"Manual on Mode S Specific Services 2nd ed Doc 9688"},{"key":"ref2","article-title":"The Chorus conflict and loss of separation resolution algorithms","author":"butler","year":"2013","journal-title":"NASA Langley Research Center Hampton VA Technical Memorandum NASA\/TM2013–218030"},{"key":"ref1","first-page":"9951017","article-title":"ADS-B system failure modes and models","volume":"67","author":"ali","year":"2014","journal-title":"Journ Navigations"},{"key":"ref9","article-title":"Update on TPR901 problem","year":"2014","journal-title":"Automatic Dependent Surveillance-Broadcast and 13th Meeting of Automatic Dependent Surveillance-Broadcast (ADS-B) Study and Implementation Task Force (ADS-B SITF\/13)"}],"event":{"name":"2017 IEEE International Conference on Systems, Man and Cybernetics (SMC)","location":"Banff, AB","start":{"date-parts":[[2017,10,5]]},"end":{"date-parts":[[2017,10,8]]}},"container-title":["2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8114675\/8122565\/08123030.pdf?arnumber=8123030","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T18:15:38Z","timestamp":1516212938000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8123030\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/smc.2017.8123030","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}