1. Lockheed Martin Aeronautics Company V&V Technologies Identified by VVIACS  Near-Term V&V Evolution: SW Model-based design now being implemented  Auto-Code  Auto-Test  Rapid Prototyping  System Model-Based  Automated Verification Management  Simulation-Based Design  Mid-Term V&V Evolution: Formal Foundations in advanced development  Formal Requirements Specs  Requirements and Traceability Analysis  Formal Methods  Computer-Aided System Engineering  Far-Term V&V Evolution: V&V Awareness through out still in research  V&V Run-Time Design  Rigorous Analysis for Test Reduction  Requirements and Design Abstraction  Probabilistic/Statistical Test  Testing Metrics

2. Lockheed Martin Aeronautics Company Technology Results from VVIACS 1.Automated Verification Management 2.Formal Requirements Specifications 3.Requirements and Traceability Analysis 4.Formal Methods 5.Probabilistic / Statistical Test 6.Requirements and Design Abstraction 7.V&V Run-Time Design 8.Testing Metrics 9.Rigorous Analysis for Test Reduction 10.Computer-Aided System Engineering Increasing Cost-Benefit Ratio Near-Term (1-3 years) Technology Mid-Term (4-6 years) Technology Far-Term (7-9 years) Technology

3. Lockheed Martin Aeronautics Company Technologies Addressed by Lockheed Martin through AFRL’s CerTA FCS Program 1.Automated Verification Management 2.Formal Requirements Specifications 3.Requirements and Traceability Analysis 4.Formal Methods 5.Probabilistic / Statistical Test 6.Requirements and Design Abstraction 7.V&V Run-Time Design 8.Testing Metrics 9.Rigorous Analysis for Test Reduction 10.Computer-Aided System Engineering Primary CerTA FCS Focus Secondary CerTA FCS Focus In which area lies the impending breakthrough that will change the face of certification forever?