Calcul de propriétés temps réel de ...
Document type :
Compte-rendu et recension critique d'ouvrage
DOI :
Title :
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique
Author(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]
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]
Journal title :
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques
Pages :
pp. 601-626
Publisher :
Lavoisier
Publication date :
2015-09-14
ISSN :
0752-4072
English keyword(s) :
langage synchrone
latence
fraicheur
réactivité
temps réel
latence
fraicheur
réactivité
temps réel
HAL domain(s) :
Informatique [cs]/Systèmes embarqués
English abstract : [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 ...
Show more >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.Show less >
Show more >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.Show less >
Language :
Français
Popular science :
Non
Collections :
Source :
Files
- https://hal.archives-ouvertes.fr/hal-01819818/file/TSI_GMLB_15_HAL.pdf
- Open access
- Access the document
- https://hal.archives-ouvertes.fr/hal-01819818/file/TSI_GMLB_15_HAL.pdf
- Open access
- Access the document
- TSI_GMLB_15_HAL.pdf
- Open access
- Access the document