Safety for mobile robotic systems: A systematic mapping study from a software engineering perspective

D Bozhinoski, D Di Ruscio, I Malavolta… - Journal of Systems and …, 2019 - Elsevier
Robotic research is making huge progress. However, existing solutions are facing a number
of challenges preventing them from being used in our everyday tasks:(i) robots operate in …

AIDOaRt: AI-augmented Automation for DevOps, a model-based framework for continuous development in Cyber–Physical Systems

H Bruneliere, V Muttillo, R Eramo, L Berardinelli… - Microprocessors and …, 2022 - Elsevier
The advent of complex Cyber–Physical Systems (CPSs) creates the need for more efficient
engineering processes. Recently, DevOps promoted the idea of considering a closer …

[HTML][HTML] Aggregate farming in the cloud: the AFarCloud ECSEL project

P Castillejo, G Johansen, B Cürüklü… - Microprocessors and …, 2020 - Elsevier
Farming is facing many economic challenges in terms of productivity and cost-effectiveness.
Labor shortage partly due to depopulation of rural areas, especially in Europe, is another …

Aidoart: Ai-augmented automation for devops, a model-based framework for continuous development in cyber-physical systems

R Eramo, V Muttillo, L Berardinelli… - 2021 24th Euromicro …, 2021 - ieeexplore.ieee.org
With the emergence of Cyber-Physical Systems (CPS), the increasing complexity in
development and operation demands for an efficient engineering process. In the recent …

Multi-criteria optimization of system integration testing

S Tahvili - 2018 - diva-portal.org
Optimizing software testing process has received much attention over the last few decades.
Test optimization is typically seen as a multi-criteria decision making problem. One aspect of …

Model-based analysis support for dependable complex systems in CHESS

A Debiasi, F Ihirwe, P Pierini, S Mazzini… - … Conference on Model …, 2021 - hal.science
The challenges related to dependable complex systems are heterogeneous and involve
different aspects of the system. On one hand, the decision-making processes need to take …

An integrated model-based tool chain for managing variability in complex system design

D Bilic, E Brosse, A Sadovykh… - 2019 ACM/IEEE …, 2019 - ieeexplore.ieee.org
Software-intensive systems in the automotive domain are often built in different variants,
notably in order to support different market segments and legislation regions. Model-based …

[HTML][HTML] The VALU3S ECSEL project: Verification and validation of automated systems safety and security

JA Agirre, L Etxeberria, R Barbosa… - Microprocessors and …, 2021 - Elsevier
Manufacturers of automated systems and their components have been allocating an
enormous amount of time and effort in R&D activities, which led to the availability of …

Exploiting architecture/runtime model-driven traceability for performance improvement

D Arcelli, V Cortellessa, D Di Pompeo… - 2019 IEEE …, 2019 - ieeexplore.ieee.org
Model-Driven Engineering techniques may achieve a major support to the software
development when they allow to manage relationships between a running system and its …

[HTML][HTML] The AQUAS ECSEL project aggregated quality assurance for systems: Co-engineering inside and across the product life cycle

L Pomante, V Muttillo, B Křena, T Vojnar… - Microprocessors and …, 2019 - Elsevier
There is an ever-increasing complexity of the systems we engineer in modern society, which
includes facing the convergence of the embedded world and the open world. This …