Add to ORKGInternational audienceIn 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
International audienceThis chapter surveys timed automata as a formalism for model checking real-tim...
A technique for the verification of concurrent parametric timed systems is presented. In the systems...
This is the author version of the manuscript of the same name published in the proceedings of the 24...
Abstract—In this paper we propose solutions to the FMTV challenge of a distributed video processing ...
This is the author version of the manuscript of the same name published in the International Journal...
. Traditional approaches to the algorithmic verification of real-time systems are limited to checkin...
A new generation of distributed real-time systems (DRTS) is based on heterogeneous models of computa...
Traditional approaches to the algorithmic verification of real-time systems are limited to checking...
International audienceAbstract Real-time systems are notoriously hard to verify due to nondeterminis...
AbstractWe present an extension of the model checker Uppaal, capable of synthesizing linear paramete...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
In this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete ca...
We present an extension of the model checker Uppaal capable of synthesizing linear parameter constra...
The formalism of parametric timed automata provides designers with a formal way to specify and verif...
This is the author version of the manuscript of the same name published in the Transactions on Petri...
International audienceThis chapter surveys timed automata as a formalism for model checking real-tim...
A technique for the verification of concurrent parametric timed systems is presented. In the systems...
This is the author version of the manuscript of the same name published in the proceedings of the 24...
Abstract—In this paper we propose solutions to the FMTV challenge of a distributed video processing ...
This is the author version of the manuscript of the same name published in the International Journal...
. Traditional approaches to the algorithmic verification of real-time systems are limited to checkin...
A new generation of distributed real-time systems (DRTS) is based on heterogeneous models of computa...
Traditional approaches to the algorithmic verification of real-time systems are limited to checking...
International audienceAbstract Real-time systems are notoriously hard to verify due to nondeterminis...
AbstractWe present an extension of the model checker Uppaal, capable of synthesizing linear paramete...
Real-time applications are playing an increasingly significant role in our life. The cost and risk i...
In this report, we study the application of the Parametric Timed Automata(PTA) tool to a concrete ca...
We present an extension of the model checker Uppaal capable of synthesizing linear parameter constra...
The formalism of parametric timed automata provides designers with a formal way to specify and verif...
This is the author version of the manuscript of the same name published in the Transactions on Petri...
International audienceThis chapter surveys timed automata as a formalism for model checking real-tim...
A technique for the verification of concurrent parametric timed systems is presented. In the systems...
This is the author version of the manuscript of the same name published in the proceedings of the 24...