Démarche de conception formelle pour systèmes mécatroniques critiques automobiles

Ontology centric design process : Sharing a conceptualization

• Auteur / Autrice : Ofaina Taofifenua
• Direction : Nicole Lévy
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 10/07/2012
• Etablissement(s) : Paris, CNAM
• Ecole(s) doctorale(s) : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)
• Partenaire(s) de recherche : Laboratoire : Centre d'études et de recherche en informatique et communications (Paris)
• Jury : Président / Présidente : Catherine Dubois
• Jury : Examinateurs / Examinatrices : Nicole Lévy, Catherine Dubois, Yamine Aït-Ameur, Mohamed Kaâniche, Fabien Belmonte, Jean-Louis Boulanger, Thierry Graudé
• Jury : Rapporteur / Rapporteuse : Yamine Aït-Ameur, Mohamed Kaâniche

Mots clés

Mots clés contrôlés

Systèmes d'information

Sécurité routière

Mots clés libres

Ontologie

Ingénierie des systèmes

Iso 26262

Ontology

Systems engineering

Iso 26262

Résumé

Dans le marché mondial fortement concurrentiel, un constructeur automobile doit offrir à ses clients des services innovants, respectueux de l'environnement et sûrs de fonctionnement. Tout cela doit être fait à des coûts très compétitifs tout en respectant des réglementations et des délais de plus en plus stricts. Ces travaux répondent à ces défis et visent à améliorer le processus de conception des systèmes mécatroniques critiques automobile. Ils montrent que l'utilisation de modèles formels et informels peuvent se rapporter à un modèle sémantique commun, i.e., une ontologie système et sécurité, qui permet d'assurer la cohérence du processus de conception tout en respectant la norme ISO 26262. Les concepts de ces travaux ont été appliquées sur un système de freinage régénératif hybride intégré dans un véhicule électrique. L'application a démontré que l'ontologie réalisée permet d'enregistrer l'information produite lors de la conception et que l'utilisation d'ontologies permet effectivement de détecter les incohérences sémantiques ce qui améliore la qualité des informations de conception, favorise la réutilisation et assure la conformité à l'ISO 26262.

In the strongly competitive worldwide market of today, a car manufacturer has to offer to its customersrelevant, innovative, reliable, environment friendly and safe services. All this must be done at verycompetitive costs while complying with more and more stringent regulations and tighter deadlines. Thiswork addresses these challenges and aims at improving the design process for automotive safety criticalmechatronics systems. It shows that the use of formal and informal models can commit to a commonsemantic model, i.e., a system and safety ontology, that enables to ensure the consistency of the wholedesign process and compliance with standard ISO 26262. The concepts in this work have been appliedon a regenerative hybrid braking system integrated into an electrical vehicle. It demonstrated that therealized ontology enables to record the information produced during design and that using ontologieseffectively enables to detect semantic inconsistencies which improves design information quality, promotesreuse and ensures ISO 26262 compliance.