ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 34/5 - 2015  - pp.601-626  - doi:10.3166/tsi.34.601-626
TITRE
Calcul de propriétés temps réel de bout-en-bout dans un programme synchrone multi-périodique

TITLE
End-to-end real-time analysis is multi-periodic synchronous program

RÉSUMÉ
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.


ABSTRACT
The specification of a safety critical real-time application often includes end-to-end temporal requirements, imposed by the designer, that are usually checked at implementation level. In this paper we focus on three requirements: latency, i.e. the amount of time required before an input is taken into account by the corresponding output, freshness, i.e., the age of an output with respect to its related input, and reactivity, i.e., the minimal duration of an input to be taken into account by the corresponding output. Using a synchronous modeling language extended with real-time clocks, we show that these requirements can be computed automatically without considering implementation choices.


AUTEUR(S)
Rémy WYSS, Frédéric BONIOL, Julien FORGET, Claire PAGETTI

Reçu le 5 février 2015.    Accepté le 14 septembre 2015.

MOTS-CLÉS
langage synchrone, latence, fraicheur, réactivité, temps réel

KEYWORDS
synchronous language, latency, freshness, reactivity, real-time

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (495 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier