project . 2020 - 2023 . On going

ASSURED

Future Proofing of ICT Trust Chains: Sustainable Operational Assurance and Verification Remote Guards for Systems-of-Systems Security and Privacy
Open Access mandate for Publications and Research DataOpen Access mandate for ... European Commission
  • Funder: European CommissionProject code: 952697 Call for proposal: H2020-SU-ICT-2019
  • Funded under: H2020 | RIA Overall Budget: 4,999,760 EURFunder Contribution: 4,999,760 EUR
  • Status: On going
  • Start Date
    01 Sep 2020
    End Date
    31 Aug 2023
  • Detailed project information (CORDIS)
Description
ASSURED’s vision is to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex CPS domain. As the demand for increasingly autonomous CPSs grows, so does the need for certification mechanisms to ensure their safety. Current methods towards software and system validation requires exhaustive offline testing of every possible state scenario PRIOR to fielding the system. In this context, novel assurance services ensure that the control output of such controllers does not put the system or people interacting with it in danger, especially in safety-critical applications as the ones envisaged in the ASSURED Demonstrators....
Description
ASSURED’s vision is to introduce a ground-breaking policy-driven, formally verified, runtime assurance framework in the complex CPS domain. As the demand for increasingly autonomous CPSs grows, so does the need for certification mechanisms to ensure their safety. Current methods towards software and system validation requires exhaustive offline testing of every possible state scenario PRIOR to fielding the system. In this context, novel assurance services ensure that the control output of such controllers does not put the system or people interacting with it in danger, especially in safety-critical applications as the ones envisaged in the ASSURED Demonstrators....
Any information missing or wrong?Report an Issue