REASSURE
Secure Runtime Verification for Reliable Real-Time Embedded Software
| NORTE-01-0145-FEDER-028550 3 years (Jul 2018 to Jun 2021) | |
| Summary: | The goal of REASSURE is to improve over the state-of-the-art Runtime Verification (RV) approaches for RTES by developing a new framework that: (1) extends existing runtime monitoring infrastructures capturing system properties (with focus on extra functional properties) with features to guarantee safety and ensuring that monitored data is kept secure without revealing information about the system (no security leak); (2) provides a domain specific language (DSL) and the tools to specify the requirements that must be verified at runtime; (3) automatically generate monitors and deploy them on energy and computing power constrained platforms. The framework developed in REASSURE will be validated within an industrial context. EDISOFT, a company active in critical systems, will provide a relevant case study, based on the RTEMS space-qualified operating system, and will follow the research in the project, advising the project team. This case study will allow to validate the project's tools and methodology by addressing a representative set of requirements, facilitating future exploitation. |
| Sponsors: |     |
| Partners: | |
| Contact Person at CISTER: | David Pereira |
