The Horizon 2020 funded ASSURED research project officially started on 25th September with a kick-off meeting (KOM) held online.
ASSURED aims to deliver a novel policy-driven, formally verified, runtime assurance framework in the complex domain of heterogeneous CPSoS. 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 behavior, and a risk management approach to extend this to a larger SoS. 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.
ASSURED brings together 14 partners from 9 countries: Ireland, United-Kingdom, Netherlands, Luxembourg, Germany, Switzerland, Greece, Cyprus and Israel who will work together for 3 years and will demonstrate the envisioned solution in four scenarios: Smart Manufacturing, Smart Cities, Smart Aerospace, Smart Satellite.