Systems-of-Systems (SoS) refer to large, complex, and software-intensive systems, resulted
from the interoperability among heterogeneous, independent constituent systems. The main …

One of the most important challenges of this decade is the Internet of Things (IoT), which
aims to enable things to be connected anytime, anyplace, with anything and anyone, ideally …

Unmanned Aerial Vehicles (UAVs) are becoming widely used for supporting multiple
heterogeneous missions, requiring continuous evolution and adaptation of the implemented …

Safety‐critical systems are of paramount importance for many application domains, where
safety properties are a key driver to engineer critical aspects and avoid system failures. For …

Safety-critical systems developed upon SPLE approach have to address safety standards,
which establish guidance for analyzing and demonstrating dependability properties of the …

Abstract Software Product Line Engineering (SPLE) is a software development paradigm
that aims at reducing the development effort and shorting time-to-market through systematic …

Unmanned Aerial Vehicles (UAV) are vehicles that fly without a pilot and are able to execute
different types of missions, such as surveillance, topographical data collection, and …

The development of Critical Embedded Systems (CES) like Unmanned Aerial Vehicles
(UAV) is complex because it needs to ensure a high degree of quality, with affordable cost …

Despite the evolution of the hardware that enabled even small components to interconnect
and the modern software engineering paradigms that eased information exchange, several …

Several methodologies have been proposed in the last decades to improve the quality of
critical embedded systems and, at the same time, keep costs and schedule compatible with …