Skip to Main content Skip to Navigation
Conference papers

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

Eric Barboni 1 Stéphane Conversy 1, 2 David Navarre 1, 3 Philippe Palanque 1
1 IRIT-ICS - Interactive Critical Systems
IRIT - Institut de recherche en informatique de Toulouse
2 LII - ENAC - Equipe Informatique Interactive
ENAC - Ecole Nationale de l'Aviation Civile
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Laurence Porte Connect in order to contact the contributor
Submitted on : Thursday, September 4, 2014 - 4:34:57 PM
Last modification on : Tuesday, October 19, 2021 - 2:23:37 PM
Long-term archiving on: : Friday, December 5, 2014 - 10:06:30 AM


Files produced by the author(s)



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. pp 25-38, ⟨10.1007/978-3-540-69554-7_3⟩. ⟨hal-01021771⟩



Record views


Files downloads