Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism

Abstract : The purpose of ARINC 661 specification is to define interfaces to a Cockpit Display System (CDS) which is used in many types of aircrafts cockpits such as A380 from Airbus, B787 from Boeing or Falcon 2000D from Dassault Aviation. ARINC 661 provides precise information for communication protocol between application (called User Applications) and user interface elementary components (called widgets). It also provides a detailed description of the widgets themselves (attributes, events …). However, in ARINC 661, very little 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 a quick overview of the formal description technique called Interactive Cooperative Objects (ICOs) and its application for modelling the various elements of ARINC 661 specification. This formal description technique defines (in a precise and non-ambiguous way) all the elements of an interactive application compliant with ARINC 661 specification and especially their behavioural aspects which is definitively overlooked in the standard. The application of the formal description technique is shown on an interactive application to be used in an interactive cockpit. This application supports pilots' activities while cooperating with Air Traffic Controllers (ATC) using a Data-Link (DL) communication technology. Such communication must follow a predefined protocol called CPDLC (Control-Pilot Data Link Communication). Using this application as a case study, we present how ICOs are used for modelling Interactive Widgets, User Applications and User Interface servers (in the ARINC 661 specification context). Lastly, we present briefly how such models can be exploited for verification and validation purposes of interactive cockpits applications.
Document type :
Conference papers
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download
Contributor : Axelle Pagnier <>
Submitted on : Saturday, July 20, 2019 - 4:11:14 PM
Last modification on : Tuesday, July 23, 2019 - 1:28:33 AM


Files produced by the author(s)


  • HAL Id : hal-02189909, version 1


Arnaud Hamon, Celia Martinie, Philippe Palanque, Eric Barboni, David Navarre, et al.. Interactive Cockpits Applications: Specification, Prototyping and Validation using a Petri-nets based Formalism. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02189909⟩



Record views


Files downloads