Application Domain
This formal specification technique has already been applied in the field of Air Traffic Control interactive applications, space command and control ground systems, or interactive military or civil cockpits.
Satellite operational procedures modelling
This study of the Automated Transfer Vehicle Control Room includes the modelling of operators, their operational procedures, the ground control system and the satellite system model.
Air Traffic Control interactive Applications
This example comes from an En-route Air Traffic Control application focusing on the impact of data-link technologies in the ATC field. Using such applications, air traffic controllers can direct pilots in a sector (a decomposition of the airspace).
Civil Interactive Cockpit
(DPAC - Thales) Specification of interactive application compliant with ARINC 661 specification
Military Applications
Multimodality for interactive applications - application to fighters and Air Traffic Control (PEA DGA).Very high fidelity prototyping.
Satellite Ground Control Applications
Multimodal and 3D interfaces for the management of satellite control ground segments (CNES)