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
| First Name | Last Name | Title |
|---|---|---|
| Kristina | Lundqvist | Chairman of the MDU recruitment committee,Professor |
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology
Kristina Lundqvist, Chairman of the MDU recruitment committee,Professor
Email: kristina.lundqvist@mdu.seRoom: U1-066B
Phone: 021-101428
Apr 2014