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 条

[1] A Domain Model for Self-Adaptive Software Systems
Moghaddam, Fahimeh Alizadeh
Deckers, Robert
Procaccianti, Giuseppe
Grosso, Paola
Lago, Patricia
11TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2017) - COMPANION VOLUME, 2017, : 23 - 29
[2] The mathematical model of reflection for self-adaptive software
Bershadsky, A. M.
Bozhday, A. S.
Evseeva, Yu, I
Gudkov, A. A.
2018 9TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS AND APPLICATIONS (IISA), 2018, : 193 - 197
[3] Formal Modelling and Analysis of a Self-Adaptive Robotic System
Passler, Juliane
ter Beek, Maurice H.
Damiani, Ferruccio
Tarifa, Silvia Lizeth Tapia
Johnsen, Einar Broch
INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 343 - 363
[4] A model-based approach to self-adaptive software
Karsai, G
Sztipanovits, J
IEEE INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1999, 14 (03): : 46 - 53
[5] Developing self-adaptive software system: A case study
Zhang, Qingfeng
Xu, Jing
Zhang, Chao
International Journal of Database Theory and Application, 2015, 8 (04): : 207 - 214
[6] Synthesis of self-adaptive software
Ledeczi, A
Karsai, G
Bapty, T
2000 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 4, 2000, : 501 - 507
[7] Robotic Window Assembly - A Simulation Study and a Proposed Self-Adaptive Software Architecture
Ziada, Osama A. Q.
Schauerte, Tobias
Pocorni, Jetro Kenneth
Algabroun, Hatem
Bolmsjo, Gunnar
Hakansson, Lars
SPS 2022, 2022, 21 : 111 - 121
[8] Model-based Reinforcement Learning Approach for Planning in Self-Adaptive Software System
Han Nguyen Ho
Lee, Eunseok
ACM IMCOM 2015, PROCEEDINGS, 2015,
[9] A distributed, self-adaptive, model of hypermedia system
Dattolo, A
Loia, V
THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 6: DIGITAL DOCUMENTS, 1997, : 167 - 176
[10] Research on Dynamic Software Architecture of Self-adaptive Web System
Cao, CaiFeng
Luo, YaoZu
PROCEEDINGS OF THE 2015 INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS RESEARCH AND MECHATRONICS ENGINEERING, 2015, 121 : 29 - 32

← 1 2 3 4 5 →