Titre :

Verification of Two Real-Time Systems Using Parametric Timed Automata

Auteur(s) :

Sun, Youcheng [Auteur]
Scuola Universitaria Superiore Sant'Anna = Sant'Anna School of Advanced Studies [Pisa] [SSSUP]
Lipari, Giuseppe [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
André, Étienne [Auteur]
Laboratoire d'Informatique de Paris-Nord [LIPN]

Titre de la manifestation scientifique :

WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems

Ville :

Lund

Pays :

Suède

Date de début de la manifestation scientifique :

2015-12-07

Titre de la revue :

WATERS - International Workshop on Analysis Tools and Methodologies for Embedded Real-Time Systems

Date de publication :

2015-07-07

Mot(s)-clé(s) en anglais :

Real-Time Applications
Verification Method
Timed Automata
Parametric analysis

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués
Informatique [cs]/Système d'exploitation [cs.OS]
Informatique [cs]/Théorie et langage formel [cs.FL]

Résumé en anglais : [en]

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 ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

• Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL