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.
| Original language | English |
|---|---|
| Number of pages | 7 |
| Publication status | Published - 7 Jul 2015 |
| Event | Waters 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems - Lund, Sweden Duration: 7 Jul 2015 → 7 Jul 2015 http://waters2015.inria.fr/program/ |
Workshop
| Workshop | Waters 6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems |
|---|---|
| Country/Territory | Sweden |
| City | Lund |
| Period | 7/07/15 → 7/07/15 |
| Internet address |