ASSURED is a H2020 Research and Innovation Action that aims to deliver a novel policy-driven, formally verified, runtime assurance framework in the complex domain of heterogeneous Cyber-Physical Systems (CPS). The core idea is to leverage and enhance runtime property-based attestation and verification techniques so as to allow intelligent (unverified) controllers to perform within a predetermined envelope of acceptable behaviour, and a risk management approach to extend this to a larger Systems-of-Systems. of protocols and software processes, software attestation, blockchain technology for distributed verification of transactions between system elements and control-flow attestation techniques for enhancing the operational correctness of such devices.
Martel Media leads the dissemination and communication while Martel Consulting supports the project’s coordination and the innovation management.