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 25/1 - 2006  - pp.43-72  - doi:10.3166/tsi.25.43-72
TITRE
Un cadre formel pour la spécification multivue de systèmes avioniques

RÉSUMÉ
Les méthodes formelles bénéficient d’un intérêt grandissant dans les domaines de la conception et de la vérification des systèmes critiques complexes. Pour maîtriser cette complexité, les concepteurs utilisent des approches par vues orientées métier pour la conception et l’analyse. Le besoin d’un cadre fédérateur, dans lequel le développement et l’exploitation concertée de résultats d’analyses multivues seraient décrits formellement, se fait à présent sentir. Cet article présente un cadre orienté composant dédié à la spécification multivue de systèmes embarqués, dans le domaine aéronautique, tentant de répondre à ces besoins. Un composant est une entité formelle possédant trois couches internes (matérielle, opératoire, fonctionnelle), ainsi qu’une collection de modèles dans différentes vues orientées métier. Le cadre théorique dans lequel prend place le développement est bâti à partir d’éléments formels empruntés à la littérature de la théorie des catégories et des institutions. Ce cadre permet de représenter de manière homogène le calcul de composants ainsi que les différents modèles formels utilisés pour l’analyse du système. Notre propos est illustré par les résultats obtenus sur une étude de cas.


ABSTRACT
This paper presents a component oriented framework dedicated to the specification of embedded systems in the aeronautics domain. A component is defined as a formal entity with three internal layers (hardware, operating system, applicative functions) together with a collection of models defined in different domain-oriented views. A categorical and institutional framework is proposed to provide a unified representation of the component calculus as well as the various formal models used for the analysis of the system. The framework and associated methodology are illustrated on a case study.


AUTEUR(S)
Yamine AÏT-AMEUR, Rémi DELMAS, Virginie WIELS

MOTS-CLÉS
composants, avionique, vues hétérogènes, institutions, synchronisation.

KEYWORDS
components, avionics, heterogeneous views, institutions, synchronization.

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  (406 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

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

 English version >> 
Lavoisier