Doctoral researcher in Software-Defined Vehicles

Updated: over 1 year ago
Deadline: ;

Software has been playing a prominent role in vehicle for many years now, as a large majority of the functions of a vehicle are mostly implemented in software. Some of next generation’s Electronic Control Units (ECUs) will be equipped with powerful System-on-Chips (SOCs), each containing several multicore processors with specific capabilities (e.g., lock-step execution for safety-critical code, low-power execution, etc). Larger ECUs routinely support hypervisors hosting Virtual Machines (VM) running OSes of different types (e.g., real-time, infotainment or general-purpose OS). Besides VMs, software containers are also technologies that start being considered for use in the automotive domain to ease software update.

In that landscape, a new trend is that the runtime execution platform increasingly relies on software, allowing for more modularity and providing a lot of flexibility in terms of configuration, or re-configuration after new functions have been deployed.  For instance, software components executing in the VMs may communicate through software-implemented (“virtual”) network interfaces connected to a virtual Ethernet switch, i.e. software replacing the actual HW. More generally, what has been observed over the last decade is that the complexity is migrating from the hardware (in the past, vehicles sometimes had 50+ ECUs, most running a few functions) to the software (today E/E architectures tend to rely on a lesser number of powerful ECUs, with complex internal software architectures).  This era of increasing reliance on software in the automotive domain is referred to as Software-Defined Vehicle (SDV).

If SDV holds much promises, it requires us to rethink the existing design, development and verification approaches:

  • SDV may require more software-centric design and development methodologies.
  • Additional run-time mechanisms, e.g. implemented in middleware software layers, may be needed to complement current standards and technologies.
  • Configuration and Design-Space-Exploration (DSE) algorithms need to be extended to support SDV.
  • Performance evaluation in the automotive domain is typically conducted with worst-case scheduling analysis (“schedulability analysis”) at the level of a processor or at system level (considering “timing chains” over different processors and networks). Are the existing techniques, such as system-level compositional analysis, able to cope with the complexity of next-generation execution platforms? If not, what would be the techniques that could allow verifying that non-functional concerns like timing and safety are met?

This Phd thesis explores these questions with the aim to contribute to the design of provably-correct SDV E/E architectures.



Similar Positions