Link to textual requirements, and original Simulink models:
http://se-rwth.de/materials/cncviewscasestudy/
Visualisation of FAS Model with different Witnesses
The visualisation of the model
FAS Model v1
FAS Model v4
Witness FA-14 visualisations for FAS v1
FA-14 Satisfaction-Witness
FA-14 Tracing-Witness
FAS Model with colorized FA-14 Satisfaction-Witness
FAS Model with colorized FA-14 Tracing-Witness
Witness FA-19 visualisations for FAS v1
FA-19 Satisfaction-Witness
FA-19 Tracing-Witness
FAS Model with colorized FA-19 Satisfaction-Witness
FAS Model with colorized FA-19 Tracing-Witness
Witness FA-22 visualisations for FAS v1
FA-22 Satisfaction-Witness
FA-22 Tracing-Witness
FAS Model with colorized FA-22 Satisfaction-Witness
FAS Model with colorized FA-22 Tracing-Witness
Witness FA-23 visualisations for FAS v1
FA-23 Satisfaction-Witness
FA-23 Tracing-Witness
FAS Model with colorized FA-23 Satisfaction-Witness
FAS Model with colorized FA-23 Tracing-Witness
Witness FA-24 visualisations for FAS v1
FA-24 Satisfaction-Witness
FA-24 Tracing-Witness
FAS Model with colorized FA-24 Satisfaction-Witness
FAS Model with colorized FA-24 Tracing-Witness
Witness FA-25 visualisations for FAS v1
FA-25 Satisfaction-Witness
FA-25 Tracing-Witness
FAS Model with colorized FA-25 Satisfaction-Witness
FAS Model with colorized FA-25 Tracing-Witness
Witness FA-26 visualisations for FAS v1
FA-26 Satisfaction-Witness
FA-26 Tracing-Witness
FAS Model with colorized FA-26 Satisfaction-Witness
FAS Model with colorized FA-26 Tracing-Witness
Witness FA-27 visualisations for FAS v1
FA-27 Satisfaction-Witness
FA-27 Tracing-Witness
FAS Model with colorized FA-27 Satisfaction-Witness
FAS Model with colorized FA-27 Tracing-Witness
Witness FA-28 visualisations for FAS v1
FA-28 Satisfaction-Witness
FA-28 Tracing-Witness
FAS Model with colorized FA-28 Satisfaction-Witness
FAS Model with colorized FA-28 Tracing-Witness
Witness FA-29 visualisations for FAS v1
FA-29 Satisfaction-Witness
FA-29 Tracing-Witness
FAS Model with colorized FA-29 Satisfaction-Witness
FAS Model with colorized FA-29 Tracing-Witness
Witness FA-30 visualisations for FAS v1
FA-30 Satisfaction-Witness
FA-30 Tracing-Witness
FAS Model with colorized FA-30 Satisfaction-Witness
FAS Model with colorized FA-30 Tracing-Witness
Witness FA-33 visualisations for FAS v1
FA-33 Satisfaction-Witness
FA-33 Tracing-Witness
FAS Model with colorized FA-33 Satisfaction-Witness
FAS Model with colorized FA-33 Tracing-Witness
Witness FA-34 visualisations for FAS v1
FA-34 Satisfaction-Witness
FA-34 Tracing-Witness
FAS Model with colorized FA-34 Satisfaction-Witness
FAS Model with colorized FA-34 Tracing-Witness
Witness FA-35 visualisations for FAS v1
FA-35 Satisfaction-Witness
FA-35 Tracing-Witness
FAS Model with colorized FA-35 Satisfaction-Witness
FAS Model with colorized FA-35 Tracing-Witness
Witness FA-36 visualisations for FAS v1
FA-36 Satisfaction-Witness
FA-36 Tracing-Witness
FAS Model with colorized FA-36 Satisfaction-Witness
FAS Model with colorized FA-36 Tracing-Witness
Witness FA-37 visualisations for FAS v1
FA-37 Satisfaction-Witness
FA-37 Tracing-Witness
FAS Model with colorized FA-37 Satisfaction-Witness
FAS Model with colorized FA-37 Tracing-Witness
Witness FA-38 visualisations for FAS v1
FA-38 Satisfaction-Witness
FA-38 Tracing-Witness
FAS Model with colorized FA-38 Satisfaction-Witness
FAS Model with colorized FA-38 Tracing-Witness
Witness FA-3 visualisations for FAS v4
FA-3 Satisfaction-Witness
FA-3 Tracing-Witness
FAS Model with colorized FA-3 Satisfaction-Witness
FAS Model with colorized FA-3 Tracing-Witness
Witness FA-4 visualisations for FAS v4
FA-4 Satisfaction-Witness
FA-4 Tracing-Witness
FAS Model with colorized FA-4 Satisfaction-Witness
FAS Model with colorized FA-4 Tracing-Witness
Witness FA-5 visualisations for FAS v4
FA-5 Satisfaction-Witness
FA-5 Tracing-Witness
FAS Model with colorized FA-5 Satisfaction-Witness
FAS Model with colorized FA-5 Tracing-Witness
Witness FA-6 visualisations for FAS v4
FA-6 Satisfaction-Witness
FA-6 Tracing-Witness
FAS Model with colorized FA-6 Satisfaction-Witness
FAS Model with colorized FA-6 Tracing-Witness
Witness FA-15 visualisations for FAS v4
FA-15 Satisfaction-Witness
FA-15 Tracing-Witness
FAS Model with colorized FA-15 Satisfaction-Witness
FAS Model with colorized FA-15 Tracing-Witness
Witness FA-19 visualisations for FAS v4
FA-19 Satisfaction-Witness
FA-19 Tracing-Witness
FAS Model with colorized FA-19 Satisfaction-Witness
FAS Model with colorized FA-19 Tracing-Witness
Witness FA-20 visualisations for FAS v4
FA-20 Satisfaction-Witness
FA-20 Tracing-Witness
FAS Model with colorized FA-20 Satisfaction-Witness
FAS Model with colorized FA-20 Tracing-Witness
Witness FA-21 visualisations for FAS v4
FA-21 Satisfaction-Witness
FA-21 Tracing-Witness
FAS Model with colorized FA-21 Satisfaction-Witness
FAS Model with colorized FA-21 Tracing-Witness
Witness FA-22 visualisations for FAS v4
FA-22 Satisfaction-Witness
FA-22 Tracing-Witness
FAS Model with colorized FA-22 Satisfaction-Witness
FAS Model with colorized FA-22 Tracing-Witness
Witness FA-23 visualisations for FAS v4
FA-23 Satisfaction-Witness
FA-23 Tracing-Witness
FAS Model with colorized FA-23 Satisfaction-Witness
FAS Model with colorized FA-23 Tracing-Witness
Witness FA-24 visualisations for FAS v4
FA-24 Satisfaction-Witness
FA-24 Tracing-Witness
FAS Model with colorized FA-24 Satisfaction-Witness
FAS Model with colorized FA-24 Tracing-Witness
Witness FA-24b visualisations for FAS v4
FA-24b Satisfaction-Witness
FA-24b Tracing-Witness
FAS Model with colorized FA-24b Satisfaction-Witness
FAS Model with colorized FA-24b Tracing-Witness
Witness FA-25 visualisations for FAS v4
FA-25 Satisfaction-Witness
FA-25 Tracing-Witness
FAS Model with colorized FA-25 Satisfaction-Witness
FAS Model with colorized FA-25 Tracing-Witness
Witness FA-25b visualisations for FAS v4
FA-25b Satisfaction-Witness
FA-25b Tracing-Witness
FAS Model with colorized FA-25b Satisfaction-Witness
FAS Model with colorized FA-25b Tracing-Witness
Witness FA-26 visualisations for FAS v4
FA-26 Satisfaction-Witness
FA-26 Tracing-Witness
FAS Model with colorized FA-26 Satisfaction-Witness
FAS Model with colorized FA-26 Tracing-Witness
Witness FA-26b visualisations for FAS v4
FA-26b Satisfaction-Witness
FA-26b Tracing-Witness
FAS Model with colorized FA-26b Satisfaction-Witness
FAS Model with colorized FA-26b Tracing-Witness
Witness FA-27 visualisations for FAS v4
FA-27 Satisfaction-Witness
FA-27 Tracing-Witness
FAS Model with colorized FA-27 Satisfaction-Witness
FAS Model with colorized FA-27 Tracing-Witness
Witness FA-28 visualisations for FAS v4
FA-28 Satisfaction-Witness
FA-28 Tracing-Witness
FAS Model with colorized FA-28 Satisfaction-Witness
FAS Model with colorized FA-28 Tracing-Witness
Witness FA-30 visualisations for FAS v4
FA-30 Satisfaction-Witness
FA-30 Tracing-Witness
FAS Model with colorized FA-30 Satisfaction-Witness
FAS Model with colorized FA-30 Tracing-Witness
Witness FA-30b visualisations for FAS v4
FA-30b Satisfaction-Witness
FA-30b Tracing-Witness
FAS Model with colorized FA-30b Satisfaction-Witness
FAS Model with colorized FA-30b Tracing-Witness
Witness FA-31 visualisations for FAS v4
FA-31 Satisfaction-Witness
FA-31 Tracing-Witness
FAS Model with colorized FA-31 Satisfaction-Witness
FAS Model with colorized FA-31 Tracing-Witness
Witness FA-32 visualisations for FAS v4
FA-32 Satisfaction-Witness
FA-32 Tracing-Witness
FAS Model with colorized FA-32 Satisfaction-Witness
FAS Model with colorized FA-32 Tracing-Witness
Witness FA-35 visualisations for FAS v4
FA-35 Satisfaction-Witness
FA-35 Tracing-Witness
FAS Model with colorized FA-35 Satisfaction-Witness
FAS Model with colorized FA-35 Tracing-Witness
Witness FA-65 visualisations for FAS v4
FA-65 Satisfaction-Witness
FA-65 Tracing-Witness
FAS Model with colorized FA-65 Satisfaction-Witness
FAS Model with colorized FA-65 Tracing-Witness
Witness FA-67 visualisations for FAS v4
FA-67 Satisfaction-Witness
FA-67 Tracing-Witness
FAS Model with colorized FA-67 Satisfaction-Witness
FAS Model with colorized FA-67 Tracing-Witness
Witness FA-75 visualisations for FAS v4
FA-75 Satisfaction-Witness
FA-75 Tracing-Witness
FAS Model with colorized FA-75 Satisfaction-Witness
FAS Model with colorized FA-75 Tracing-Witness
Witness FA-75b visualisations for FAS v4
FA-75b Satisfaction-Witness
FA-75b Tracing-Witness
FAS Model with colorized FA-75b Satisfaction-Witness
FAS Model with colorized FA-75b Tracing-Witness
Witness FA-77 visualisations for FAS v4
FA-77 Satisfaction-Witness
FA-77 Tracing-Witness
FAS Model with colorized FA-77 Satisfaction-Witness
FAS Model with colorized FA-77 Tracing-Witness
Witness FA-84 visualisations for FAS v4
FA-84 Satisfaction-Witness
FA-84 Tracing-Witness
FAS Model with colorized FA-84 Satisfaction-Witness
FAS Model with colorized FA-84 Tracing-Witness
Witness FA-86 visualisations for FAS v4
FA-86 Satisfaction-Witness
FA-86 Tracing-Witness
FAS Model with colorized FA-86 Satisfaction-Witness
FAS Model with colorized FA-86 Tracing-Witness
Witness FA-99 visualisations for FAS v4
FA-99 Satisfaction-Witness
FA-99 Tracing-Witness
FAS Model with colorized FA-99 Satisfaction-Witness
FAS Model with colorized FA-99 Tracing-Witness