Precision-Timed Synchronous Reactive Processing

• Applicants: Professor Dr. Reinhard von Hanxleden; Professor Dr. Michael Mendler, Ph.D.
• Subject Area: Computer Architecture, Embedded and Massively Parallel Systems
• Term: from 2011 to 2020
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 206574318

Safety-critical and cyber-physical systems are ubiquitous in domains such as avionics, automotive, health-care or plant control. These increasingly complex applications impose high demands on the correctness and timing behaviour of the software. This project investigates a new holistic approach for the design of deterministic, timing-predictable and efficient safety-critical systems. It covers the full-range development process from high-level modelling to low-level hardware implementation. To achieve this, the project combines the synchronous model of computation, which offers strong mathematical foundations for correctness and determinism, with recent advances in hardware design that guarantee predictable timing of instruction execution. The model-based design flow and tool chain developed in the project will extend the traditional synchronous approach for main stream programming and timing analysis of cyber-physical systems and for general precision-timed hardware.

• DFG Programme: Research Grants