This repository contains the latest version of our formal model for the AMAN case study at ABZ 2023.

• The case study can be started from an up-to-date version of ProB 2 UI.
  • The VO manager can be started under the "Advanced" menu.
• The folder can also be treated as a Rodin project and started from within the IDE.
• AMAN_v7 is the current version of our formal model, while AMAN_v6 is an earlier version
• HTML scenarios can be inspected by domain experts together with a domain-specific VisB visualization

Citation

@inproceedings{AMAN2023a,
   author={Geleßus, David and Stock, Sebastian and Vu, Fabian and Leuschel, Michael and Mashkoor, Atif},
   title={{Modeling and Analysis of a Safety-critical Interactive System through Validation Obligations}},
   booktitle = {Proceedings ABZ},
   series = {LNCS 14010},
   pages={284–-302},
   year = 2023
}

HTML Scenarios

Scenario 1

Scenario 2

Scenario 3

Scenario 4

Scenario 5

Scenario 6

Scenario 7