Conference paper Open Access

A Model-based Approach to Certification of Adaptive MILS

Koelemeijer, Dorien; Araby, Rasma; Nouri, Ayoub; Bozga, Marius; DeLong, Rance


DCAT Export

<?xml version='1.0' encoding='utf-8'?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:adms="http://www.w3.org/ns/adms#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:dct="http://purl.org/dc/terms/" xmlns:dctype="http://purl.org/dc/dcmitype/" xmlns:dcat="http://www.w3.org/ns/dcat#" xmlns:duv="http://www.w3.org/ns/duv#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:frapo="http://purl.org/cerif/frapo/" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:gsp="http://www.opengis.net/ont/geosparql#" xmlns:locn="http://www.w3.org/ns/locn#" xmlns:org="http://www.w3.org/ns/org#" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:prov="http://www.w3.org/ns/prov#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:schema="http://schema.org/" xmlns:skos="http://www.w3.org/2004/02/skos/core#" xmlns:vcard="http://www.w3.org/2006/vcard/ns#" xmlns:wdrs="http://www.w3.org/2007/05/powder-s#">
  <rdf:Description rdf:about="https://doi.org/10.5281/zenodo.1306089">
    <dct:identifier rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://doi.org/10.5281/zenodo.1306089</dct:identifier>
    <foaf:page rdf:resource="https://doi.org/10.5281/zenodo.1306089"/>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Koelemeijer, Dorien</foaf:name>
        <foaf:givenName>Dorien</foaf:givenName>
        <foaf:familyName>Koelemeijer</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>ATSEC</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Araby, Rasma</foaf:name>
        <foaf:givenName>Rasma</foaf:givenName>
        <foaf:familyName>Araby</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>ATSEC</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Nouri, Ayoub</foaf:name>
        <foaf:givenName>Ayoub</foaf:givenName>
        <foaf:familyName>Nouri</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Univ. Grenoble Alpes, CNRS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>Bozga, Marius</foaf:name>
        <foaf:givenName>Marius</foaf:givenName>
        <foaf:familyName>Bozga</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>Univ. Grenoble Alpes, CNRS</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:creator>
      <rdf:Description>
        <rdf:type rdf:resource="http://xmlns.com/foaf/0.1/Agent"/>
        <foaf:name>DeLong, Rance</foaf:name>
        <foaf:givenName>Rance</foaf:givenName>
        <foaf:familyName>DeLong</foaf:familyName>
        <org:memberOf>
          <foaf:Organization>
            <foaf:name>The Open Group</foaf:name>
          </foaf:Organization>
        </org:memberOf>
      </rdf:Description>
    </dct:creator>
    <dct:title>A Model-based Approach to Certification of Adaptive MILS</dct:title>
    <dct:publisher>
      <foaf:Agent>
        <foaf:name>Zenodo</foaf:name>
      </foaf:Agent>
    </dct:publisher>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#gYear">2018</dct:issued>
    <dcat:keyword>modular assurance cases</dcat:keyword>
    <dcat:keyword>evidential tool-bus</dcat:keyword>
    <dcat:keyword>adaptive MILS</dcat:keyword>
    <dcat:keyword>dynamic reconfiguration</dcat:keyword>
    <dct:issued rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2018-06-25</dct:issued>
    <dct:language rdf:resource="http://publications.europa.eu/resource/authority/language/ENG"/>
    <owl:sameAs rdf:resource="https://zenodo.org/record/1306089"/>
    <adms:identifier>
      <adms:Identifier>
        <skos:notation rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">https://zenodo.org/record/1306089</skos:notation>
        <adms:schemeAgency>url</adms:schemeAgency>
      </adms:Identifier>
    </adms:identifier>
    <dct:isVersionOf rdf:resource="https://doi.org/10.5281/zenodo.1306088"/>
    <dct:isPartOf rdf:resource="https://zenodo.org/communities/mils"/>
    <dct:description>&lt;p&gt;In this work, we tackle the problem of certifying Adaptive systems. These are able to automatically perform self-reconfiguration at runtime, which makes classical certification approaches inapplicable. The need for certification approaches for these systems is thus becoming urgent, especially due to their prevalent use in safety- and mission critical settings. Due to the inherent complexity of adaptive systems and the absence of a principled methodology for their construction and assurance, there has been little movement by certification authorities to accept such systems. Among the challenges for certification are a way of generating an adequate assurance case for initial state of the adaptive system and for each step in its incremental adaptation, and generation and management of the evidence upon which the assurance case relies. We contribute in this research by proposing a novel modular approach to the certification of adaptive systems in the context of the Adaptive MILS architecture.&lt;br&gt; The proposed approach is backed by an Evidential-Tool Bus implementation that allows a continuous on-demand generation of assurance cases.&lt;/p&gt;</dct:description>
    <dct:accessRights rdf:resource="http://publications.europa.eu/resource/authority/access-right/PUBLIC"/>
    <dct:accessRights>
      <dct:RightsStatement rdf:about="info:eu-repo/semantics/openAccess">
        <rdfs:label>Open Access</rdfs:label>
      </dct:RightsStatement>
    </dct:accessRights>
    <dct:license rdf:resource="https://creativecommons.org/licenses/by/4.0/legalcode"/>
    <dcat:distribution>
      <dcat:Distribution>
        <dcat:accessURL rdf:resource="https://doi.org/10.5281/zenodo.1306089">https://doi.org/10.5281/zenodo.1306089</dcat:accessURL>
        <dcat:byteSize>2501600</dcat:byteSize>
        <dcat:downloadURL rdf:resource="https://zenodo.org/record/1306089/files/Koelemeijer2018a-model-based-approach.pdf">https://zenodo.org/record/1306089/files/Koelemeijer2018a-model-based-approach.pdf</dcat:downloadURL>
        <dcat:mediaType>application/pdf</dcat:mediaType>
      </dcat:Distribution>
    </dcat:distribution>
  </rdf:Description>
</rdf:RDF>
747
392
views
downloads
All versions This version
Views 747749
Downloads 392392
Data volume 980.6 MB980.6 MB
Unique views 731733
Unique downloads 304304

Share

Cite as