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


JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>This deliverable summarizes consortium experience and expectations for a number of tools that can support high-assurance development for embedded systems.</p>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "SYSGO SRO", 
      "@type": "Person", 
      "name": "Rollo, Jan"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "Alvarez de Sotomayor, Amelia"
    }, 
    {
      "affiliation": "Schneider Electric Espana SA", 
      "@type": "Person", 
      "name": "Caracuel, Benito"
    }, 
    {
      "affiliation": "Epoche and Espri SLU", 
      "@type": "Person", 
      "name": "Ortega, Alvaro"
    }, 
    {
      "affiliation": "Thales Austria GmbH", 
      "@type": "Person", 
      "name": "Hametner, Reinhard"
    }, 
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Tverdyshev, Sergey"
    }, 
    {
      "affiliation": "SYSGO AG", 
      "@type": "Person", 
      "name": "Blasum, Holger"
    }, 
    {
      "affiliation": "Unicontrols A.S.", 
      "@type": "Person", 
      "name": "Kertis, Tom\u00e1\u0161"
    }, 
    {
      "affiliation": "SYSGO SRO", 
      "@type": "Person", 
      "name": "Havle, Oto"
    }, 
    {
      "affiliation": "Universit\u00e4t Rostock", 
      "@type": "Person", 
      "name": "Schulz, Thorsten"
    }, 
    {
      "affiliation": "ELEKTROTECHNICKY ZKUSEBNI USTAV, SP", 
      "@type": "Person", 
      "name": "Hager, Michael"
    }
  ], 
  "url": "https://zenodo.org/record/2586480", 
  "datePublished": "2017-12-20", 
  "version": "1.0", 
  "keywords": [
    "medium assurance", 
    "high-assurance", 
    "Common Criteria", 
    "IEC 62443", 
    "testing", 
    "modelling"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.2586480", 
  "@id": "https://doi.org/10.5281/zenodo.2586480", 
  "@type": "CreativeWork", 
  "name": "List of tools and techniques applicable for high and medium assurance for efficient assurance"
}
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

Share

Cite as