SEMCO: simplify the design of safety critical systems with security patterns

DESCRIPTION

• SEMCO is a software-based solution which helps system and software teams design correct-by-construction security and safety systems
• SEMCO promotes the use of security patterns, proven solutions to common security problems, across functional teams
• With SEMCO users can:
  - Create, reuse and share security patterns
  - Find and instantiate relevant patterns for a given problem
  - Perform automatic analysis: does the system have enough resources ? Does my implementation cover this risk ? etc.

APPLICATIONS

• Model-based engineering of critical systems
• Space
• Transportation
• Energy…