{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T23:04:56Z","timestamp":1765667096743},"reference-count":40,"publisher":"American Institute of Aeronautics and Astronautics (AIAA)","issue":"10","content-domain":{"domain":["arc.aiaa.org"],"crossmark-restriction":true},"short-container-title":["Journal of Aerospace Information Systems"],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.2514\/1.i010163","type":"journal-article","created":{"date-parts":[[2014,7,4]],"date-time":"2014-07-04T13:20:53Z","timestamp":1404480053000},"page":"649-664","update-policy":"http:\/\/dx.doi.org\/10.2514\/aiaa_crossmarkpolicy","source":"Crossref","is-referenced-by-count":21,"title":["Certification and Software Verification Considerations for Autonomous Unmanned Aircraft"],"prefix":"10.2514","volume":"11","author":[{"given":"Christoph","family":"Torens","sequence":"first","affiliation":[{"name":"DLR, Institute of Flight Systems, Dept. of Unmanned Aircraft, DLR, German Aerospace Center, 38108 Brunswick, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian-M.","family":"Adolf","sequence":"additional","affiliation":[{"name":"DLR, Institute of Flight Systems, Dept. of Unmanned Aircraft, DLR, German Aerospace Center, 38108 Brunswick, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Goormann","sequence":"additional","affiliation":[{"name":"DLR, Institute of Flight Systems, Dept. of Unmanned Aircraft, DLR, German Aerospace Center, 38108 Brunswick, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1387","reference":[{"key":"r7","doi-asserted-by":"publisher","DOI":"10.2514\/1.13254"},{"key":"r8","doi-asserted-by":"publisher","DOI":"10.2514\/6.2007-2786"},{"key":"r9","doi-asserted-by":"publisher","DOI":"10.2514\/6.2013-592"},{"key":"r12","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-009-0088-1"},{"key":"r13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-133-2_17"},{"key":"r14","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2473"},{"key":"r17","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-012-9694-5"},{"key":"r18","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-5258"},{"key":"r19","doi-asserted-by":"publisher","DOI":"10.2514\/6.2004-5255"},{"key":"r20","doi-asserted-by":"publisher","DOI":"10.1016\/S0065-2458(05)65004-8"},{"key":"r23","unstructured":"WebsterM.FisherM.JumpM.CameronN. \u201cModel Checking and the Certification of Autonomous Unmanned Aircraft Systems,\u201d Univ. of Liverpool, Dept. of Computer Science, Rept.\u00a0TR-ULCS-11-001, Liverpool, England, U.K. 2011."},{"key":"r25","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2573"},{"key":"r27","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-2479-2"},{"key":"r28","unstructured":"\u201cA Concept for European Regulations for Civil Unmanned Aerial Vehicles (UAVs),\u201d Joint Aviation Authorities\/EUROCONTROL Initiative on UAVs, UAV Task-Force Final Rept. May\u00a02004."},{"key":"r33","unstructured":"HayhurstK.MaddalonJ.MinerP.SzatkowskiG.UlreyM.DeWaltM.SpitzerC. \u201cPreliminary Considerations for Classifying Hazards of Unmanned Aircraft Systems,\u201d NASA TR-NASA\/TM-2007-214539, 2007."},{"issue":"1","key":"r40","first-page":"65","volume-title":"Journal of Intelligent and Robotic Systems","volume":"57","author":"Mettler B.","year":"2010"},{"key":"r41","doi-asserted-by":"publisher","DOI":"10.2514\/6.2003-6561"},{"key":"r43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01213-6_25"},{"key":"r45","doi-asserted-by":"publisher","DOI":"10.1007\/s10514-009-9134-y"},{"key":"r46","doi-asserted-by":"publisher","DOI":"10.2514\/1.52692"},{"key":"r47","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-2452"},{"key":"r48","doi-asserted-by":"publisher","DOI":"10.1007\/s10846-010-9478-8"},{"key":"r49","doi-asserted-by":"publisher","DOI":"10.2514\/6.2009-1977"},{"key":"r50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19817-5_1"},{"key":"r52","volume-title":"Version Control with Subversion","author":"Pilato C. M.","year":"2008","edition":"2"},{"key":"r53","unstructured":"SpiesR. \u201cObjektorientierte Sensorfusion und Integration erweiterter Sensorik bei unbemannten Luftfahrzeugen,\u201d B.S. Thesis, Univ. Siegen, Naturwissenschaftlich-Technische Fakult\u00e4t, Dept. Elektrotechnik und Informatik, Siegen, Germany, 2011."},{"key":"r54","volume-title":"Boost Graph Library: User Guide and Reference Manual","author":"Siek J. G.","year":"2001"},{"key":"r55","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"Utting M.","year":"2006"},{"key":"r56","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-18733-9"},{"key":"r57","first-page":"353","volume-title":"Entwurf Komplexer Automatisierungssysteme (EKA 2008)","volume":"10","author":"Adolf F.-M.","year":"2008"},{"key":"r59","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19817-5_1"},{"key":"r60","unstructured":"LorenzS. \u201cAdaptive Regelung zur Flugbereichserweiterung des Technologiedemonstrators ARTIS,\u201d Ph.D. Thesis, Technische Univ. Braunschweig, Brunswick, Germany, 2010."},{"key":"r61","doi-asserted-by":"publisher","DOI":"10.2514\/6.2000-4157"},{"key":"r62","volume-title":"AIAA GN&C Conference","author":"Hovakimyan N.","year":"2001"},{"key":"r63","unstructured":"KimN. \u201cImproved Methods in Neural Network Based Adaptive Output Feedback Control, with Applications to Flight Control,\u201d Ph.D. Thesis, Georgia Inst. of Technology, Atlanta, July\u00a02003."},{"key":"r64","unstructured":"HolzapfelF. \u201cNichtlineare Adaptive Regelung Eines Unbemannten Flugger\u00e4ts,\u201d Ph.D. Thesis, Technische Univ. M\u00fcnchen, Munich, 2004."},{"key":"r65","doi-asserted-by":"publisher","DOI":"10.2514\/1.16380"},{"key":"r66","doi-asserted-by":"publisher","DOI":"10.2514\/1.52692"},{"key":"r67","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"r71","unstructured":"CMMI Product Team, \u201cCMMI for Systems Engineering\/Software Engineering\/Integrated Product and Process Development, Version 1.1, Staged Representation (CMMI-SE\/SW\/IPPD, V1.1, Staged),\u201d Software Engineering Inst. TR-CMU\/SEI-2002-TR-004, Pittsburg, PA, 2001."}],"container-title":["Journal of Aerospace Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/1.I010163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,1]],"date-time":"2021-03-01T07:23:16Z","timestamp":1614583396000},"score":1,"resource":{"primary":{"URL":"https:\/\/arc.aiaa.org\/doi\/10.2514\/1.I010163"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":40,"journal-issue":{"issue":"10","published-print":{"date-parts":[[2014,10]]}},"alternative-id":["10.2514\/1.I010163"],"URL":"https:\/\/doi.org\/10.2514\/1.i010163","relation":{},"ISSN":["2327-3097"],"issn-type":[{"value":"2327-3097","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,10]]},"assertion":[{"value":"2013-08-14","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-01-24","order":1,"name":"revised","label":"Revised","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-03-30","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2014-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}