ACCUEIL

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

APPEL À
CONTRIBUTION

Le comité de rédaction du JESA lance un appel à proposition de numéros spéciaux.

En savoir plus >>
Autres revues >>

Journal Européen des Systèmes Automatisés

1269-6935
Revues des Systèmes
 

 ARTICLE VOL 45/1-3 - 2011  - pp.173-188  - doi:10.3166/jesa.45.173-188
TITRE
Analyse de latence et fraîcheur pire cas sur systèmes avioniques modulaires intégrés

RÉSUMÉ
La notion d’architecture avionique modulaire intégrée (IMA) a été définie dans le but de partager de manière fiable et sûre des ressources de calcul et de communication. L’objectif de cet article est d’évaluer des propriétés fonctionnelles de fraîcheur et de latence sur un système IMA. Les deux principales contributions sont : (1) une modélisation des plateformes IMA fondée sur le tagged signal model, (2) l’évaluation des propriétés au travers de formules analytiques ou la résolution d’un programme linéaire. Nous proposons une discussion sur l’importance de la surapproximation induite par l’abstraction des communications.


ABSTRACT
The Integrated Modular Avionics (IMA) architectures have been defined for safely sharing communication and computation resources. The aim of this paper is to evaluate latency and freshness properties of functions implemented on IMA platforms. The two main contributions are: (1) a modeling approach for IMA platforms based on the tagged signal model, (2) the definition of an evaluation method for these properties based both on analytical formulas and on Integer Linear Programming (ILP). We propose a discussion on the significance of the over-approximations induced by the network abstraction.


AUTEUR(S)
Michaël LAUER, Frédéric BONIOL, Jérôme ERMONT, Claire PAGETTI

MOTS-CLÉS
système embarqué temps réel, analyse pire cas, IMA.

KEYWORDS
real-time embedded system, worst-case analysis, tagged signal model, IMA.

LANGUE DE L'ARTICLE
Français

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



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier