Modélisation comportementale et sémantique pour la sûreté de fonctionnement des systèmes autonomes critiques

Nicolas Méric (1) , Julien Niol (2) , Mohamed Tlig (2)

1 IRT SystemX
2 APSYS [Elancourt]

Afin de pallier certaines limites liées à la complexité de la simulation du Véhicule Autonome (VA) et rencontrées à l'IRT SystemX, nous proposons un workflow qui repose sur l'utilisation conjointe d'une ontologie et d'un langage de modélisation comportementale.

Mots clés: Sûreté de fonctionnement; Model Based Safety Assessment; Scénarios de validation; Système de conduite autonome; Ontologie; AltaRica

Domaines: Sciences de l'ingénieur [physics]

Nicolas Méric, Julien Niol, Mohamed Tlig. Modélisation comportementale et sémantique pour la sûreté de fonctionnement des systèmes autonomes critiques. Congrès Lambda Mu 22 « Les risques au cœur des transitions » (e-congrès) - 22e Congrès de Maîtrise des Risques et de Sûreté de Fonctionnement, Institut pour la Maîtrise des Risques, Oct 2020, Le Havre (e-congrès), France. ⟨hal-03453613⟩