*banner
 

Building Assurance Cases with the Evidential Tool Bus
Natarajan Shankar

Citation
Natarajan Shankar. "Building Assurance Cases with the Evidential Tool Bus". Talk or presentation, 4, March, 2014.

Abstract
Cyber-physical systems combine physical and software components to build systems that operate in the physical world . Since these systems are often safety critical, the software has to be certified to a high level of assurance. Such an assurance case consists of claims supported by arguments based on evidence. The claims, both formal and semi-formal, can either be derived from sub-claims by means of an inference rule, or result from the application of a specific tool or service like a model checker or a test coverage analyzer. SRI's Evidential Tool Bus (ETB) is a distributed platform for defining workflows that produce and process the artifacts used in an assurance case. ETB uses Datalog as its metalanguage for defining workflows and constructing arguments. We present the architecture and semantics of ETB and describe how it is being used to support the development of assurance cases for cyber-physical systems.

Electronic downloads

Citation formats  
  • HTML
    Natarajan Shankar. <a
    href="http://chess.eecs.berkeley.edu/pubs/1061.html"
    ><i>Building Assurance Cases with the Evidential
    Tool Bus</i></a>, Talk or presentation,  4,
    March, 2014.
  • Plain text
    Natarajan Shankar. "Building Assurance Cases with the
    Evidential Tool Bus". Talk or presentation,  4, March,
    2014.
  • BibTeX
    @presentation{Shankar14_BuildingAssuranceCasesWithEvidentialToolBus,
        author = {Natarajan Shankar},
        title = {Building Assurance Cases with the Evidential Tool
                  Bus},
        day = {4},
        month = {March},
        year = {2014},
        abstract = {Cyber-physical systems combine physical and
                  software components to build systems that operate
                  in the physical world . Since these systems are
                  often safety critical, the software has to be
                  certified to a high level of assurance. Such an
                  assurance case consists of claims supported by
                  arguments based on evidence. The claims, both
                  formal and semi-formal, can either be derived from
                  sub-claims by means of an inference rule, or
                  result from the application of a specific tool or
                  service like a model checker or a test coverage
                  analyzer. SRI's Evidential Tool Bus (ETB) is a
                  distributed platform for defining workflows that
                  produce and process the artifacts used in an
                  assurance case. ETB uses Datalog as its
                  metalanguage for defining workflows and
                  constructing arguments. We present the
                  architecture and semantics of ETB and describe how
                  it is being used to support the development of
                  assurance cases for cyber-physical systems.},
        URL = {http://chess.eecs.berkeley.edu/pubs/1061.html}
    }
    

Posted by Armin Wasicek on 6 Mar 2014.
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.

Notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright.

You are not logged in 
©2002-2018 Chess