Published October 2024
| Version 1.1.2
Software
Open
A Configurable Software Model of a Self-Adaptive Robotic System
Creators
- 1. University of Oslo
- 2. ISTI--CNR
- 3. University of Turin
Description
This repository contains a configurable software model of a self-adaptive robotic system, an autonomous underwater vehicle with the mission to find and inspect a pipeline located on a seabed which was inspired by the exemplar SUAVE. The artifact was used as a case study in the paper "Formal Modelling and Analysis of a Self-Adaptive Robotic System" by the same authors, published in the proceedings of iFM 2023 and has been accepted as an artifact at iFM 2023. The paper can be found here.
An artifact paper has now been accepted for the special issue "Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)" as an Original Software Publication in Science of Computer Programming and can be found here.
This artifact is available on zenodo and on GitHub. On zenodo, the artifact contains all necessary material to run it on the iFM 2023 Arifact Evaluation VM, while the GitHub repository contains the code of the artifact without the tools PRISM and ProFeat.
Files
auv_profeat.zip
Files
(12.9 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ba868a2ea635dd85af995306c795dcd4
|
12.9 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1007/978-3-031-47705-8_18 (DOI)