ROA 2009: B.6 Verification and Validation of Flight Critical Systems (VVFCS1) (Recovery Act)

archived

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 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.

High