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

The FMTV'16 challenge and its solutions to be presented at WATERS'16
Post Reply
Sophie Quinton
Site Admin
Posts: 46
Joined: Tue Apr 28, 2015
Location: Inria Grenoble - Rhône-Alpes, France
Contact:

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 256 times
Sophie Quinton
INRIA Grenoble - Rhône-Alpes
655 Avenue de l'Europe - Montbonnot
38334 St Ismier Cedex - FRANCE
tel: +33 4 76 61 55 31
https://team.inria.fr/spades/quinton/

Post Reply