Brunel et al.

Decouples the system architecture model from safety & security models. This way, every engineer (be it an architect, a security or a safety engineer) can focus on her concerns solely, with dedicated tools and terminology.

Security DSLs provided by the Tool
Name
Description
Allows modeling of security dysfunctional behavior.
Security Checks provided by the Tool
Name
Description