Model-based implementation of communication mechanisms in partitioned embedded systems

Background

Modern embedded systems such as control systems in cars and aircrafts are subject to increasingly stringent safety and real-time requirements. To deal with the complexity associated with the development of such systems, novel design paradigms make use of formal models and model-based approaches to ensure that an envisaged implementation meets certain requirements by construction. As part of this, the early verification of functional behavior is often of major importance. An abstraction of on-chip and off-chip communication processes facilitating both a simulation and the synthesis to hardware platforms has the potential to reduce the necessary verification effort significantly.

Task

In this context, the following tasks shall be performed:

• Research on protocol definition and serialization frameworks (proto3, UAVCAN, …)
• Familiarization with the communication principles in modern Type-1 hypervisors
• Development of a concept for the model-based description of communication channels
• Implementation of a framework for the simulation of communication processes
• Implementation of a hypervisor-based runtime system for on-chip and off-chip scenarios
• Evaluation of the simulation and runtime performance

Prerequisites

• Mandatory: C programming, object-oriented programming (Python, Java, …)
• Optional: Knowledge of hypervisors for embedded real-time systems