Timing Properties and Scheduling in Distributed Systems

For regulations and control, customers need to know the performance of the platforms. For safety issues we need to know the worst-case scenarios. Platforms are becoming more and more distributed.

In this project we build a methodology and a supporting tool for timing analysis of distributed systems. The approach provides a technique for “holistic task and message scheduling”, using an actor model and model checking tool. We build different execution traces of the system without missing the corner cases. Different traces for different settings are analyzed.

The project provides the following value for the companies:

Automatic identifying of signal paths and calculations of minimum, maximum and the typical propagation time from end-to-end that shows the performance and worst-case scenarios.