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.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
- Interaction Technique
- User Application
- Interactive Application
- Rendering Function
- Software Requirement Specification
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
ARINC 661 specification: Cockpit Display System Interfaces To User Systems, Prepared by Airlines Electronic Engineering Committee, Published by AERONAUTICAL RADIO, INC., april 22 (2002)
Bastide, R., et al.: A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. In: Sixth International Conference on Multimodal Interfaces (ICMI’04), Pennsylvania State University, USA, October 14-15 (2004)
Bastide, R., Navarre, D., Palanque, P.: Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. In: Gaoui, C. (ed.) Encyclopedia of HCI (Hard Cover), p. 650. Idea Group Reference Pub., Hershey (July 2005)
Bastide, R., Palanque, P.: A Petri Net Based Environment for the Design of Event-Driven Interfaces. In: DeMichelis, G., Díaz, M. (eds.) Application and Theory of Petri Nets 1995. LNCS, vol. 935, Springer, Heidelberg (1995)
Beaudoux, O.: XML Active Transformation (eXAcT): Transforming Documents within Interactive Systems. In: Proceedings of the 2005 ACM Symposium on Document Engineering (DocEng 2005), pp. 146–148. ACM Press, New York (2005)
Blanch, R., et al.: INDIGO: une architecture pour la conception d’applications grap-hiques interactives distribuées. In: Proceedings of IHM 2005, Toulouse, France, September, pp. 139–146 (2005)
Faerber, R., Vogl, T., Hartley, D.: Advanced Graphical User Interface for Next Generation Flight Management Systems. In: Proceedings of HCI Aero 2000, pp. 107–112 (2000)
Genrich, H.J.: Predicate/Transition Nets. In: Jensen, K., Rozenberg, G. (eds.) High-Level Petri Nets: Theory and Application, pp. 3–43. Springer, Berlin (1991)
Gram, C., Cockton, G. (eds.) (Editors). Chapman and Hall, Boca Raton (1995)
Marrenbach, J., Kraiss, K-F.: Advanced Flight Management System: A New Design and Evaluation Results. In: Proceedings of HCI Aero 2000, pp. 101–106 (2000)
Navarre, D., Palanque, P., Bastide, R.: A Tool-Supported Design Framework for Safety Critical Interactive Systems. Interacting with computers 15(3), 309–328 (2003)
Navarre, D., Palanque, P., Bastide, R.: A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. In: HCI-Aero’04, Toulouse, France, 29 September-1st October (2004)
Palanque, P., Bastide, R.: Petri nets with objects for specification, design and validation of user-driven interfaces. In: Proceedings of the third IFIP TC 13 conference on Human-Computer Interaction, Interact’90, Cambridge, 27-31 August (1990)
Pfaff, G.E. (Hrsg.): User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems, Seeheim, 1. - 3.11.1983. Springer, Heidelberg (1983)
Sherry, L., et al.: When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface. In: Proceedings of HCI Aero 2002, pp. 180–186. AAAI Press, Menlo Park (2002)
Souchon, N., Vanderdonckt, J.: A Review of XML-Compliant User Interface Description Languages. In: Jorge, J.A., Jardim Nunes, N., Falcão e Cunha, J. (eds.) DSV-IS 2003. LNCS, vol. 2844, pp. 377–391. Springer, Heidelberg (2003)
UsiXML, http://www.usixml.org/?view=news
Villard, L., Layaïda, N.: An incremental XSLT transformation processor for XML document manipulation. In: Proceedings of the 11th international Conference on World Wide Web, WWW ’02, Honolulu, Hawaii, USA, May 07-11, 2002, pp. 474–485. ACM Press, New York (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Barboni, E., Conversy, S., Navarre, D., Palanque, P. (2007). Model-Based Engineering of Widgets, User Applications and Servers Compliant with ARINC 661 Specification. In: Doherty, G., Blandford, A. (eds) Interactive Systems. Design, Specification, and Verification. DSV-IS 2006. Lecture Notes in Computer Science, vol 4323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69554-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-69554-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69553-0
Online ISBN: 978-3-540-69554-7
eBook Packages: Computer ScienceComputer Science (R0)