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

International audienceSummary The paper gives an overview of existing methods and tools for safety analysis and presents a methodology and framework for design and safety analysis of critical automotive systems based on model-based approach. It exploits hardware/safety co-engineering to define a compositional development method compatible with ISO26262. The methodology allows obtaining safe-by-design automotive systems by coupling development and safety processes. The methodology is implemented in a modeling framework, called Sophia, offering a graphical development environment for hardware system design and implementation.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