Work

A Configurable Software Model of a Self-Adaptive Robotic System

Year: 2024

Type: article

Abstract: Self-adaptation, meant to increase reliability, is a crucial feature of cyber-physical systems operating in uncertain physical environments. Ensuring safety properties of self-adaptive systems is of utter importance, especially when operating in remote environments where communication with a human operator is limited, like under water or in space. This paper presents a software model that allows the analysis of one such self-adaptive system, a configurable underwater robot used for pipeline inspection, by means of the probabilistic model checker ProFeat. Furthermore, it shows that the configurable software model is easily extensible to further, possibly more complex use cases and analyses.

Source: Science of Computer Programming

DOI: 10.1016/j.scico.2024.103221

Authors: Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, S. Lizeth Tapia Tarifa

Institutions: University of Oslo, Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", University of Turin

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $2,460

Funders: European Commission, Ministero dell'Università e della Ricerca, Horizon 2020 Framework Programme