Guillaume Ollier
ABSTRACT
Dynamic Dependability Management (DDM) is a promising approach to guarantee and monitor the ability of safety-critical Automated Systems (ASs) to deliver the intended service with an acceptable risk level. However, the non-interpretability and lack of specifications of the Learning-Enabled Component (LEC) used in ASs make this mission particularly challenging. Some existing DDM techniques overcome these limitations by using probabilistic environmental perception knowledge associated with predicting behavior changes for the agents in the environment. Ontology-based methods allow using a formal and traceable representation of AS usage scenarios to support the design process of the DDM component of such ASs. This paper presents a methodology to perform this design process, starting from the AS specification stage and including threat analysis and requirements identification. The present paper focuses on the formalization of an ontology modeling language allowing the interpretation of logical usage scenarios, i.e., a formal description of the scenario represented by state variables. The proposed supervisory system also considers the uncertainty estimation and interaction between AS components through the whole perception-planning-control pipeline. This methodology is illustrated in this paper on a use case involving Unmanned Aerial Vehicles (UAVs).
- [n. d.]. ASAM OpenODD Project Details. https://www.asam.net/index.php?eID=dumpFile&t=f&f=4544&token=1260ce1c4f0afdbe18261f7137c689b1d9c27576Google Scholar
- 1998. IEEE Guide for Information Technology - System Definition - Concept of Operations (ConOps) Document. IEEE Std 1362-1998 (1998), 1–24. https://doi.org/10.1109/IEEESTD.1998.89424Google ScholarCross Ref
- Fabio Arnez, Guillaume Ollier, Ansgar Radermacher, Adedjouma Morayo, Mraidha Chokri, and François Terrier. 2022. Skeptical Dynamic Dependability Management for Automated Systems. 25th Euromicro Conference on Digital System Design.Google Scholar
- Fabio Arnez, Ansgar Radermacher, and Huascar Espinoza. 2022. Quantifying and Using System Uncertainty in UAV Navigation. arXiv preprint arXiv:2206.01953(2022).Google Scholar
- Erfan Asaadi, Ewen Denney, and Ganesh Pai. 2020. Quantifying assurance in learning-enabled systems. In International Conference on Computer Safety, Reliability, and Security. Springer, 270–286.Google ScholarDigital Library
- A. Avizienis, J.-C. Laprie, B. Randell, and C. Landwehr. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1, 1 (2004), 11–33. https://doi.org/10.1109/TDSC.2004.2Google ScholarDigital Library
- Bernhard Kaiser. [n. d.]. Using Metrics with ODD Specification. ASAM. https://www.asam.net/index.php?eID=dumpFile&t=f&f=4550&token=cd56bf3f926bba1c795bbaf66848de73f6b4ad67Google Scholar
- S. Bhattacharyya, D. Cofer, D. Musliner, J. Mueller, and E. Engstrom. 2015. Certification considerations for adaptive systems. In 2015 International Conference on Unmanned Aircraft Systems (ICUAS). 270–279. https://doi.org/10.1109/ICUAS.2015.7152300Google ScholarCross Ref
- Jean François Boulineau. 2020. Safe Recognition AI of a Railway Signal by On-Board Camera. In European Dependable Computing Conference. Springer, 5–19.Google Scholar
- Comp4Drones Project. 2022. D1.2 – System Under test requirements and Test system requirements. Technical Report. Key Digital Technologies Joint Undertaking.Google Scholar
- Comp4Drones Project. 2022. D2.4 – Specification of Industrial Use Cases. Technical Report. Key Digital Technologies Joint Undertaking.Google Scholar
- Justin G Fuller, Loyd Hook, Nathan Hutchins, K Niki Maleki, and Mark A Skoog. 2016. Toward run-time assurance in general aviation and unmanned aircraft vehicle autopilots. In 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC). IEEE, 1–9.Google ScholarCross Ref
- Jasprit Singh Gill, Mark Tomaszewski, Yunyi Jia, Pierluigi Pisu, and Venkat N Krovi. 2019. Evaluation of Navigation in Mobile Robots for Long-Term Autonomy in Automotive Manufacturing Environments. Technical Report. SAE Technical Paper.Google Scholar
- Joris Guerin, Kevin Delmas, and Jérémie Guiochet. 2022. Evaluation of Runtime Monitoring for UAV Emergency Landing. arXiv preprint arXiv:2202.03059(2022).Google Scholar
- Giancarlo Guizzardi. 2005. Ontological foundations for structural conceptual models. (2005).Google Scholar
- Christopher Harper and Praminda Caleb-Solly. 2021. Towards an Ontological Framework for Environmental Survey Hazard Analysis of Autonomous Systems.. In SafeAI@ AAAI.Google Scholar
- Loyd R Hook, Matthew Clark, David Sizoo, Mark A Skoog, and James Brady. 2016. Certification strategies using run-time safety assurance for part 23 autopilot systems. In 2016 IEEE Aerospace Conference. IEEE, 1–10.Google ScholarCross Ref
- British Standard Institution. 2020. PAS 1883 Operational Design Domain (ODD) taxonomy for an automated driving system – Specification. Standard. British Standard Institution.Google Scholar
- International Organization for Standardization. 2017. ISO/IEC/IEEE 24765:2017 Systems and software engineering — Vocabulary.Google Scholar
- Sohag Kabir and Yiannis Papadopoulos. 2019. Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review. Safety science 115(2019), 154–175.Google Scholar
- Holger Knublauch, Daniel Oberle, Phil Tetlow, Evan Wallace, JZ Pan, and M Uschold. 2006. A semantic web primer for object-oriented software developers. W3c working group note, W3C(2006).Google Scholar
- Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, and Werner Damm. 2020. Identification and quantification of hazardous scenarios for automated driving. In International Symposium on Model-Based Safety and Assessment. Springer, 163–178.Google ScholarDigital Library
- SAE Mobilus. 2018. SAE J3016 Taxonomy and Definitions for Terms Related to Driving Automation Systems for On-Road Motor Vehicles. Technical Report. Society of Automotive Engineers International.Google Scholar
- Object Management Group. 2014. Object Constraint Language, version 2.4. Technical Report. https://www.omg.org/spec/OCL/2.4/PDFGoogle Scholar
- Jan Reich, Marc Wellstein, Ioannis Sorokos, Fabian Oboril, and Kay-Ulrich Scholl. 2021. Towards a Software Component to Perform Situation-Aware Dynamic Risk Assessment for Autonomous Vehicles. In Dependable Computing–EDCC 2021 Workshops: DREAMS, DSOGRI, SERENE 2021, Munich, Germany, September 13, 2021, Proceedings. Springer Nature, 3.Google Scholar
- Kristin Y Rozier and Johann Schumann. 2017. R2U2: tool overview. In International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools.Google Scholar
- Rick Salay, Krzysztof Czarnecki, Maria Soledad Elli, Ignacio J Alvarez, Sean Sedwards, and Jack Weast. 2020. PURSS: Towards Perceptual Uncertainty Aware Responsibility Sensitive Safety with ML.. In SafeAI@ AAAI. 91–95.Google Scholar
- SESAR 3 Joint Undertaking. 2020. U-Space - Supporting Safe and Secure Drone Operations in Europe. Technical Report.Google Scholar
- UL Standards. 2020. Standard for Safety for the Evaluation of Autonomous Products, UL 4600. Technical Report.Google Scholar
- Michael Vierhauser, Jane Cleland-Huang, Sean Bayley, Thomas Krismayer, Rick Rabiser, and Pau Grünbacher. 2018. Monitoring CPS at runtime-A case study in the UAV domain. In 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 73–80.Google ScholarCross Ref
- WMO. 2018. Guide to meteorological instruments and methods ofobservation. Technical Report. WORLD METEOROLOGICAL ORGANIZATION.Google Scholar
- Jiale Zhou, Kaj Hänninen, Kristina Lundqvist, and Luciana Provenzano. 2017. An ontological interpretation of the hazard concept for safety-critical systems. In The 27th European Safety and Reliability Conference ESREL’17, 18-22 Jun 2017, Portoroz, Slovenia. 183–185.Google ScholarCross Ref
Index Terms
- Towards an Ontological Methodology for Dynamic Dependability Management of Unmanned Aerial Vehicles
Recommendations
A Safety Monitoring System for Unmanned Aerial Vehicles
CSAE '18: Proceedings of the 2nd International Conference on Computer Science and Application EngineeringWith1 the rapid development of unmanned aerial vehicles, the probability of illegal flights and aerial collision increases. This paper proposes a UAV safety monitoring and management methodology considering flight plan management, real-time monitoring ...
Unmanned aerial vehicles
As unmanned aerial vehicles have become more affordable, their popularity with the general public and commercial organisations has seen significant growth in recent years. Whilst remaining a device for both the hobbyist and aircraft-enthusiast to enjoy, ...
Comments