Abstract FR:

Developpement d'une methode et construction d'un logiciel permettant l'evaluation quantitative des mesures de la surete de fonctionnement des systemes informatiques. La methode proposee realise un calcul precis et rapide des elements transitoires. Des bornes relatives aux differentes erreurs sont mises en evidence. Plus precisement, elles concernent le probleme de precision relatif a la troncature et celui des erreurs d'arrondi. Des valeurs critiques, a partir desquelles les resultats avec un chiffre decimal significatif ne sont plus garantis, sont definies. Cette definition a permis le calcul de l'ensemble de la reponse transitoire par une seule execution du logiciel elabore