A Formal Analysis Framework for AADL
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson · 2011
As system failure of mission-critical embedded systems may result in serious consequences, the development process should include verification techniques already at the architectural design stage, ...