CISPA
Browse
cispa_all_3172.pdf (425.02 kB)

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

Download (425.02 kB)
conference contribution
posted on 2023-11-29, 18:13 authored by Jan BaumeisterJan Baumeister, Bernd FinkbeinerBernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the development of a dynamic monitoring framework for the DLR ARTIS (Autonomous Rotorcraft Testbed for Intelligent Systems) family of unmanned aircraft based on the formal specification language RTLola. RTLola is a stream-based specification language for real-time properties. An RTLola specification of hazardous situations and system failures is statically analyzed in terms of consistency and resource usage and then automatically translated into an FPGA-based monitor. Our approach leads to highly efficient, parallelized monitors with formal guarantees on the noninterference of the monitor with the normal operation of the autonomous system.

History

Preferred Citation

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger and Christoph Torens. RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. In: Computer Aided Verification (CAV). 2020.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

Computer Aided Verification (CAV)

Legacy Posted Date

2020-09-14

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3172, title = "RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft", author = "Baumeister, Jan and Finkbeiner, Bernd and Schirmer, Sebastian and Schwenger, Maximilian and Torens, Christoph", booktitle="{Computer Aided Verification (CAV)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC