A Formal Description Technique for Interactive Cockpit Applications Compliant with ARINC Specification 661

The purpose of the ARINC specification 661 is to define interfaces to a cockpit display system (CDS) targeting new aircraft installations. ARINC 661 provides precise information for communication protocols between application and user interface components (called widgets) as well as precise information about the widgets themselves. However, no information is given on the behavior of these widgets and on the behavior of an application made up of a set of such widgets. This paper presents a formal description technique called interactive cooperative objects to define in a precise and non-ambiguous way such behaviors. This description technique also defines the relationships between the behavioral description and the user interface. We show the benefits of such a notation for the specification of interactive cockpit applications and we introduce each modeling concept on a small example.

[1]  Gilbert Cockton,et al.  Design Principles for Interactive Software , 1997, IFIP — The International Federation for Information Processing.

[2]  Marco Winckler,et al.  Supporting Usability Evaluation of Multimodal Man-Machine Interfaces for Space Ground Segment Applications Using Petri nets Based Formal Specification , 2006 .

[3]  Philippe A. Palanque,et al.  Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems , 1998, DSV-IS.

[4]  Lance Sherry,et al.  When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interfaces , 2002 .

[5]  Philippe A. Palanque,et al.  Structuring Interactive Systems Specifications for Executability and Prototypability , 2000, DSV-IS.

[6]  Eric Barboni,et al.  Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification , 2006, DSV-IS.

[7]  Rüdiger Valk,et al.  Petri Nets as Token Objects: An Introduction to Elementary Object Nets , 1998, ICATPN.

[8]  Robert Lorenz,et al.  Modelling and Control with Modules of Signal Nets , 2003, Lectures on Concurrency and Petri Nets.

[9]  Massachusett Framingham,et al.  The Common Object Request Broker: Architecture and Specification Version 3 , 2003 .

[10]  David Navarre.  Contribution à l' ingénierie en Interaction Homme-Machine : une technique de description formelle et un environnement pour une modélisation et une exploitation synergiques des tâches et du système , 2001 .

[11]  Philippe A. Palanque,et al.  A Petri Net based Environment for the Design of Event-driven Interfaces , 1995, Application and Theory of Petri Nets.

[12]  Philippe A. Palanque,et al.  Petri Net Based Behavioural Specification of CORBA Systems , 1999, ICATPN.

[13]  Ben Shneiderman,et al.  Direct Manipulation: A Step Beyond Programming Languages , 1983, Computer.