METHODOLOGIE ET ENVIRONNEMENT POUR LA CONCEPTION A BASE DE MODELES DE SYSTEMES AUTOMOBILES CRITIQUES SECURITAIRES

Overview & Synopsis

Ce papier présente une méthodologie et un environnent outillé pour la conception et l'analyse de sureté de systèmes automobiles critiques selon une approche d'ingénierie dirigée par les modèles. Cette méthodologie adresse quelques limitations identifiées dans les méthodes et outils existants pour l'analyse de sûreté fonctionnelle. La méthodologie exploite la co-ingénierie matériel et de sureté pour définir une méthode de développement compositionnelle compatible avec la norme ISO26262. La méthodologie permet de définir des systèmes sur par conception en couplant les processus de sûreté et de développement. La méthodologie est implémentée dans un outil de modélisation appelé Sophia, offrant un environnement de développement graphique pour la conception et l'implémentation de systèmes matériels.