A model-based approach for real-time embedded multimodal systems in military aircrafts

ICMI'04 - Sixth International Conference on Multimodal Interfaces

Volumn , Issue , 2004, Pages 243-250

  Bastide, Rémi ^a   Navarre, David ^a   Palanque, Philippe ^a   Schyn, Amélie ^a   Dragicevic, Pierre ^a  

^a IRIT   (France)

Author keywords

Embedded systems; Formal description techniques; Model based approaches

Indexed keywords

BANDWIDTH; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; INTERFACES (COMPUTER); MATHEMATICAL MODELS; REAL TIME SYSTEMS; SOFTWARE ENGINEERING; SYNCHRONIZATION;

AD HOC PROCESS; FORMAL DESCRIPTION TECHNIQUES; MODEL-BASED APPROACHES; MULTIMODAL SYSTEMS;

MILITARY AIRCRAFT;

EID: 14944369832     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1027933.1027974     Document Type: Conference Paper

References (23)

1. Bares, M. and Pastor, D. Principes d'un moteur d'interaction multimodale pour systèmes embarqués. L'Interface des Mondes Réels et Virtuels, Cinquièmes Journées Internationales INFORMATIQUE: 471-483, 1996.
2. Bass, L., Pellegrino, R., Reed, S., Seacord, R., Sheppard, R., and Szezur, M. R. The Arch model: Seeheim revisited. In proceeding of the User Interface Developpers' workshop, version 1.0, 1991.
3. Bastide R., Navarre D., and Palanque P. A Model-Based Tool for Interactive Prototyping of Highly Interactive Applications. Proceedings of the ACM SIGCHI 2002 (Extended Abstracts): 516-517, 2002.
4. Bastide R.., Palanque P., Le Duc H., and Muńoz J. Integrating Rendering Specifications into a Formalism for the Design of Interactive Systems Proceedings of the 5th Eurographics workshop on Design, Specification and Verification of Interactive systems DSV-IS'98Springer Verlag, 1998.
5. Bolt, R. Put That There : Voice and Gesture at the Graphics Interface. SIGGRAPH'80 Proceeding. Vol 14, Number 3: ACM Press: p262-270, 1980.
6. Bourguet, M. L. Outil de Prototypage pour la Conception et l'Evaluation d'Interfaces Utilisateur Multimodales. 14eme Conférence sur l'Interaction Homme-MachineACM Press, 2002.
7. Cohen, Philip R., Johnston, Michael, McGee, David, Oviatt, Sharon, Pittman, Jay, Smith, Ira, Chen, Liang, and Clow, Josh. QuickSet: multimodal interaction for distributed applications. Proceedings of the fifth ACM international conference on Multimedia ACM Press: p 31-40, 1997.
8. Coutaz J., Paterno F., Faconti G., and Nigay L. A Comparison of Approaches for Specifying MultiModal Interactive Systems. Proceedings of the ERCIM Workshop on Multimodal Human-Computer Interaction.: 165-174, 1993.
9. Coutaz, Joëlle, Nigay, Laurence, Salber, Daniel, Blandford, A., May, J., and Young, R. Four Easy Pieces for Assessing the Usability of Multimodal in Interaction : the CARE Properties. Human Computer Interaction, Interact 95Nordby, K. // Helmenrsen, P.//Gilmore, D. //Arnesen, S. Chapman & Hall (IFIP): pp. 115-120, 1995.
10. Duke, D. and Harrison, M. D. MATIS: A Case Study in Formal Specification Technical Report SM/WP17, ESPRIT BRA 7040, Amodeus-2 York: University of York, 1994.
11. Genrich, H. J. Predicate/Transition Nets High-Level Petri Nets: Theory and Application Berlin: K. Jensen and G. Rozenberg (Eds.), Springer Verlag: 3-43., 1997.
12. Hinckley, K., Czerwinski, M., and Sinclair, M. Interaction and Modeling Techniques for Desktop Two-Handed Input. http://research.microsoft.com/users/ kenh/papers/twohand.pdf, 1998.
13. Jacobson, I, Booch, G., and Rumbaugh, J. The Unified Software Development ProcessAddison-Wesley, 1999.
14. Lacaze, X, Palanque, P., Navarre, D., and Bastide, R. Performance Evaluation as a Tool for Quantitative Assessment of Complexity of Interactive Systems. DSV-IS'02 9th workshop on Design Specification and Verification of Interactive Systems, 2002.
15. Latoschik, M. E. Designing Transition Networks for Multimodal VR-Interactions Using a Markup Language. Proceedings of the IEEE fourth International Conference on Multimodal Interfaces, ICMI 2002ACM Press: 411-416, 2002.
16. MacColl, I. and Carrington, D. Testing MATIS : a case study on specification-based testing of interactive systems. FAHCI 98 P57-69: ISBN 0-86339-7948, 1998.
17. Navarre, D., Palanque, P., Bastide, R., and Sy, O. Structuring Interactive Systems Specifications for Executability and Prototypability 7th Eurographics Workshop on Design, Specification and Verification of Interacive Systems DSV-IS'2000 Limerick, Ireland: Lecture Notes in Computer Science; 1946, 2000.
18. Oviatt, Sharon. Ten myths of Multimodal Interaction Communication of the ACM; 42: 11: 74-81, 1999.
19. Palanque, P. and Schyn, A. A Model-Based Approach for Engineering Multimodal Interactive. Proceeding of the Ninth IFIP TC13 International Conference on Human-Computer Interaction (INTERACT'2003), IFIP, 2003.
20. Smith, Shamus and Duke, David. Using CSP to specify interaction in virtual environmentsUniversity of York, 1999.
21. Van Schooten, B., Donk, O., and Zwiers, J. Modelling Interaction in Virtual Environments using Process Algebra. Proceedings TWLT 15: Interactions in Virtual Worlds, 1999.
22. Wieting, Ralf. Hybrid High-Level Nets. Proceedings of the 1996 Winter Simulation ConferenceJ. M. Charnes, D. T. Morrice and D. T. Brunner ed.ACM Press: 848 855, 1996.
23. Willans, James S. and Harrison, Michael D. Prototyping pre-implementation designs of virtual environment behaviour. 8th IFIP Working conference on engineering for human-computer interaction (EHCI'01) Lecture notes in computer science, 2001.