Published December 20, 2017 | Version 1.0
Project deliverable Open

List of tools and techniques applicable for high and medium assurance for efficient assurance

Creators

  • 1. SYSGO SRO
  • 2. Schneider Electric Espana SA
  • 3. Epoche and Espri SLU
  • 4. Thales Austria GmbH
  • 5. SYSGO AG
  • 6. Unicontrols A.S.
  • 7. Universität Rostock
  • 8. ELEKTROTECHNICKY ZKUSEBNI USTAV, SP

Description

This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.

Files

certMILS-D1.2-List-of-tools-and-techniques-PU-M12.pdf

Files (1.3 MB)

Additional details

Funding

certMILS – Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats 731456
European Commission