Zero-SWARM | ZERO-ENABLING SMART NETWORKED CONTROL FRAMEWORK FOR AGILE CYBER PHYSICAL PRODUCTION SYSTEMS OF SYSTEMS
01-06-2022
-30-11-2024
Organisation INTERNATIONAL DATA SPACES EV
Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499 Result title Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
Anomaly detection and countermeasure selection tools.v1 Result description This deliverable will provide an analysis of the implementation of two inter-dependent tools that operate nearly real-time, based on deep learning AI, responsible for the detection and mitigation of threats