LFR-with-attacks

Requirements

1. Linux-like OS (currently tested on Ubuntu 16.04)
2. Prototype Verification System (PVS), downloadable here after acceptance of the license
3. PVSio-web, downloadable here
4. INTO-CPS Application, downloadable here

Instructions for co-simulation

1. Copy the PVS folder pvs-6.0-ix86_64-Linux-allegro in the following directories:
   1. models/controller_body_PVS/resources/
   2. models/PVS_control/resources/
   3. models/programmed_attack_control/resources/
   4. models/interactive_attack_control/resources/
   5. FMUS/controller_body_PVS.fmu{/resources}
   6. FMUS/LFR_Attack1.fmu{/resources}
   7. FMUS/LFR_Attack2.fmu{/resources}
   8. FMUS/LFR_Attack3.fmu{/resources}
   9. FMUS/LFR_interactive_attack.fmu{/resources}
   10. FMUS/PVS_controller.fmu{/resources}

...these last 6 directories are within the zip file of the fmu.

2. Launch the INTO-CPS application and open the Co-simulation_project project

3. If not already done, download the coe from the download manager of the INTO-CPS application (this is a one time only operation)

4. Expand any Multi-Model (+ button) and open the experiment scenario

5. Launch the coe and then start the simulation