New concepts for automating air traffic management functions at
small non-towered airports raise serious safety issues associated
with the software implementations and their underlying key
algorithms. The criticality of such software systems necessitates
that strong guarantees of the safety be developed for them. In this
paper we present a formal method for modeling and verifying such
systems using the PVS theorem proving system. The method is
demonstrated on a preliminary concept of operation for the Small
Aircraft Transportation System (SATS) project at NASA Langley.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
