Automated driving systems (ADS) are expected to be reliable and robust against a wide
range of driving scenarios. Their decisions, first and foremost, must be well understood …

In this paper we discuss the growing need for system behaviour to be validated and verified
(V&V'ed) early in model-based systems engineering. Several aspects push companies …

Software architecture validation is the process of assessing whether a software architecture
meets its intended requirements and goals. It is an important step in the software …

While the recent boom in Artificial Intelligence (AI) has given rise to the technology's use and
popularity across many domains, the same boom has exposed vulnerabilities of the …

Globally there is an increasing number of uncrewed and autonomous surface vessels
operating at sea. Preventing collisions at sea is of paramount importance to safeguard lives …

This study evaluates the development of a testing process for the automotive software
domain, highlighting challenges stemming from the absence of adequate processes. The …

Time is a crucial notion for intelligent systems, such as robotic systems, cognitive systems,
multi-agent systems, cyber-physical systems, or auto-nomous systems, since it is inherent to …

The reliability and safety of autonomous driving systems heavily rely on effective safety
verification and validation techniques. This research abstract presents a comprehensive …

Traditional software safety techniques rely on validating software against a deductively
defined specification of how the software should behave in particular situations. In the case …

The adoption of autonomous driving (AD) software executed on high-performance multi-
processor systems on chip (MPSoCs) contributes to increasing the overall system's safety …