Résumé : Les Systèmes de Transport Intelligents Coopératifs (C-ITS), notamment les véhicules autonomes, représentent le défi de demain dans lemonde de l’automobile. Ces Systèmes peuventêtre assimilés à des ensembles d’agents autonomes coopératifs ayant une perception localede leur environnement et une interaction aveccelui-ci. La problématique majeure est d’obtenir un Systèmes sécurisé, tout en proposant uneconduite fluide et confortable. Pour répondre àcette problématique, une multitude de simulateurs informatiques, notamment de type trafic oumulti-agent, existent pour modéliser l’ensembledes agents et de leur environnement, simuler etanalyser leurs comportements. Nous proposonsun comparatif de ces simulateurs à partir d’unensemble de critères d’évaluation.

Résumé : L’analyse comportementale des véhicules autonomes représente un challenge majeur dans lemonde de l’automobile. Dans le but d’assurerune conduite sécurisée et fluide, plusieurs méthodes peuvent être appliquées, notamment lasimulation informatique. L’analyse, cependant,doit tenir compte de très nombreux paramètresévoluant en temps réel. Dans ce contexte, nousétudions le changement de voie d’un véhiculeà différents niveaux d’abstraction. Cela nousconduit à déterminer les propriétés qui peuventêtre validées avec un niveau d’abstraction plushaut, où l’espace des paramètres est réduit, permettant une analyse plus efficace.