Terms

The following introduces terms that are used in the context of ConSerts:

• Conditional Safety Certificate (ConSert)

  • ConSert Tree

• Digital Dependability Identity (DDI)

• Dimension: A dimension is used to specify an aspect of a guarantee or demand.

• Intra-Device Evidence - or Runtime Evidence

• Inter-Device Evidence:

  • Guarantee

  • Demand

• Lifecycle

• Service:

  • Provided Service

  • Required Service

• Structured Assurance Case Metamodel (SACM)

• {Composition, Compile, Design, Development, Evaluation Run}-Time

• Tools