Καιρος (Kairos) is a research team with continuous collaboration with industries that aim to introduce analysis facilities as early as possible in the development cycle. In this context, they participate in a project managed by the IRT Saint Exupéry and in collaboration with numerous companies, amongst which with Renault Software Lab and Thales Alenia Space.  The project proposes to study, at different abstraction levels, the interferences that happen when concurrent software access to shared resources (like memories or buses). This typically happens more and more with the introduction of multi-core architectures in the automotive and spatial domains.

Mission

In strong collaboration with Renault Software Lab and Thales Alenia Space, you will define a DSL based on FIDL and its operational semantics. The operational semantics must be tailored to study the interferences (i.e. simultaneous accesses to shared resources like buses or memory). The semantics will be defined in the GEMOC studio and will benefit from debug services provided by the framework. The researcher will then suggest and generalize new services to help practitioners to understand their software and how they could avoid some flaws in it, focussing on the interferences.