ICSR 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Sun 27 Apr 2025 17:15 - 17:30 at 204 - Session 4: Reusable models and Testing Chair(s): Dalila Tamzalit

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 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
Session 4: Reusable models and TestingICSR at 204
Chair(s): Dalila Tamzalit Nantes Université
16:00
30m
Paper
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
15m
Paper
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
30m
Paper
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
15m
Paper
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
:
:
:
: