Computational Analysis of Complex Real-Time Systems – FMTV 2016 Verification Challenge

Post by **Sophie Quinton** » Fri Jul 01, 2016

Title: Computational Analysis of Complex Real-Time Systems – FMTV 2016 Verification Challenge

Authors:
Ingo Stierand, Philipp Reinkemeier, Sebastian Gerwinn, Thomas Peikenkamp (OFFIS, Oldenburg, Germany)

Abstract:
Real-time scheduling analysis is an important step in safety relevant embedded system design for many application domains, such as avionics, automotive and automation. Increasing system complexity, not least due to raising automated mobility, requires constant evolution of the analysis approaches, resulting in a vital research domain.

We like to contribute to the research by presenting a computational analysis approach, where the system model is unfolded as discrete-time state transition system. The analysis engine is tailored particularly for real-time scheduling analysis and exploits respective optimisations. We show the applicability of the approach on an industrial relevant problem, and discuss its advantages and limits.

Attached document:

FMTV_2016_computational.pdf: (565.28 KiB) Downloaded 734 times