UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

Gerasimou, Simos; Călinescu, Radu; Shevtsov, Stepan; Weyns, Danny

doi:10.1109/seams.2017.19

Cited by 36 publications

(16 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first is the FX service-based system from Sect. 2 and the second is an embedded system from the area of unmanned underwater vehicles (UUVs) adapted from Calinescu et al (2015), Gerasimou et al (2014), Gerasimou et al (2017) and described on our project webpage. R2 "The UUV sensors must not consume more than 1000 J per 100 m travelled"…”

Section: Methodsmentioning

confidence: 99%

“…To mitigate this threat, the DPM system, model and QoS requirements are based on a validated real-world case study taken from the literature (Qiu et al 2001;Sesic et al 2008), which we are familiar with from our previous work (Calinescu and Kwiatkowska 2009). This is also the case for the UUV system, model and requirements (Calinescu et al 2015;Gerasimou et al 2014Gerasimou et al , 2017. For the FX system, the model and requirements were developed in close collaboration with a foreign exchange domain expert.…”

Section: Threats To Validitymentioning

confidence: 99%

See 1 more Smart Citation

Synthesis of probabilistic models for quality-of-service software engineering

Gerasimou

Călinescu

Tamburrelli³

2018

Autom Softw Eng

Self Cite

View full text Add to dashboard Cite

An increasingly used method for the engineering of software systems with strict quality-of-service (QoS) requirements involves the synthesis and verification of probabilistic models for many alternative architectures and instantiations of system parameters. Using manual trial-and-error or simple heuristics for this task often produces suboptimal models, while the exhaustive synthesis of all possible models is typically intractable. The EvoChecker search-based software engineering approach presented in our paper addresses these limitations by employing evolutionary algorithms to automate the model synthesis process and to significantly improve its outcome. EvoChecker can be used to synthesise the Pareto-optimal set of probabilistic models associated with the QoS requirements of a system under design, and to support the selection of a suitable system architecture and configuration. EvoChecker can also be used at runtime, to drive the efficient reconfiguration of a self-adaptive software system. We evaluate EvoChecker on several variants of three systems from different application domains, and show its effectiveness and applicability. Keywords Search-based software engineering • Probabilistic model checking • Evolutionary algorithms • QoS requirements B Simos Gerasimou

show abstract

Section: Methodsmentioning

confidence: 99%

Section: Threats To Validitymentioning

confidence: 99%

Synthesis of probabilistic models for quality-of-service software engineering

Gerasimou

Călinescu

Tamburrelli³

2018

Autom Softw Eng

Self Cite

View full text Add to dashboard Cite

show abstract

“…The aim of our research is to explore a transversal technology in which some particularities are application dependent but there is a strong core of substantial ideas functional for a variety of systems. In this field, Gerasimou et al [ 28 ] presents a predefined set of ocean surveillance missions, adaptation scenarios, and controller implementations which are integrated into the UNDERSEA tool, [ 29 ]. In [ 30 ], the uncertainty of self-adaptive systems is handled through requirement thresholds and component interactions.…”

Section: State Of the Artmentioning

confidence: 99%

Functional Self-Awareness and Metacontrol for Underwater Robot Autonomy

Aguado

Milosevic

Hernández

et al. 2021

Sensors

View full text Add to dashboard Cite

Autonomous systems are expected to maintain a dependable operation without human intervention. They are intended to fulfill the mission for which they were deployed, properly handling the disturbances that may affect them. Underwater robots, such as the UX-1 mine explorer developed in the UNEXMIN project, are paradigmatic examples of this need. Underwater robots are affected by both external and internal disturbances that hamper their capability for autonomous operation. Long-term autonomy requires not only the capability of perceiving and properly acting in open environments but also a sufficient degree of robustness and resilience so as to maintain and recover the operational functionality of the system when disturbed by unexpected events. In this article, we analyze the operational conditions for autonomous underwater robots with a special emphasis on the UX-1 miner explorer. We then describe a knowledge-based self-awareness and metacontrol subsystem that enables the autonomous reconfiguration of the robot subsystems to keep mission-oriented capability. This resilience augmenting solution is based on the deep modeling of the functional architecture of the autonomous robot in combination with ontological reasoning to allow self-diagnosis and reconfiguration during operation. This mechanism can transparently use robot functional redundancy to ensure mission satisfaction, even in the presence of faults.

show abstract

“…The results of the studies investigating the Rainbow, MUSIC, and DiVA frameworks have their own advantages and disadvantages. Besides the previously mentioned framework related studies, various case studies on application of self-adaptive control loop are introduced [ 24 , 25 , 26 , 27 ]. However, until now, most of the proposed frameworks and applications based on a self-adaptive mechanism provide answers for local adaptation to dynamically change the configuration of software components inside a single system.…”

Section: Related Workmentioning

confidence: 99%

An Architecture Framework for Orchestrating Context-Aware IT Ecosystems: A Case Study for Quantitative Evaluation

Park

2018

Sensors

View full text Add to dashboard Cite

With the emergence of various forms of smart devices and new paradigms such as the Internet of Things (IoT) concept, the IT (Information Technology) service areas are expanding explosively compared to the provision of services by single systems. A new system operation concept that has emerged in accordance with such technical trends is the IT ecosystem. The IT ecosystem can be considered a special type of system of systems in which multiple systems with various degrees of autonomy achieve common goals while adapting to the given environment. The single systems that participate in the IT ecosystem adapt autonomously to the current situation based on collected data from sensors. Furthermore, to maintain the services supported by the whole IT ecosystem sustainably, the configuration of single systems that participate in the IT ecosystem also changes appropriately in accordance with the changed situation. In order to support the IT ecosystem, this paper proposes an architecture framework that supports dynamic configuration changes to achieve the goal of the whole IT ecosystem, while ensuring the autonomy of single systems through the collection of data from sensors so as to recognize the situational context of individual participating systems. For the feasibility evaluation of the proposed framework, a simulated example of an IT ecosystem for unmanned forest management was constructed, and the quantitative evaluation results are discussed in terms of the extent to which the proposed architecture framework can continuously provide sustainable services in response to diverse environmental context changes.

show abstract

UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

Cited by 36 publications

References 25 publications

Synthesis of probabilistic models for quality-of-service software engineering

Synthesis of probabilistic models for quality-of-service software engineering

Functional Self-Awareness and Metacontrol for Underwater Robot Autonomy

An Architecture Framework for Orchestrating Context-Aware IT Ecosystems: A Case Study for Quantitative Evaluation

Contact Info

Product

Resources

About