CISPA
Browse

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned

Download (271.45 kB)
conference contribution
posted on 2024-10-10, 07:04 authored by Jan BaumeisterJan Baumeister, Bernd FinkbeinerBernd Finkbeiner, Florian KohnFlorian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults. Since the correct operation of the monitor is critical for the safety of the aircraft, the development of the monitor must follow strict aeronautical standards. This includes the integration of the monitor into different development environments, such as log-file analysis, hardware/software-in-the-loop testing, and test flights. We have used the stream-based monitoring framework RTLola to generate monitors for a range of requirements. In this paper, we present representative monitoring specifications and our lessons learned from integrating the generated monitors. Our main finding is that the specification and the integration need to be decoupled, because the specification remains stable throughout the development process, whereas the different development stages require a separate integration of the monitor into each environment. We achieve this decoupling with a novel abstraction layer in the monitoring framework that adapts the monitor to each environment without affecting the core component generated from the specification. The decoupling of the integration has also allowed us to react quickly to the frequent changes in the hardware and software environment of the monitor due to the fast-paced development of the aircraft in a startup company.

History

Editor

Gurfinkel A ; Ganesh V

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Computer Aided Verification (CAV)

Journal

Lecture Notes in Computer Science

Volume

14682

Page Range

207-218

Publisher

Springer Nature

Open Access Type

  • Hybrid

BibTeX

@inproceedings{Baumeister:Finkbeiner:Kohn:Löhr:Manfredi:Schirmer:Torens:2024, title = "Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned", author = "Baumeister, Jan" AND "Finkbeiner, Bernd" AND "Kohn, Florian" AND "Löhr, Florian" AND "Manfredi, Guido" AND "Schirmer, Sebastian" AND "Torens, Christoph", editor = "Gurfinkel, Arie" AND "Ganesh, Vijay", year = 2024, month = 7, journal = "Lecture Notes in Computer Science", pages = "207--218", publisher = "Springer Nature", issn = "1611-3349", doi = "10.1007/978-3-031-65630-9_10" }

Usage metrics

    Categories

    No categories selected

    Licence

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC