fortiss software Evidential Toolbus 2
Evidential Toolbus 2

Continuous assurance case creation

Evidential Toolbus 2 (ETB2)

Evidential Toolbus 2 (ETB2) consists of multiple components that collectively enable an end-to-end, decentralized, and continuous assurance process.

At the core of the architecture is the Query Processor, whose various layers interactively collaborate to generate claims together with their supporting evidence for a given query. This component is complemented by five additional elements: the Tools Database, Workflows Database, Servers Database, Claims Database, and the Evidence Repository. Together, these components form the foundation for decentralized and continuous query processing as well as claim generation.

The Tools Database manages the specifications of the tools available on an ETB2 node, while the Workflows Database stores assurance workflows for processing complex queries that cannot be handled by a single tool.

The Servers Database maintains information about all remote nodes subscribed to by an ETB2 node. The Claims Database stores and manages all claims established on a node. The Evidence Repository serves as a tamper-resistant storage system for all evidence artifacts that support the claims hosted on an ETB2 node.

Download

The current ETB2 version for download and further information can be found here.

Documentation

The current ETB2 documentation and further information can be found here.

Evidential Toolbus 2 in a research context

Evidential Tool Bus

A framework for continuous and accountable software certification

The increasing complexity of embedded software and the growing demands on safety assurance are exceeding the capabilities of current verification and…

Contact

click to return to top of page