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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    D. Beurrier (Autor:in) / F. Vergnol (Autor:in) / P. Bourdais (Autor:in)

    Erscheinungsdatum :

    1993


    Format / Umfang :

    13 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch