V

1
VV Technologies Identified by VVIACS

• Near-Term VV 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 VV Evolution Formal Foundations in
  advanced development
• Formal Requirements Specs
• Requirements and Traceability Analysis
• Formal Methods
• Computer-Aided System Engineering
• Far-Term VV Evolution VV Awareness through out
  still in research
• VV Run-Time Design
• Rigorous Analysis for Test Reduction
• Requirements and Design Abstraction
• Probabilistic/Statistical Test

2
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. VV 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
Technologies Addressed by Lockheed Martin through
AFRLs 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. VV 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?