Time: Wednesday 14.4.2004, 14:30
Place: Room A4-106, Fr. Bajersvej 7
Small Aircraft Transportation System (SATS) is a research program lead
by NASA Langley Research Center. The aim of SATS is to provide
procedures and technology to facilitate easier use of small aircraft
within the current airspace system in the USA.
In particular, Higher-Volume Operations (HVO) is concerned with the
use of small non-tower, non-radar airports in near all-weather
conditions. Current procedures rely on a mutual exclusion approach
which is highly inefficient, but also very safe. The stretch goal for
HVO is to allow 10 simultaneous operations (approaching or leaving the
airport) in a small area around the airport, while ensuring that
aircraft maintain safe distances between each other and any other
obstacles.
Using formal methods, in the form of theorem proving, we reason about
a scheduling algorithm which ensures that safe distances are always
kept.
This research was performed while at the National Institute of
Aerospace, Hampton, Virginia.