Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée

Ossama Hamouda (1) , Mohamed Kaâniche (1) , Karama Kanoun (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

The congestion of traffic has been increasingly growing, especially in urban areas. One of the investigated solutions for this problem is the automated traffic. Many research programs have been carried out or are currently underway regarding assistance for driving, which is in the long run a path to the automated road or highway. One example consists in building convoys, or platoons of vehicles that can evolve autonomously. The development of automated highways is aimed at improving the flow of traffic and road safety (by reducing accidents), while reducing fuel consumption and pollution. In this paper, we address the problem of the evaluation of quantitative measures characterizing dependability in the context of an automated highway system, based on the use of platoons of vehicles driven by more or less autonomous agents, interacting in a multiagent system environment.

Domaines: Informatique et langage [cs.CL]

Ossama Hamouda, Mohamed Kaâniche, Karama Kanoun. Modélisation et évaluation de la sûreté de fonctionnement d'un système d'autoroute automatisée. 16ème Colloque de Maîtrise des Risques et de Sûreté de Fonctionnement. LAMBDA-MU 16, Oct 2008, Avignon, France. ⟨hal-00453029⟩