Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques

Résumé : 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 rigoureux qui s'attache à détecter et corriger toute erreur avant la mise en production du système. Toutefois, plusieurs exemples (explosion de la fusée Ariane 5, échec de la mission Mars Climate Orbiter} ont montré les limites de ces méthodes. De plus, l'augmentation des fonctionnalités fournies par ces systèmes complique la garantie de règles de sécurité et de sûreté. Ce travail de thèse propose une méthode de conception de systèmes critiques visant à faciliter le respect des politiques de sécurité et de sûreté dans la production de systèmes critiques. L'approche décrite au sein de ce manuscrit définit des règles de spécifications des systèmes sûrs et sécurisés qui sont utilisés au cours d'un cycle de développement qui (i) valide, (ii) implante et (iii) certifie automatiquement le système. La validation de l'architecture (i) assure la bonne constitution des spécifications et garantit leur faisabilité. L'implantation automatique (ii) génère le système à partir des spécifications validées, garantissant la bonne traduction des spécifications en code exécutable. L'aspect certification (iii) compare l'exécution du système avec ses spécifications et vérifie sa conformité avec les standards de certification inhérents aux systèmes critiques. Cette partie de notre approche assure que les systèmes implantés respectent les contraintes de sécurité et de sûreté décrites par l'utilisateur
Type de document :
Thèse
domain_other. Télécom ParisTech, 2010. Français
Domaine :
Liste complète des métadonnées

Littérature citée [114 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/pastel-00006301
Contributeur : Ecole Télécom Paristech <>
Soumis le : vendredi 10 septembre 2010 - 08:00:00
Dernière modification le : jeudi 9 février 2017 - 15:19:05
Document(s) archivé(s) le : jeudi 30 mars 2017 - 06:00:36

Identifiants

  • HAL Id : pastel-00006301, version 1

Citation

Julien Delange. Intégration de la sécurité et de la sûreté de fonctionnement dans la construction d'intergiciels critiques. domain_other. Télécom ParisTech, 2010. Français. 〈pastel-00006301〉

Partager

Métriques

Consultations de la notice

397

Téléchargements de fichiers

393