Abstract
Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize hazardous situations or system faults, we applied stream runtime monitoring techniques within the DLR ARTIS (Autonomous Research Testbed for Intelligent System) family of unmanned aircraft. We present our experience from specification elicitation, instrumentation, offline log-file analysis, and online monitoring on the flight computer on a test rig. The debugging and health management support through stream runtime monitoring techniques have proven highly beneficial for system design and development. At the same time, the project has identified usability improvements to the specification language, and has influenced the design of the language.
Partially supported by the European Research Council (ERC) Grant OSARES (No. 683300) and by the German Research Foundation (DFG) as part of the Collaborative Research Center “Methods and Tools for Understanding and Controlling Privacy” (SFB 1223).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Adolf, F., Thielecke, F.: A sequence control system for onboard mission management of an unmanned helicopter. In: AIAA Infotech@Aerospace Conference (2007)
D’Angelo, B., Sankaranarayanan, S., Sánchez, C., Robinson, W., Finkbeiner, B., Sipma, H.B., Mehrotra, S., Manna, Z.: Lola: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), pp. 166–174. IEEE Computer Society Press, June 2005
Davis, J.A., Clark, M., Cofer, D., Fifarek, A., Hinchman, J., Hoffman, J., Hulbert, B., Miller, S.P., Wagner, L.: Study on the barriers to the industrial adoption of formal methods. In: Pecheur, C., Dierkes, M. (eds.) FMICS 2013. LNCS, vol. 8187, pp. 63–77. Springer, Heidelberg (2013). doi:10.1007/978-3-642-41010-9_5
Dill, E.T., Young, S.D., Hayhurst, K.J.: SAFEGUARD: an assured safety net technology for UAS. In: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC). IEEE, September 2016. https://doi.org/10.1109/dasc.2016.7778009
European Aviation Safety Agency (EASA): Advance Notice of Proposed Amendment 2015-10, Introduction of a regulatory framework for the operation of drones (2015)
European Aviation Safety Agency (EASA): Concept of Operations for Drones, A risk based approach to regulation of unmanned aircraft (2015)
Faymonville, P., Finkbeiner, B., Schirmer, S., Torfah, H.: A stream-based specification language for network monitoring. In: Falcone, Y., Sánchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 152–168. Springer, Cham (2016). doi:10.1007/978-3-319-46982-9_10
Geist, J., Rozier, K.Y., Schumann, J.: Runtime observer pairs and Bayesian network reasoners on-board FPGAs: flight-certifiable system health management for embedded systems. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 215–230. Springer, Cham (2014). doi:10.1007/978-3-319-11164-3_18
Gross, K.H., Clark, M.A., Hoffman, J.A., Swenson, E.D., Fifarek, A.W.: Run-time assurance and formal methods analysis nonlinear system applied to nonlinear system control. J. Aerosp. Inf. Syst. 14(4), 232–246 (2017). https://doi.org/10.2514/1.i010471
Hallé, S., Gaboury, S., Khoury, R.: A glue language for event stream processing. In: BigData, pp. 2384–2391. IEEE (2016)
Joint Authorities for Rulemaking of Unmanned Systems (JARUS): JARUS Guidelines on Specific Operations Risk Assessment (SORA) (2016)
Pike, L., Niller, S., Wegmann, N.: Runtime verification for ultra-critical systems. In: Khurshid, S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 310–324. Springer, Heidelberg (2012). doi:10.1007/978-3-642-29860-8_23
Radio Technical Commission for Aeronautics (RTCA): DO-178C/ED-12C Software Considerations in Airborne Systems and Equipment Certification (2011)
Radio Technical Commission for Aeronautics (RTCA): DO-333/ED-216 Formal Methods Supplement to DO-178C and DO-278A (2011)
Reinbacher, T., Rozier, K.Y., Schumann, J.: Temporal-logic based runtime observer pairs for system health management of real-time systems. In: Ábrahám, E., Havelund, K. (eds.) TACAS 2014. LNCS, vol. 8413, pp. 357–372. Springer, Heidelberg (2014). doi:10.1007/978-3-642-54862-8_24
Schirmer, S.: Runtime Monitoring with Lola. Master’s Thesis, Saarland University (2016)
Schumann, J., Moosbrugger, P., Rozier, K.Y.: R2U2: monitoring and diagnosis of security threats for unmanned aerial systems. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 233–249. Springer, Cham (2015). doi:10.1007/978-3-319-23820-3_15
Torens, C., Adolf, F.: Software verification considerations for the ARTIS unmanned rotorcraft. In: 51st AIAA Aerospace Sciences Meeting Including the New Horizons Forum and Aerospace Exposition, American Institute of Aeronautics and Astronautics, January 2013. http://dx.doi.org/10.2514/6.2013-593
Torens, C., Adolf, F.: Using formal requirements and model-checking for verification and validation of an unmanned rotorcraft. In: American Institute of Aeronautics and Astronautics, AIAA Infotech @ Aerospace, AIAA SciTech, 05–09 January 2015. http://dx.doi.org/10.2514/6.2015-1645
Torens, C., Adolf, F.M., Goormann, L.: Certification and software verification considerations for autonomous unmanned aircraft. J. Aerosp. Inf. Syst. 11(10), 649–664 (2014)
Torens, C., Adolf, F.M.: Automated verification and validation of an onboard mission planning and execution system for uavs. In: AIAA Infotech@Aerospace (I@A) Conference, Boston, MA, 19–22 August 2013. http://dx.doi.org/10.2514/6.2013-4564
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Adolf, FM., Faymonville, P., Finkbeiner, B., Schirmer, S., Torens, C. (2017). Stream Runtime Monitoring on UAS. In: Lahiri, S., Reger, G. (eds) Runtime Verification. RV 2017. Lecture Notes in Computer Science(), vol 10548. Springer, Cham. https://doi.org/10.1007/978-3-319-67531-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-67531-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-67530-5
Online ISBN: 978-3-319-67531-2
eBook Packages: Computer ScienceComputer Science (R0)