Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides
Résumé
Les gros systèmes industriels constituent, soit seuls, soit avec leur environnement, des systèmes hybrides (logiciel, matériel) qui évoluent pendant un grand laps de temps. Les méthodes d'analyse au pire cas aboutissent souvent à la conclusion que ces systèmes ne peuvent que tomber en panne. Pour ces raisons, il est admis que ces systèmes ont une probabilité de ne pas fonctionner correctement. Nous présentons ici nos premiers travaux pour fournir une certification par les méthodes formelles de ce type de bon fonctionnement. Ce travail nous a amené à nous pencher sur les développements existants en probabilité et à définir une feuille de route pour de nouveaux développements formels en probabilités et en statistiques. Cette présentation replace les différente tâches dans l'architecture générale d'une chaîne de certification contenant à la fois des éléments formels et des mesures empiriques d'un code instrumenté.
Domaines
Arithmétique des ordinateurs
Origine : Fichiers produits par l'(les) auteur(s)
Loading...