Safety and security are important properties of any software system, particularly in safety-
critical domains, such as embedded, automotive, or cyber-physical systems. Moreover …

Robots artificially replicate human capabilities thanks to their software, the main
embodiment of intelligence. However, engineering robotics software has become …

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 …

ISO 26262 is a functional safety standard that targets the automotive domain. This standard
focuses on single system certification 1 and does not contain guidelines to certify product …

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 …

Software product line engineering is a widely used approach to plan and manage reuse of
software. When safety critical products are developed, achieving functional safety standard …

In systems engineering, practitioners shall explore numerous architectural alternatives until
choosing the most adequate variant. The decision-making process is most of the time a …

Robotics has experienced an increasing evolution and interest from the society in recent
years. Robots are no longer produced exclusively to perform repetitive tasks in factories …

Independent Component Analysis (ICA) has found its application in face recognition
successfully. The goals are to estimate the components from raw image data. These …