Dynamic Assurance Cases for Learning-enabled Systems

Listen to the visiting speaker Ewen Denney, Senior Computer Scientist at the NASA Ames Research Center, on June 17.

Abstract: The pace of innovation in machine learning technologies and their increasing use in learning-enable components (LECs) in safety and mission-critical applications, e.g., deep neural networks used for perception in self-driving road vehicles, currently far outstrips that of the applicable regulatory and standardization efforts to create the bases against which it would be established that the resulting systems can be relied upon. Risk-based approaches to engendering trust, in the form of argument-based safety cases, have shown promise for the assurance and subsequent operational approval of novel systems. However, LECs pose particular challenges for certification, as does the gap between the state of the art in safety assurance, and how aviation systems are certified in practice. Towards straddling this gap, we are developing the dynamic assurance case (DAC) concept as a model-based, multifaceted approach to the assurance of LEC-based systems. Our vision is one of a rich, expressive, and formally-founded framework, going well beyond how argument-based safety cases are currently developed. In particular, besides recording assurance rationale in a modular fashion, DACs: i) capture assurance policies and a conforming assurance architecture, ii) provide a framework for assurance quantification, and iii) also supply the means to admit design-time verification and validation (V&V) evidence, along with run-time evidence from operational monitoring.

Welcome! (no registration required)

About Ewen Denney

Dr. Ewen Denney is a senior computer scientist and the Technical Area Liaisonfor the Robust Software Engineering Group of the Intelligent SystemsDivision at the NASA Ames Research Center in Mountain View, California. Hecurrently leads a research group that is seeking to establish a rigorous basisfor safety assurance cases, develop tool support, and apply this work to NASAproblems.  The current focus of his work at NASA is transitioning assurancecase technology to the US aerospace industry. He also is PI on a DARPA-fundedproject that aims to extend and apply these techniques to autonomous systemsbased on AI. He is the author of numerous publications on formal methods,program synthesis, and safety assurance cases, and has chaired severalinternational conferences. In particular, he was the founding co-chair of the NASA Formal Methods Symposium, in 2009, and founded the International Workshopon Assurance Cases for Software-intensive Systems, which he has co-chairedeach year since 2013.

Read more

Category Public lecture
Location: Lecture room EL41, EDIT building, Maskingränd 2
Starts: 17 June, 2019, 14:30
Ends: 17 June, 2019, 15:30

Published: Mon 03 Jun 2019. Modified: Wed 12 Jun 2019