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

critical

credit:

How's Your Community Doing?
Check Out it's
Community Vital Signs

systems.

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.

The

cost of proving a flight-critical system is safe is often expected to far surpass the costs for

other aspects of design and implementation.