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)
Name | Size | Download all |
---|---|---|
md5:2381128237c457126d3f0e051b0e7e9d
|
1.3 MB | Preview Download |