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

• DREAMSeminar.pdf · application/pdf · 382 kbytes

• 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.