Project deliverable Open Access

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

Rollo, Jan; Alvarez de Sotomayor, Amelia; Caracuel, Benito; Ortega, Alvaro; Hametner, Reinhard; Tverdyshev, Sergey; Blasum, Holger; Kertis, Tomáš; Havle, Oto; Schulz, Thorsten; Hager, Michael

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

Files (1.3 MB)
Name Size
certMILS-D1.2-List-of-tools-and-techniques-PU-M12.pdf
md5:2381128237c457126d3f0e051b0e7e9d
1.3 MB Download
93
446
views
downloads
All versions This version
Views 9393
Downloads 446446
Data volume 569.1 MB569.1 MB
Unique views 8686
Unique downloads 376376

Share

Cite as