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



Start date:


End date:


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