Easy analysis of hard real-time systems – how far can we get?
Posted: Wed May 29, 2019
Title: Easy analysis of hard real-time systems – how far can we get?
Author: Albrecht Mayer (Infineon)
Abstract:
Easy means getting reliable, understandable, quantitative answers for simple questions like is it working? Is it robust?
This all without a detailed knowledge of the whole system, without having all design data and without tool hassles and high cost.
On the hardware side this goal requires the necessary observation units on chip and a cost effective tool hardware infrastructure. This is solved to a large degree today e.g. by the microcontrollers of the AURIX family. The challenge is to use the observation capabilities by new analysis approaches. In this talk I will give concrete examples how performance properties of a real-time system can be analyzed automatically with this goal in mind.
Author: Albrecht Mayer (Infineon)
Abstract:
Easy means getting reliable, understandable, quantitative answers for simple questions like is it working? Is it robust?
This all without a detailed knowledge of the whole system, without having all design data and without tool hassles and high cost.
On the hardware side this goal requires the necessary observation units on chip and a cost effective tool hardware infrastructure. This is solved to a large degree today e.g. by the microcontrollers of the AURIX family. The challenge is to use the observation capabilities by new analysis approaches. In this talk I will give concrete examples how performance properties of a real-time system can be analyzed automatically with this goal in mind.