An Integrated Solution

The SEI is developing an integrated approach to safety and security engineering, supported by an AADL-based workbench.

This approach:

• Unifies safety and security analysis through a formalized taxonomy that is used to drive system verification via fault injection and simulation
• Provides a design framework to combine safety and security mechanisms into a robust and resilient system architecture through continuous analytic verification.
• Ensures traceability by linking machine-readable requirements to the tests that verify them and the system elements that implement them.