Challenge 2015 New Solution: Verification of an Aerial Video System

The consolidated 2015 industrial challenge and its solutions to be presented at WATERS'17
Post Reply
arne.hamann
Posts: 34
Joined: Thu Jan 28, 2016
Location: Renningen

Challenge 2015 New Solution: Verification of an Aerial Video System

Post by arne.hamann » Fri May 19, 2017

Authors: Youcheng Sun, Étienne André and Giuseppe Lipari

youcheng.sun
Posts: 1
Joined: Sun Feb 28, 2016

Re: Challenge 2015 New Solution: Verification of an Aerial Video System

Post by youcheng.sun » Sat May 20, 2017

In this paper we propose solutions to the consolidated version of the WATERS 2015 industrial challenge of a distributed video processing system using the formalism of Parametric Timed Automata (PTA). The first challenge is harder because of the very large number of states to be analyzed, so we only provide upper bounds. The second challenge consists of a real-time scheduling problem for which we provide exact solutions by using a scheduling analysis based on the critical instant, and a PTA model.

Furthermore, regarding the second challenge, we provide formal analysis for the frequency of possible temporal violations in the system, by applying the latest results from the so called weakly hard real-time schedulability analysis. This improvement contributes the major extension of this paper with respect to our solutions to the previous version of the challenge.
Attachments
FMTV17_submitted.pdf
(221.38 KiB) Downloaded 446 times

Post Reply