Two tanks control system case study

 

Two tanks control system case study:

The two tanks control system case study is based on AFRL-VVCAS two tanks example:

https://github.com/AFRL-VVCAS/TwoTanksExample

 

Flow chart of the Framework:

 

Inputs of the two tanks system case study:

  1. A domain model for the Cyber Physical System.

  2. The generic assurance case patterns.

  3. Configuration Tables to specify the mapping relations between roles defined in the generic patterns to the domain classes.

  4. A pattern connection table to specify the connections between the generic patterns to build a complete domain specific pattern.

  5. An instance model to represents the two tanks control system artifacts.

 

Outputs of the two tanks system case study:

  1. Our tool generates an ATL program to represents a complete Cyber Physical System domain specific pattern based on inputs 1, 2, 3, and 4.

  2. The ATL program takes 1 and 5 as inputs to generate an assurance case for the two tanks control system.

  3. The evaluation result of the two tanks control system assurance case is saved as a log file.