Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots
This program is tentative and subject to change.
An assurance case provides a structured argument, supported by evidence, aiming to justify some key property of a system. \emph{Reference assurance cases} can serve as standardised templates or examples for developing assurance cases across various industries, facilitating alignment with regulatory standards and supporting certification. They hold the potential to more efficiently develop the assurance case and ensure best practice is maintained. A key technique in developing a reference assurance case is the use of \textit{assurance patterns}. These patterns, inspired by design patterns, enable the reuse of safety argument structures. In this paper we apply this concept to the assurance of autonomous inspection robots that operate in dynamic and uncertain environments. Given the inherent complexity that arises from the \textit{autonomy} of these systems, a range of distinct verification methods (e.g., formal verification, simulation, testing) will be required to foster confidence. This work-in-progress paper proposes a corroborative assurance approach, enabling engineers to leverage various verification and validation methods when constructing an assurance case. The main contributions of this paper are initial proposals for reusable assurance patterns based on mission patterns, and a high-level methodology for achieving a reference assurance case utilising these. An initial application of our approach is presented through a case study of road verge inspection using an autonomous robot.
This program is tentative and subject to change.
Sun 27 AprDisplayed time zone: Eastern Time (US & Canada) change
16:00 - 17:30 | |||
16:00 30mPaper | DockInsight: A Knowledge-Augmented Dependency Extraction Approach for Dockerfile ICSR Zhu Zhiling Zhejiang University of Technology, Tieming Chen Zhejiang University of Technology, Yunjin Zhong Zhejiang University of Technology, Qijie Song Zhejiang University of Technology | ||
16:30 15mPaper | Porting an LLM based Application from ChatGPT to an On-Premise Environment ICSR Teemu Paloniemi University of Jyväskylä, Manu Setälä Solita Oy, Tommi Mikkonen University of Jyvaskyla | ||
16:45 30mPaper | Predicting the Root Cause of Flaky Tests Based on Test Smells ICSR Jing Wang College of Information Science and Technology, Beijing University of Chemical Technology, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China, Weixi Zhang College of Information Engineering, Beijing Institute of Petrochemical Technology, Beijing, China, Ruilian Zhao Beijing University of Chemical Technology, Ying Shang Beijing University of Chemical Technology | ||
17:15 15mPaper | Towards Patterns for a Reference Assurance Case for Autonomous Inspection Robots ICSR Dhaminda B. Abeywickrama Department of Computer Science, The University of Manchester, UK, Michael Fisher University of Manchester, UK, Frederic Wheeler Regulatory Support Directorate, Amentum, Louise Dennis The University of Manchester |