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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Le Developpement des Logiciels de Commandes de Vol, l'Experience Rafale (Flight Command Software Development: Rafale Studies)


    Contributors:
    D. Beurrier (author) / F. Vergnol (author) / P. Bourdais (author)

    Publication date :

    1993


    Size :

    13 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English