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

Division:

Division of Computer Science and Software Engineering

Research Group:

Safety-Critical Engineering

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
First NameLast NameTitle
Kristina Lundqvist Professor

Kristina Lundqvist, Professor

Email: kristina.lundqvist@mdh.se
Room: U1-066B
Phone: 021-101428

Apr 2014
Innovationer för Framtidens hälsa