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:
A Formal Analysis Framework for AADL (Nov 2011) Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson The Journal of Science and Technology