ABV - Enabling Architecture Based Verification and Validation of Mission-Critical Systems

Status:

finished

Start date:

2007

End date:

2012

The overarching research goal of this project is to develop an integrated framework to support more effective verification and validation of mission-critical systems. Within this overarching goal, we define four measurable objectives:

  • 1. Define the formal semantics of the AADL language
  • 2. Develop test suite generation algorithms to support integration testing
  • 3. Develop algorithms to enable effective regression testing
  • 4. Engage industry to assess the feasibility and effectiveness of automated test case generation