The goal of the Verification and Validation of Flight-Critical Systems (VVFCS) project
is to develop multidisciplinary verification and validation tools and techniques that
advance safety assurance and certification of complex, networked, distributed flight
Here flight critical systems are defined to be any system that directly
controls the safe conduct of an aircraft?s flight.
This includes air and ground systems,
concepts of operation as well as technology, and recognizes that human performance is a
key factor in flight-critical systems and must be accounted for.
The increasing complexity of flight critical systems proposed for the Next Generation Air
Transportation System (NextGen) will require new paradigms and real-time distributed
system infrastructures providing high levels of confidence and safety assurances.
cost of proving a flight-critical system is safe is often expected to far surpass the costs for
other aspects of design and implementation.