Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques
Les systèmes embarqués critiques (utilisés dans le domaine avionique, militaire ou médical) doivent assurer une continuité de service et la sécurité des données qu'ils contiennent ou échangent. La garantie de ces exigences s'effectue au travers d'un processus de développement rigoureu...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Télécom ParisTech
2010
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00006301 http://pastel.archives-ouvertes.fr/docs/00/55/93/52/PDF/thesis_Delange.pdf |