Diplomová práce se zabývá návrhem vývoje systému řízení provozní bezpečnosti Letiště Pardubice. Pomocí systémového modelu STAMP a jeho metodiky STPA se provede analýza systému symbolizujícího činnosti prováděné provozovatelem ...