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é.
Document type :
Preprints, Working Papers, ...
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00333895
Contributor : Marc Daumas <>
Submitted on : Friday, October 24, 2008 - 1:20:58 PM
Last modification on : Thursday, April 9, 2015 - 3:37:04 PM
Long-term archiving on : Monday, June 7, 2010 - 9:44:46 PM

Files

hal.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00333895, version 1

Collections

Citation

Marc Daumas, Erik Martin-Dorel, Annick Truffert. Bornes quasi-certaines sur l'accumulation d'erreurs infimes dans les systèmes hybrides. 2008. ⟨hal-00333895⟩

Share

Metrics

Record views

135

Files downloads

105