Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement
Cette thèse propose des méthodes assistant la modélisation et l'évaluation qualitative de l'architecture de sûreté de fonctionnement des systèmes embarqués complexes. Ces architectures sont souvent construites à partir de motifs généraux d'architectures de systèmes correspondant à des...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Ecole nationale superieure de l'aeronautique et de l'espace
2005
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00011496 http://tel.archives-ouvertes.fr/docs/00/06/18/00/PDF/phd_kehren.pdf http://tel.archives-ouvertes.fr/docs/00/06/18/00/ANNEX/soutenance_kehren.pdf |