Design principles for interactive software
Design principles for interactive software
An incremental XSLT transformation processor for XML document manipulation
Proceedings of the 11th international conference on World Wide Web
Petri net objects for the design, validation and prototyping of user-driven interfaces
INTERACT '90 Proceedings of the IFIP TC13 Third Interational Conference on Human-Computer Interaction
A Petri Net based Environment for the Design of Event-driven Interfaces
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
A model-based approach for real-time embedded multimodal systems in military aircrafts
Proceedings of the 6th international conference on Multimodal interfaces
XML active transformation (eXAcT): transforming documents within interactive systems
Proceedings of the 2005 ACM symposium on Document engineering
INDIGO: une architecture pour la conception d'applications graphiques interactives distribuées
IHM 2005 Proceedings of the 17th international conference on Francophone sur l'Interaction Homme-Machine
Interactive Systems. Design, Specification, and Verification
Graphic Rendering Considered as a Compilation Chain
Interactive Systems. Design, Specification, and Verification
A Formal Approach for User Interaction Reconfiguration of Safety Critical Interactive Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Improving Modularity of Interactive Software with the MDPC Architecture
Engineering Interactive Systems
Rapid Development of Scoped User Interfaces
Proceedings of the 13th International Conference on Human-Computer Interaction. Part I: New Trends
ACM Transactions on Computer-Human Interaction (TOCHI)
Proceedings of the 2009 international conference on Multimodal interfaces
SketchiXML: a design tool for informal user interface rapid prototyping
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
DREAMER: a design rationale environment for argumentation, modeling and engineering requirements
Proceedings of the 28th ACM International Conference on Design of Communication
Self-checking widgets for interactive cockpits
EWDC '11 Proceedings of the 13th European Workshop on Dependable Computing
Fault-tolerant interactive cockpits for critical applications: overall approach
SERENE'12 Proceedings of the 4th international conference on Software Engineering for Resilient Systems
Formal description of multi-touch interactions
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Addressing dependability for interactive systems: application to interactive cockpits
Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems
Proceedings of the 31st European Conference on Cognitive Ergonomics
Interactive cockpits as critical applications: a model-based and a fault-tolerant approach
International Journal of Critical Computer-Based Systems
Hi-index | 0.00 |
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.