Tools and Benchmarks for Real-Time Systems ECRTS Community Forum 2015-07-07T08:30:41+01:00 http://localhost/app.php/feed/topic/33 2015-07-07T08:30:41+01:00 2015-07-07T08:30:41+01:00 http://localhost/viewtopic.php?t=33&p=47#p47 <![CDATA[Web page]]>
http://www.imitator.fr/FMTV15/

Statistics: Posted by etienneandre — Tue Jul 07, 2015

]]> 2015-06-26T13:39:11+01:00 2015-06-26T13:39:11+01:00 http://localhost/viewtopic.php?t=33&p=31#p31 <![CDATA[Verification of two real-time systems using parametric timed automata]]> Title: Verification of Two Real-Time Systems Using Parametric Timed Automata

Authors:
Youcheng Sun (Scuola Superiore Sant’Anna, Pisa, Italy)
Étienne André (LIPN, Université Paris 13, France)
Giuseppe Lipari (University of Lille, France)

Abstract: In this paper we propose solutions to the FMTV 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 analysed, 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.

Attached paper:
FMTV15_Solution_Parametric_Timed_Automata.pdf

Statistics: Posted by Sophie Quinton — Fri Jun 26, 2015

]]>