{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:09Z","timestamp":1740099069135,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319955810"},{"type":"electronic","value":"9783319955827"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-95582-7_38","type":"book-chapter","created":{"date-parts":[[2018,7,11]],"date-time":"2018-07-11T10:31:17Z","timestamp":1531305077000},"page":"647-652","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems"],"prefix":"10.1007","author":[{"given":"C\u00e9sar","family":"Mu\u00f1oz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anthony","family":"Narkawicz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aaron","family":"Dutle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,7,12]]},"reference":[{"key":"38_CR1","unstructured":"Consiglio, M., Chamberlain, J., Mu\u00f1oz, C., Hoffler, K.: Concept of integration for UAS operations in the NAS. In: Proceedings of 28th International Congress of the Aeronautical Sciences, ICAS 2012, Brisbane, Australia (2012)"},{"key":"38_CR2","doi-asserted-by":"crossref","unstructured":"Consiglio, M., Mu\u00f1oz, C., Hagen, G., Narkawicz, A., Balachandran, S.: ICAROUS: integrated configurable algorithms for reliable operations of unmanned systems. In: Proceedings of the 35th Digital Avionics Systems Conference (DASC 2016), Sacramento, California, US, September 2016","DOI":"10.1109\/DASC.2016.7778033"},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"Cook, S.P., Brooks, D., Cole, R., Hackenberg, D., Raska, V.: Defining well clear for unmanned aircraft systems. In: Proceedings of the 2015 AIAA Infotech@ Aerospace Conference, Number AIAA-2015-0481, Kissimmee, Florida, January 2015","DOI":"10.2514\/6.2015-0481"},{"key":"38_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-21215-9_6","volume-title":"Tests and Proofs","author":"AM Dutle","year":"2015","unstructured":"Dutle, A.M., Mu\u00f1oz, C.A., Narkawicz, A.J., Butler, R.W.: Software validation via model animation. In: Blanchette, J.C., Kosmatov, N. (eds.) TAP 2015. LNCS, vol. 9154, pp. 92\u2013108. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21215-9_6"},{"key":"38_CR5","unstructured":"FAA Sponsored Sense and Avoid Workshop. Sense and avoid (SAA) for Unmanned Aircraft Systems (UAS), October 2009"},{"key":"38_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1007\/978-3-319-57288-8_30","volume-title":"NASA Formal Methods","author":"AW Fifarek","year":"2017","unstructured":"Fifarek, A.W., et al.: SpeAR v2.0: formalized past LTL specification and analysis of requirements. In: Barrett, C., Davies, M., Kahsai, T. (eds.) NFM 2017. LNCS, vol. 10227, pp. 420\u2013426. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-57288-8_30"},{"key":"38_CR7","unstructured":"International Civil Aviation Organization (ICAO): Annex 2 to the Convention on International Civil Aviation, July 2005"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-319-40648-0_17","volume-title":"NASA Formal Methods","author":"C Mu\u00f1oz","year":"2016","unstructured":"Mu\u00f1oz, C., Narkawicz, A.: Formal analysis of extended well-clear boundaries for unmanned aircraft. In: Rayadurgam, S., Tkachuk, O. (eds.) NFM 2016. LNCS, vol. 9690, pp. 221\u2013226. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-40648-0_17"},{"key":"38_CR9","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, C., Narkawicz, A., Chamberlain, J.: A TCAS-II resolution advisory detection algorithm. In: Proceedings of the AIAA Guidance Navigation, and Control Conference and Exhibit 2013, Number AIAA-2013-4622, Boston, Massachusetts, August 2013","DOI":"10.2514\/6.2013-4622"},{"key":"38_CR10","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, C., Narkawicz, A., Chamberlain, J., Consiglio, M., Upchurch, J.: A family of well-clear boundary models for the integration of UAS in the NAS. In: Proceedings of the 14th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, Number AIAA-2014-2412, Georgia, Atlanta, USA, June 2014","DOI":"10.2514\/6.2014-2412"},{"key":"38_CR11","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz, C., Narkawicz, A., Hagen, G., Upchurch, J., Dutle, A., Consiglio, M.: DAIDALUS: detect and avoid alerting logic for unmanned systems. In: Proceedings of the 34th Digital Avionics Systems Conference (DASC 2015), Prague, Czech Republic, September 2015","DOI":"10.1109\/DASC.2015.7311421"},{"key":"38_CR12","doi-asserted-by":"crossref","unstructured":"Narkawicz, A., Hagen, G.: Algorithms for collision detection between a point and a moving polygon, with applications to aircraft weather avoidance. In: 16th AIAA Aviation Technology, Integration, and Operations Conference, AIAA AVIATION Forum, Number AIAA-2016-3598, Washington, DC, USA, June 2016","DOI":"10.2514\/6.2016-3598"},{"key":"38_CR13","unstructured":"Narkawicz, A., Mu\u00f1oz, C., Dutle, A.: The MINERVA software development process. In: Proceedings of the Workshop on Automated Formal Methods 2017 (AFM 2017), Meno Park, California, USA (2017)"},{"key":"38_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"748","DOI":"10.1007\/3-540-55602-8_217","volume-title":"Automated Deduction\u2014CADE-11","author":"S Owre","year":"1992","unstructured":"Owre, S., Rushby, J.M., Shankar, N.: PVS: a prototype verification system. In: Kapur, D. (ed.) CADE 1992. LNCS, vol. 607, pp. 748\u2013752. Springer, Heidelberg (1992). https:\/\/doi.org\/10.1007\/3-540-55602-8_217"},{"key":"38_CR15","unstructured":"RTCA SC-1228. RTCA-DO-365, Minimum Operational Performance Standards for Detect and Avoid (DAA) Systems, May 2017"},{"key":"38_CR16","unstructured":"RTCA SC-147. RTCA-DO-185B, Minimum Operational Performance Standards for Traffic alert and Collision Avoidance System II (TCAS II), July 2009"},{"key":"38_CR17","doi-asserted-by":"crossref","unstructured":"Siu, K., Moitra, A., Durling, M., Crapo, A., Li, M., Yu, H., Herencia-Zapana, H., Castillo-Effen, M., Sen, S., McMillan, C., Russell, D., Roy, S., Manolios, P.: Flight critical software and systems development using ASSERT. In: 2017 IEEE\/AIAA 36th Digital Avionics Systems Conference (DASC), Number 978-1-5386-0365-9\/17, pp. 1\u201310, September 2017","DOI":"10.1109\/DASC.2017.8102059"}],"container-title":["Lecture Notes in Computer Science","Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-95582-7_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,20]],"date-time":"2019-10-20T12:32:22Z","timestamp":1571574742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-95582-7_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319955810","9783319955827"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-95582-7_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}