Journal Club: Verifiable Self-Certifying Autonomous Systems

25^th October 2018, 13:00
Matt Webster

Abstract

Autonomous systems are increasingly being used in safety- and mission-critical domains, including aviation, manufacturing, healthcare and the automotive industry. Systems for such domains are often veri?ed with respect to essential requirements set by a regulator, as part of a process called certi?cation. In principle, autonomous systems can be deployed if they can be certi?ed for use. However, certi?cation is especially challenging as the condition of both the system and its environment will surely change, limiting the effective use of the system. In this talk we discuss the technological and regulatory background for such systems, and introduce an architectural framework that supports veri?ably-correct dynamic self-certi?cation by the system, potentially allowing deployed systems to operate more safely and effectively.