Colloquium d'informatique

2012-2013 - Campus Jussieu

Séminaire de prestige en recherche informatique. Invitation de grands noms du domaine, visant un public large.

Gilles Dowek: Are formal methods the future of air traffic control?


Envie de télécharger cette vidéo sur votre ordinateur ? Cliquez ici (poids : 610.8 Mo)

Résumé

Decentralized air traffic control is a concept of operations where air traffic control is decentralized to aircrafts and on board computers are used to assist and/or replace the pilots in deciding the route of the aircraft. In some experimental concepts, the full operation of the aircraft is delegated to on board computers. Such concepts can be accepted by the general population only if the computer systems used are extremely safe and this makes air traffic control a major domain of application for formal methods. The diversity problems in air traffic control leads to favor no particular type of formal methods but to use them all as different methods address different types of problems.


Orateur(s) : Gilles Dowek, Inria Paris-Rocquencourt
Public : Tous
Date : Tuesday 22 October 2013
Lieu : Amphithéâtre 25, Campus Jussieu