{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,10]],"date-time":"2026-01-10T08:33:06Z","timestamp":1768033986303,"version":"3.49.0"},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000147","name":"Division of Civil, Mechanical and Manufacturing Innovation","doi-asserted-by":"publisher","award":["CMMI-1351640"],"award-info":[{"award-number":["CMMI-1351640"]}],"id":[{"id":"10.13039\/100000147","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000147","name":"Division of Civil, Mechanical and Manufacturing Innovation","doi-asserted-by":"publisher","award":["CNS-1801611"],"award-info":[{"award-number":["CNS-1801611"]}],"id":[{"id":"10.13039\/100000147","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000151","name":"Division of Industrial Innovation and Partnerships","doi-asserted-by":"publisher","award":["IIP-1539975"],"award-info":[{"award-number":["IIP-1539975"]}],"id":[{"id":"10.13039\/100000151","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000151","name":"Division of Industrial Innovation and Partnerships","doi-asserted-by":"publisher","award":["CNS-1650465"],"award-info":[{"award-number":["CNS-1650465"]}],"id":[{"id":"10.13039\/100000151","id-type":"DOI","asserted-by":"publisher"}]},{"name":"significant contributions from C-UAS industry members"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2020]]},"DOI":"10.1109\/access.2020.2966763","type":"journal-article","created":{"date-parts":[[2020,1,15]],"date-time":"2020-01-15T21:25:23Z","timestamp":1579123523000},"page":"16331-16349","source":"Crossref","is-referenced-by-count":1,"title":["On Using Composability Tools for Reliability Analysis of Unmanned Multi-Aircraft Systems: A Case Study"],"prefix":"10.1109","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9764-2955","authenticated-orcid":false,"given":"Devaprakash","family":"Muniraj","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8046-0899","authenticated-orcid":false,"given":"Dany","family":"Abou Jaoude","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9855-7250","authenticated-orcid":false,"given":"Mazen","family":"Farhood","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2017.2766598"},{"key":"ref32","author":"oppenheim","year":"1996","journal-title":"Signals and Systems"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-5529"},{"key":"ref30","year":"2018","journal-title":"The MOSEK optimization toolbox for MATLAB manual Version 8 1 0 54"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57318-6_25"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/203095.201069"},{"key":"ref11","first-page":"8.d.3.1","article-title":"Mobile military security with concentration on unmanned aerial vehicles","author":"dufrene","year":"2006","journal-title":"Proc 24th Digital Avionics Systems Conference"},{"key":"ref12","article-title":"Reachable set computation and tracking with multiple pursuers for the ASAP counter-UAS capability","author":"buerger","year":"2016"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS.2017.7991391"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3001836"},{"key":"ref15","first-page":"881","article-title":"Rocking drones with intentional sound noise on gyroscopic sensors","author":"son","year":"2015","journal-title":"Proc Usenix Secur Symp"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3196494.3196556"},{"key":"ref17","year":"2019","journal-title":"Small Aircraft Flight Encounters (SAFE) Data Repository"},{"key":"ref18","article-title":"‘DO-333: Formal methods to DO-178C and DO-278A","year":"2011","journal-title":"RTCA"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_5"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.4590040403"},{"key":"ref4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","author":"peled","year":"2001","journal-title":"Software release methodology"},{"key":"ref27","year":"0","journal-title":"Code of Federal Regulations"},{"key":"ref3","article-title":"DO-254: Design assurance guidance for airborne electronic hardware","year":"2000","journal-title":"RTCA"},{"key":"ref6","article-title":"Advanced verification methods for safety-critical airborne electronic hardware","author":"butka","year":"2015"},{"key":"ref29","first-page":"284","article-title":"YALMIP: A toolbox for modeling and optimization in MATLAB","author":"lofberg","year":"2005","journal-title":"Proc IEEE Int Conf Robot Autom"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.21236\/AD1017790"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.2006.1656029"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-006-9009-y"},{"key":"ref2","article-title":"DO-178C: Software considerations in airborne systems and equipment certification","year":"2012","journal-title":"RTCA"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2641-y"},{"key":"ref1","year":"2015","journal-title":"Autonomy Community of Interest (COI) Test and Evaluation Verification and Validation (TEVV) Working Group Technology Investment Strategy 2015-2018"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/9.587335"},{"key":"ref24","author":"raol","year":"2009","journal-title":"Flight Mechanics Modeling and Analysis"},{"key":"ref23","year":"2017","journal-title":"Senior Telemaster Plus"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1515\/9781400840601"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2017.07.006"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6287639\/8948470\/8960336-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6287639\/8948470\/08960336.pdf?arnumber=8960336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:53:35Z","timestamp":1649444015000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8960336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/access.2020.2966763","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]}}}