A Configurable Software Model of a Self-Adaptive Robotic System

被引：1

作者：

Passler, Juliane ^{[1
]}

ter Beek, Maurice H. ^{[2
]}

Damiani, Ferruccio ^{[3
]}

Johnsen, Einar Broch ^{[1
]}

Tarifa, S. Lizeth Tapia ^{[1
]}

机构：

[1] Univ Oslo, Gaustadalleen 23B, NO-0373 Oslo, Norway

[2] CNR, ISTI, Via Giuseppe Moruzzi 1, I-56124 Pisa, Italy

[3] Univ Turin, Corso Svizzera 185, I-10149 Turin, Italy

来源：

SCIENCE OF COMPUTER PROGRAMMING | 2025年 / 240卷

关键词：

Self-adaptive systems; Dynamic software product lines; Probabilistic model checking; ProFeat;

D O I：

10.1016/j.scico.2024.103221

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

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.

引用

页数：6

共 50 条

[31] An Optimized Component Selection Algorithm for Self-Adaptive Software Architecture Using the Component Repository: Self-Adaptive Software Architecture
MohanRoopa, Y.
Reddy, Ramamohan A.
INTERNATIONAL JOURNAL OF SOFTWARE SCIENCE AND COMPUTATIONAL INTELLIGENCE-IJSSCI, 2019, 11 (02): : 51 - 61
[32] Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators
Edrisi, Farid
Perez-Palacin, Diego
Caporuscio, Mauro
Giussani, Samuele
2023 IEEE/ACM 18TH SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS, SEAMS, 2023, : 56 - 67
[33] Multimodal Sensors Enabled Autonomous Soft Robotic System with Self-Adaptive Manipulation
Wang, Tianhong
Jin, Tao
Lin, Weiyang
Lin, Yangqiao
Liu, Hongfei
Yue, Tao
Tian, Yingzhong
Li, Long
Zhang, Quan
Lee, Chengkuo
ACS NANO, 2024, 18 (14) : 9980 - 9996
[34] Real-Time Software Module Design Framework for Building Self-Adaptive Robotic Systems
Cui, Yanzhe
Lane, Joshua T.
Voyles, Richard M.
2015 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), 2015, : 2597 - 2602
[35] An Integrated Approach to Developing Self-Adaptive Software
Mao, Xinjun
Dong, Menggao
Liu, Lu
Wang, Huaiming
JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, 2014, 30 (04) : 1071 - 1085
[36] Modeling Dimensions of Self-Adaptive Software Systems
Andersson, Jesper
de Lemos, Rogerio
Malek, Sam
Weyns, Danny
SOFTWARE ENGINEERING FOR SELF-ADAPTIVE SYSTEMS, 2009, 5525 : 27 - +
[37] Self-adaptive Software with Decentralised Control Loops
Calinescu, Radu
Gerasimou, Simos
Banks, Alec
FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, 2015, 9033 : 235 - 251
[38] A hybrid search and model-based approach for testing the self-adaptive unmanned aircraft system software
Javed, Zainab
Iqbal, Muhammad Zohaib
Khan, Muhammad Uzair
Usman, Muhammad
Jilani, Atif Aftab Ahmed
COMPUTER STANDARDS & INTERFACES, 2025, 93
[39] Robot shows self-adaptive software techniques
不详
R&D MAGAZINE, 2000, 42 (09): : I16 - I16
[40] An Integrated approach to developing self-adaptive software
State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China
不详
不详
J. Inf. Sci. Eng., 4 (1071-1085):

← 1 2 3 4 5 →