Titre :

Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique

Auteur(s) :

Wyss, Rémy [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Boniol, Frédéric [Auteur]
ONERA - The French Aerospace Lab [Toulouse]
Forget, Julien [Auteur]
Institut de Recherche sur les Composants logiciels et matériels pour l'Information et la Communication Avancée - UAR 3380 [IRCICA]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Pagetti, Claire [Auteur]
ONERA - The French Aerospace Lab [Toulouse]

Titre de la revue :

Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques

Pagination :

pp. 601-626

Éditeur :

Lavoisier

Date de publication :

2015-09-14

ISSN :

0752-4072

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

langage synchrone
latence
fraicheur
réactivité
temps réel

Discipline(s) HAL :

Informatique [cs]/Systèmes embarqués

Résumé en anglais : [en]

Les systèmes temps réel critiques doivent souvent répondre à des exigences temporelles de bout en bout, exprimées au niveau modèle, mais qui ne sont pour la plupart vérifiées qu’au niveau de l’implantation. Cet article se ...
Lire la suite >Les systèmes temps réel critiques doivent souvent répondre à des exigences temporelles de bout en bout, exprimées au niveau modèle, mais qui ne sont pour la plupart vérifiées qu’au niveau de l’implantation. Cet article se focalise sur trois exigences : la latence d’une entrée vers une sortie, la fraîcheur d’une sortie relativement à une entrée, et enfin la réactivité du système vis-à-vis d’une entrée. Nous montrons que, en utilisant une approche synchrone enrichie par des horloges temps réel pour la modélisation du système, il est possible de calculer ces propriétés automatiquement en faisant abstraction des choix d’implantation.Lire moins >

Langue :

Français

Vulgarisation :

Non

Collections :

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

Source :

Harvested from HAL