Compliance Checking
Systematic assistance to check compliance with standards, rules, policies by using structured modeling languages, including reuse of compliance checks in various scenarios.
Evidence Management
Automation of the most labor-intensive activities for evidence management (e.g., traceability, change impact analysis).
Assurance Argumentation
Structured set of arguments to get justified confidence that systems/processes conform to their requirements for safety and security.
Assessment and Certification
Systematic evaluation of the system's security and safety by measuring how well it conforms to a set of established criteria required for certification.

