Due to the fast pace at which IoT is evolving, there is an increasing need to support over-
theair software updates for security updates, bug fixes, and software extensions. To this end …

Virtualization has become one of the main tools for making efficient use of the resources
offered by multicore embedded platforms. In recent years, even sectors such as space …

With the gradual perfection of Highly Automated Vehicles (HAVs), it is obligatory to assess
their safety performance in simulation that mirrors the real-world driving environment …

During the development of large software-intensive systems, developers use several
modeling languages and tools to describe a system from different viewpoints. Model-driven …

To validate whether Highly Automated Vehicles (HAVs) can live up to human expectations, it
is essential to estimate their risk rate within the context of the naturalistic driving …

With the increasing importance of Over The Air (OTA) updates in the automotive field,
maintaining safety standards becomes more challenging as frequent incremental changes …

Over the last few decades, automotive embedded Information and Communication
Technology (ICT) systems have been used to enhance vehicle performance and enrich …

In the automotive industry, platform strategies have proved effective for streamlining the
development of complex, highly variable cyber-physical systems. Particularly software …

“The car is the ultimate mobile device”[1] and with its connectivity and a large number [2] of
sensors and actuators an example for a cyber-physical system. The advantages of a service …

Modern cars are becoming increasingly software-driven and interconnected, including new
innovative functions, such as over-the-air updates. Such functions are typically based on …