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 …

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 …

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

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 …

Software updates are indispensable for the continuous development of Cyber Physical
Systems (CPS): They allow for low-cost bug-fixing, fast adaptation to new or changing …

Models are used to describe different properties of a software system. Those models often
share information that is represented redundantly and, thus, has to be kept consistent …

Continuous deployment has become a widely used practice in web-based software
applications. Deploying a new software version to production is a seamless automated …

“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 …