For the most recent entries see the Petri Nets Newsletter.

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

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

In: ICMI '04: Proceedings of the 6th international conference on Multimodal interfaces, pages 243-250. New York, NY, USA: ACM Press, 2004.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography