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

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.2586480", 
  "language": "eng", 
  "title": "List of tools and techniques applicable for high and medium assurance for efficient assurance", 
  "issued": {
    "date-parts": [
      [
        2017, 
        12, 
        20
      ]
    ]
  }, 
  "abstract": "<p>This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.</p>", 
  "author": [
    {
      "family": "Rollo, Jan"
    }, 
    {
      "family": "Alvarez de Sotomayor, Amelia"
    }, 
    {
      "family": "Caracuel, Benito"
    }, 
    {
      "family": "Ortega, Alvaro"
    }, 
    {
      "family": "Hametner, Reinhard"
    }, 
    {
      "family": "Tverdyshev, Sergey"
    }, 
    {
      "family": "Blasum, Holger"
    }, 
    {
      "family": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "family": "Havle, Oto"
    }, 
    {
      "family": "Schulz, Thorsten"
    }, 
    {
      "family": "Hager, Michael"
    }
  ], 
  "version": "1.0", 
  "type": "report", 
  "id": "2586480"
}
94
446
views
downloads
All versions This version
Views 9494
Downloads 446446
Data volume 569.1 MB569.1 MB
Unique views 8787
Unique downloads 376376
More info on how stats are collected.
Indexed in
Publication date:
December 20, 2017
DOI:
10.5281/zenodo.2586480

Zenodo DOI Badge

DOI 

10.5281/zenodo.2586480

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.2586480.svg)](https://doi.org/10.5281/zenodo.2586480)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.2586480.svg
   :target: https://doi.org/10.5281/zenodo.2586480

HTML 

<a href="https://doi.org/10.5281/zenodo.2586480"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.2586480.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.2586480.svg

Target URL 

https://doi.org/10.5281/zenodo.2586480

Keyword(s):
medium assurance high-assurance Common Criteria IEC 62443 testing modelling
Grants:
European Commission:
  • certMILS - Compositional security certification for medium- to high-assurance COTS-based systems in environments with emerging threats (731456)
Communities:
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0 10.5281/zenodo.2586480 Dec 20, 2017
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.2586479. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export