In: ICMI '04: Proceedings of the 6th international conference on Multimodal interfaces, pages 243-250. New York, NY, USA: ACM Press, 2004. http://doi.acm.org/10.1145/1027933.1027974.
Abstract: This paper presents the use of a model-based approach for the formal description of real-time embedded multimodal systems. This modeling technique has been used in the field of military fighter aircrafts. The paper presents the formal description techniques, its application on the case study of a multimodal command and control interface for the Rafale aircraft as well as its relationship with architectural model for interactive systems.
Keywords: embedded systems; formal description techniques; model-based approaches.
Back to the Petri Nets Bibliography