search menu icon-carat-right cmu-wordmark

Automated Assurance of Security Policy Enforcement (AASPE)

AASPE is a set of modeling tools for security analysis and a code generator to produce code for the seL4 platform from AADL models.



The AASPE tools are designed for making secure and safe safety-critical systems. The tools use the AADL and the OSATE toolset. It provides the following features:

  • Attack Impact meta-model
  • Attack Impact graphical editor
  • Attack Tree editor meta-model
  • Attack Tree graphical editor
  • Bridge from Attack Impact to Attack Tree
  • Bridge from AADL to Attack Impact