Krytyczne systemy komputerowe dla kontroli ruchu lotniczego

Niniejszy artykul przedstawia analizę krytycznych system w wykorzystywanych w kontroli ruchu lotniczego. Wskazując na pewne ograniczenia obecnych system w, przedstawiono r wnież ulepszenia, kt re można wdrożyc w nowych systemach kontroli ruchu lotniczego, takich jak projekt radaru oparty na technologii nadzoru kontroli ruchu lotniczego: ADS-B (Automatic dependent surveillance- broadcast) i satelitarnej transmisji danych.