Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Conduire des analyses de sûreté de fonctionnement conjointement avec d'autres analyses au niveau architectural permet à la fois d'estimer les effets des décisions architecturales sur la sûreté de fonctionnement du système et de faire des compromis. Par conséquent, les industriels et les un...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Institut National Polytechnique de Toulouse - INPT
2007
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00207502 http://tel.archives-ouvertes.fr/docs/00/20/75/02/PDF/RuginaPhDThesis.pdf |