More Web Proxy on the site http://driver.im/

Article

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

Authors:

Stéphane Conversy,

Philippe PalanqueAuthors Info & Claims

DSVIS'06: Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

Pages 25 - 38

Published: 26 July 2006 Publication History

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.

References

[1]

ARINC 661 specification: Cockpit Display System Interfaces To User Systems, Prepared by Airlines Electronic Engineering Committee, Published by AERONAUTICAL RADIO, INC, april 22, 2002.

[2]

Bastide R., Navarre D., Palanque P., Schyn A. & Dragicevic P. A Model-Based Approach for Real-Time Embedded Multimodal Systems in Military Aircrafts. Sixth International Conference on Multimodal Interfaces (ICMI'04) October 14-15, 2004 Pennsylvania State University, USA.

Digital Library

[3]

Bastide R., David Navarre & Philippe Palanque. Tool Support for Interactive Prototyping of Safety Critical Interactive Applications. In Encyclopedia of HCI, C. Gaoui (Ed.). ISBN: 1-59140-562-9. Hard Cover. Publisher: Idea Group Reference Pub Date: July 2005. Pages: 650.

[4]

Bastide R., Ph. Palanque A Petri Net Based Environment for the Design of Event-Driven Interfaces. 16th International Conference on Application and theory of Petri Nets (ATPN'95), LNCS, Springer Verlag, Torino, Italy, 20-22 June 1995.

Digital Library

[5]

Beaudoux O., 2005. XML Active Transformation (eXAcT): Transforming Documents within Interactive Systems. Proceedings of the 2005 ACM Symposium on Document Engineering (DocEng 2005), ACM Press, pages 146-148.

Digital Library

[6]

Blanch R., Michel Beaudouin-Lafon, Stéphane Conversy, Yannick Jestin, Thomas Baudel and Yun Peng Zhao. INDIGO : une architecture pour la conception d'applications graphiques interactives distribuées. In Proceedings of IHM 2005, pages 139-146, Toulouse - France, September 2005.

Digital Library

[7]

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.

[8]

Genrich H. J. (1991). Predicate/Transition Nets, in K. Jensen and G. Rozenberg (Eds.), High-Level Petri Nets: Theory and Application. Springer Verlag, Berlin, pp. 3-43.

[9]

Gram C., Cockton G. (Editors). Design principles for interactive software. Chapman et Hall ed.1995.

Digital Library

[10]

Marrenbach J., Kraiss K-F. Advanced Flight Management System: A New Design and Evaluation Results. In proceedings of HCI Aero 2000, pp. 101-106.

[11]

Navarre D., Palanque, Philippe, Bastide, Rémi. A Tool-Supported Design Framework for Safety Critical Interactive Systems in Interacting with computers, Elsevier, Vol. 15/3, pp 309-328, 2003.

[12]

Navarre D., Philippe Palanque & Réémi Bastide. A Formal Description Technique for the Behavioural Description of Interactive Applications Compliant with ARINC 661 Specification. HCI-Aero'04 Toulouse, France, 29 September-1st October 2004.

[13]

Palanque P., R. Bastide. 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 (UK).

Digital Library

[14]

Pfaff, G. E. (Hrsg.): User Interface Management Systems, Proceedings, Workshop on User Interface Management Systems, Seeheim,(1. - 3.11.1983); Springer Verlag 1983.

[15]

Sherry L., Polson P., Feary M. & Palmer E. When Does the MCDU Interface Work Well? Lessons Learned for the Design of New Flightdeck User-Interface. In proceedings of HCI Aero 2002, AAAI Press, pp. 180-186.

[16]

Souchon, N., Vanderdonckt, J., A Review of XML-Compliant User Interface Description Languages, Proc. of 10th Int. Conf. on Design, Specification, and Verification of Interactive Systems DSV-IS'2003 (Madeira, 4-6 June 2003), Jorge, J., Nunes, N.J., Falcao e Cunha, J. (Eds.), Lecture Notes in Computer Science, Vol. 2844, Springer-Verlag, Berlin, 2003, pp. 377-391.

[17]

UsiXML, http://www.usixml.org/?view=news.

[18]

Villard, L. and Layaïda, N. 2002. An incremental XSLT transformation processor for XML document manipulation. In Proceedings of the 11th international Conference on World Wide Web (Honolulu, Hawaii, USA, May 07-11, 2002). WWW '02. ACM Press, New York, NY, 474-485.

Digital Library

Cited By

Canny AMartinie CNavarre DPalanque PBarboni EGris C(2021)Engineering Model-Based Software Testing of WIMP Interactive ApplicationsProceedings of the ACM on Human-Computer Interaction10.1145/34617295:EICS(1-30)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3461729
Bowen JKhanal SPietriga ELuyten K(2018)Test Stub Generation from Interaction and Behavioural ModelsProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3220134.3220138(1-6)Online publication date: 19-Jun-2018
https://dl.acm.org/doi/10.1145/3220134.3220138
Fayollas CFabre JPalanque PCronel MNavarre DDeleris YBoy G(2016)A three-fold approach towards increased assurance levels for interactive systemsProceedings of the International Conference on Human-Computer Interaction in Aerospace10.1145/2950112.2964578(1-9)Online publication date: 14-Sep-2016
https://dl.acm.org/doi/10.1145/2950112.2964578
Show More Cited By

Recommendations

Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
Annals of discrete mathematics, 24

Few examples of formal specification of the semantics of user interfaces exist in the literature. This paper presents a comparison of four axiomatic approaches which we have applied to the specification of a commercial user interface-the line editor for ...
Refinement-based Specification and Analysis of Multi-core ARINC 653 Using Event-B
ARINC 653 as the de facto standard of partitioning operating systems has been applied in many safety-critical domains. The multi-core version of ARINC 653, ARINC 653 Part 1-4 (Version 4), provides support for services to be utilized with a module that ...
Capricorn - an intelligent user interface for mobile widgets
MobileHCI '08: Proceedings of the 10th international conference on Human computer interaction with mobile devices and services

Widgets are embeddable objects that provide easy and ubiquitous access to dynamic information sources, e.g., weather, news or TV program information. Interactions with widgets take place through a so-called widget engine, which is a specialized client-...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

DSVIS'06: Proceedings of the 13th international conference on Interactive systems: Design, specification, and verification

July 2006

269 pages

ISBN:9783540695530

Editors:
Gavin Doherty
Department of Computer Science, Trinity College Dublin, Dublin 2, Ireland
,
Ann Blandford
UCL Interaction Centre, University College London, London, UK

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 26 July 2006

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

17
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 30 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Canny AMartinie CNavarre DPalanque PBarboni EGris C(2021)Engineering Model-Based Software Testing of WIMP Interactive ApplicationsProceedings of the ACM on Human-Computer Interaction10.1145/34617295:EICS(1-30)Online publication date: 29-May-2021
https://dl.acm.org/doi/10.1145/3461729
Bowen JKhanal SPietriga ELuyten K(2018)Test Stub Generation from Interaction and Behavioural ModelsProceedings of the ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/3220134.3220138(1-6)Online publication date: 19-Jun-2018
https://dl.acm.org/doi/10.1145/3220134.3220138
Fayollas CFabre JPalanque PCronel MNavarre DDeleris YBoy G(2016)A three-fold approach towards increased assurance levels for interactive systemsProceedings of the International Conference on Human-Computer Interaction in Aerospace10.1145/2950112.2964578(1-9)Online publication date: 14-Sep-2016
https://dl.acm.org/doi/10.1145/2950112.2964578
Brajnik GHarper SLuyten KPalanque PCampos JSchmidt A(2016)Measuring interaction design before building the systemProceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems10.1145/2933242.2933246(183-193)Online publication date: 21-Jun-2016
https://dl.acm.org/doi/10.1145/2933242.2933246
Fayollas CPalanque PFabre JNavarre DBarboni ECronel MDeleris YCasiez GPietrzak TChapuis OConversy S(2014)A fault-tolerant architecture for resilient interactive systemsProceedings of the 26th Conference on l'Interaction Homme-Machine10.1145/2670444.2670462(80-90)Online publication date: 28-Oct-2014
https://dl.acm.org/doi/10.1145/2670444.2670462
Hamon APalanque PAndré RBarboni ECronel MNavarre D(2014)Multi-Touch interactions for control and display in interactive cockpitsProceedings of the International Conference on Human-Computer Interaction in Aerospace10.1145/2669592.2669650(1-10)Online publication date: 30-Jul-2014
https://dl.acm.org/doi/10.1145/2669592.2669650
Martinie CPalanque PRagosta MFahssi RPalanque PDétienne FTricot A(2013)Extending procedural task models by systematic explicit integration of objects, knowledge and informationProceedings of the 31st European Conference on Cognitive Ergonomics10.1145/2501907.2501954(1-10)Online publication date: 26-Aug-2013
https://dl.acm.org/doi/10.1145/2501907.2501954
Fayollas CForbrig PDewan PHarrison MLuyten K(2013)Addressing dependability for interactive systemsProceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2494603.2480336(163-166)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1145/2494603.2480336
Hamon APalanque PSilva JDeleris YBarboni EForbrig PDewan PHarrison MLuyten K(2013)Formal description of multi-touch interactionsProceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems10.1145/2494603.2480311(207-216)Online publication date: 24-Jun-2013
https://dl.acm.org/doi/10.1145/2494603.2480311
Fayollas CFabre JNavarre DPalanque PDeleris Y(2012)Fault-tolerant interactive cockpits for critical applicationsProceedings of the 4th international conference on Software Engineering for Resilient Systems10.1007/978-3-642-33176-3_3(32-46)Online publication date: 27-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33176-3_3
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents