Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification

Abstract : The purpose of ARINC 661 specification [1] is to define interfaces to a Cockpit Display System (CDS) used in any types of aircraft installations. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface components (called widgets) as well as precise information about the widgets themselves. However, in ARINC 661, no information is given about the behaviour of these widgets and about the behaviour of an application made up of a set of such widgets. This paper presents the results of the application of a formal description technique to the various elements of ARINC 661 specification within an industrial project. This formal description technique called Interactive Cooperative Objects defines in a precise and non-ambiguous way all the elements of ARINC 661 specification. The application of the formal description techniques is shown on an interactive application called MPIA (Multi Purpose Interactive Application). Within this application, we present how ICO are used for describing interactive widgets, User Applications and User Interface servers (in charge of interaction techniques). The emphasis is put on the model-based management of the feel of the applications allowing rapid prototyping of the external presentation and the interaction techniques. Lastly, we present the CASE (Computer Aided Software Engineering) tool supporting the formal description technique and its new extensions in order to deal with large scale applications as the ones targeted at by ARINC 661 specification.
Type de document :
Communication dans un congrès
DSVIS 2006, 13th conference on Design Specification and Verification of Interactive Systems, Jul 2006, Dublin, Ireland. 4323, pp 25-38, 2006, 〈10.1007/978-3-540-69554-7_3〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal-enac.archives-ouvertes.fr/hal-01021771
Contributeur : Laurence Porte <>
Soumis le : jeudi 4 septembre 2014 - 16:34:57
Dernière modification le : mercredi 12 septembre 2018 - 17:46:02
Document(s) archivé(s) le : vendredi 5 décembre 2014 - 10:06:30

Fichier

275.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Eric Barboni, Stéphane Conversy, David Navarre, Philippe Palanque. Model-based engineering of widgets, user applications and servers compliant with ARINC 661 specification. DSVIS 2006, 13th conference on Design Specification and Verification of Interactive Systems, Jul 2006, Dublin, Ireland. 4323, pp 25-38, 2006, 〈10.1007/978-3-540-69554-7_3〉. 〈hal-01021771〉

Partager

Métriques

Consultations de la notice

216

Téléchargements de fichiers

512