Workpackage 2: Operational Planning
- Modelling
- Deals with models of information systems, their intended behaviour (policies), and risks (foreseen faults and attacks also unforeseen failures)
- Simulation and formal verification
- Checks the expected behaviour of the system when configured in a specific way and it is subject to specific inputs and faults
- Planning
- To create the needed tools to manage information and scenarios needed to configure the target system and react to faults and attacks
