The FMTV'15 Challenge

[rafik]

About the FMTV Challenge
The purpose of the Formal Methods for Timing Verification (FMTV) challenge is to share ideas, experiences and solutions to a concrete timing verification problem issued from real industrial case studies. It also aims at promoting discussions, closer interactions, cross fertilization of ideas and synergies across the breadth of the real-time research community, as well as attracting industrial practitioners from different domains having a specific interest in timing verification.

The 2015 FMTV Challenge
The 2015 challenge is an industrial case study proposed by THALES, consisting of an aerial video tracking system used in intelligence, surveillance, reconnaissance, tactical and security applications. The challenge was presented to the research community at the FMTV’14 workshop (http://www.merge-project.eu/fmtv14-workshop). The system is characterized by strict and less strict constraints on timing. Two timing verification problems are proposed to the community. The first timing problem is related to a video frame processing chain in the aerial video tracking system and consists in calculating the timing latencies for the frame processing as well as the timing distance separating two successive frame losses. The second timing problem is related to a tracking and camera control subsystem of the aerial video tracking system and consists in calculating the timing latencies for the camera control function and optimizing the priorities assignment.

Attached description:

FMTV15_Challenge.pdf

(1.23 MiB) Downloaded 913 times