Title :

Verifying end-to-end real-time constraints on multi-periodic models

Author(s) :

Forget, Julien [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Boniol, Frédéric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]

Conference title :

ETFA2017 - 22nd IEEE International Conference on Emerging Technologies And Factory Automation

City :

Limassol

Country :

Chypre

Start date of the conference :

2017-09-12

HAL domain(s) :

Informatique [cs]/Systèmes embarqués
Informatique [cs]/Performance et fiabilité [cs.PF]

English abstract : [en]

Control-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we ...
Show more >Control-command systems must usually satisfy a set of high-level end-to-end timing constraints to ensure their correctness. We propose a formal approach to verify these properties directly at the model level. First, we introduce a small language for specifying arbitrary end-to-end constraints. Then, we show how to verify any constraint of this language for a system represented with a multi-periodic synchronous model, a model that retains the main concepts of data-flow oriented programming languages (such as Matlab/Simulink, synchronous languages or AADL). One advantage of this approach is that it is simpler to verify end-to-end constraints at the model level, early in the development process, rather than at the implementation level.Show less >

Language :

Anglais

Peer reviewed article :

Oui

Audience :

Internationale

Popular science :

Non

Collections :

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

Source :

Harvested from HAL