Note publique d'information : LES LIENS INDISSOLUBLES ENTRE LES ORDINATEURS ET LES DEFAILLANCES ONT CONDUIT A L'INVENTION
D'UNE VARIETE DE TECHNIQUES DE TOLERANCE AUX FAUTES, POUR SATISFAIRE, POTENTIELLEMENT,
TOUTES LES EXIGENCES CONCERNANT LA SURETE DE FONCTIONNEMENT. EN CONSEQUENCE, LA CONSTRUCTION
DE SYSTEMES SURS DE FONCTIONNEMENT N'EST PLUS BASEE SUR L'INVENTION DES MECANISMES
QUI FOURNISSENT LES GARANTIES DE SURETE DE FONCTIONNEMENT DESIREES, MAIS PLUTOT SUR
LA SELECTION PARMI DES TECHNIQUES EXISTANTES, DE CELLE QUI CONVIENT LE MIEUX POUR
LES EXIGENCES DU SYSTEME. ENSUITE, UNE CODIFICATION DE LA TECHNIQUE SELECTIONNEE PEUT
SERVIR COMME INDEX POUR EXTRAIRE D'UN REPERTOIRE CONTENANT DES MECANISMES DE TOLERANCE
AUX FAUTES, CELUI QUI MET EN OEUVRE LA TECHNIQUE SELECTIONNEE. IL EN RESULTE QUE LA
CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT DEVIENT UN PROCESSUS DE TRANSFORMATION
D'UN ENSEMBLE DE CONTRAINTES DE SURETE DE FONCTIONNEMENT DANS UN MECANISME DE TOLERANCE
AUX FAUTES QUI LES SATISFAIT. LE BUT DE CETTE THESE EST D'ASSURER LA NATURE ROBUSTE
DE LA CONSTRUCTION DE SYSTEMES SURS DE FONCTIONNEMENT, EN FONDANT LE PROCESSUS DE
SELECTION SUR UNE BASE FORMELLE. PLUS PRECISEMENT, CETTE BASE FORMELLE SE COMPOSE
DE : % UN MODELE DE SYSTEME EXPRIMER EN TERME D'ETATS ET D'ACTIONS, QUI PERMET LA
SPECIFICATION DES PROPRIETES DE SURETE DE FONCTIONNEMENT DANS UNE LOGIQUE TEMPORELLE
DE PREDICATS % UNE RELATION DE RAFFINEMENT DE PROPRIETES DE SURETE DE FONCTIONNEMENT,
UNE RELATION DE RAFFINEMENT DE SPECIFICATIONS DE SYSTEMES, ET LEUR CORRELATION. %
DES MOYENS POUR DERIVER AUTOMATIQUEMENT L'IMPACT ARCHITECTURAL D'UNE PROPRIETE DE
SURETE DE FONCTIONNEMENT SUR LES SPECIFICATIONS D'UN SYSTEME. % UN SCHEMA DE CLASSIFICATION,
QUI CAPTURE LES RELATIONS DE RAFFINEMENT DES PROPRIETES ET DES SPECIFICATIONS. CE
SCHEMA STRUCTURE LE CONTENU D'UN REPERTOIRE DE MECANISMES DE TOLERANCE AUX FAUTES,
ET FACILITE LE PROCESSUS DE SELECTION SUSMENTIONNE. LA CONTRIBUTION PRATIQUE DE CETTE
THESE EST EVALUEE DANS LE CADRE DE L'ENVIRONNEMENT DE DEVELOPPEMENT ASTER. LA BASE
FORMELLE EST ADAPTEE AUX SPECIFICITES D'ASTER, ET UN OUTIL EST PRESENTE, QUI EXPLOIT
LE SCHEMA DE CLASSIFICATION POUR EFFECTUER L'ANALYSE DES EXIGENCES CONCERNANT LA SURETE
DE FONCTIONNEMENT. CET OUTIL EST INTEGRE DANS L'ENVIRONNEMENT ASTER, ET REMPLACE L'OUTIL
STANDARD POUR L'EXTRACTION DE MECANISMES DE TOLERANCE AUX FAUTES. LES RESULTATS DE
L'ANALYSE DES EXIGENCES FOURNISSENT AUSSI LES INSTRUCTIONS POUR L'INTEGRATION DES
MECANISMES DE TOLERANCE AUX FAUTES SELECTIONNES DANS LA STRUCTURE DU SYSTEME. BIEN
QU'ELLE NE SOIT PAS INNOVATRICE, PUISQU'ELLE UTILISE DES TECHNIQUES BIEN CONNUES RELEVANT
DES DOMAINES DES SPECIFICATIONS FORMELLES, DE L'ANALYSE DES EXIGENCES, DES ARCHITECTURES
LOGICIELLES, ET DE LA RE-UTILISATION DU LOGICIEL, L'ORIGINALITE DE CETTE THESE REPOSE
SUR LA COMBINAISON DES TECHNOLOGIES EXISTANTES POUR LE BENEFICE DE LA CONSTRUCTION
DES SYSTEMES. LA NATURE ROBUSTE DE CETTE CONSTRUCTION EST GARANTIE PAR L'ANALYSE RIGOUREUSE
ET LE RAFFINEMENT CORRECT DES EXIGENCES D'UN SYSTEME CONCERNANT LA SURETE DE FONCTIONNEMENT.