Software verification for highly automatic unmanned aerial vehicles is not only a problem itself, it is furthermore constrained by certification standards and regulatory rules. These, however, are themselves still under development. As a top-level view, the current status of unmanned aerial vehicle verification, certification, and regulation is addressed and corresponding challenges are discussed. From a low-level view, this work presents the processes and tools that were established for the software development, verification, and validation of the unmanned rotorcraft software testbed ARTIS. Large efforts have been put into the software verification process to cope with the growing complexity of the autonomous system and the validation of the software behavior. Automated tests drive the development of the mission planning, mission management, and sensor fusion systems. High-level behavior is tested by complex simulation scenarios. To connect the aforementioned top- and low-level views, a comparison between the RTCA DO-178C standard (“Software Considerations in Airborne Systems and Equipment Certification”) and corresponding ARTIS software development practices is elaborated to assess the efforts that would be necessary for a small research team to develop software according to the standard. It shows that the currently used practices are not incompatible, but there are still some gaps to the desired level of compliance.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Certification and Software Verification Considerations for Autonomous Unmanned Aircraft


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    2014-07-04


    Format / Umfang :

    16 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Certification of Unmanned Aircraft (UA)

    Grzegorz Pettke / Wojciech Kozyro / Przemyslaw Galka et al. | DOAJ | 2021

    Freier Zugriff

    Software Verification Considerations for the ARTIS Unmanned Rotorcraft

    Torens, Christoph / Adolf, Florian | AIAA | 2013



    Software Verification Considerations for the ARTIS Unmanned Rotorcraft

    Torens, C. / Adolf, F. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2013


    CERTIFICATION CONSIDERATIONS FOR EVTOL AIRCRAFT

    Mou, Y. / Jiang, M. / Zhu, G. | British Library Conference Proceedings | 2021