To: seminaire@pauillac.inria.fr
From: Bruno.Barras@inria.fr
Subject: SEM - INRIA : LogiCal - 21/12/01 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                        Vendredi 21 decembre, 10h30

                                -----------
                                Cesar Munoz
                                -----------


                   ======================================
                   Safety on New Air Traffic Technologies
                    (from a Formal Methods perspective)
                   ======================================


    Safety assessment  of new  air traffic management  systems (ATM)  is a
    main issue for civil aviation authorities. Standard techniques such as
    testing and  simulation have serious  limitations in new  systems that
    are  significantly more  autonomous than  the older  ones.  The Formal
    Methods group at ICASE - NASA Langley is conducting research on formal
    safety assessment  of new ATM technology. Fundamental  to our approach
    is  the   modeling  of   the  physical  environment   using  continuos
    mathematics in a higher-order logic  framework. This talk will give an
    overview of this  work and will report on  the success of verification
    stories on conflict detection and resolution algorithms.