After the introduction of the RAFALE's Flight Command System (Systeme de Commande de Vol: SCV). DASSAULT Aviation presents its studies on software applications to critical safety systems, with an emphasis on the following: (1) The methodology used in the development. It includes a phase for the formalization of the software specifications, its objective being to improve on the dialogue between two distinct entities: the automaticians on one hand and the computer programmers on the other hand. (2) The key support systems used in this methodology: GISELE: specification tool using a formal language whose testing and automatic prototype potential guarantee a descriptive quality, and VALIRAF: validation tool which automatically compares the results of the system to the models obtained during the studies on specifications. It manages the testing process and evaluates its level of reliability. An assessment of the results and a presentation of future programs of study are also included.
Le Developpement des Logiciels de Commandes de Vol, l'Experience Rafale (Flight Command Software Development: Rafale Studies)
1993
13 pages
Report
No indication
English
Le Developpement des Logiciels de Commandes de Vol - L'Experience Rafale
British Library Conference Proceedings | 1993
|Le système de commandes de vol du Rafale
Online Contents | 1996
|Online Contents | 1998