CISTERISEP
HomeResearch TopicsApplication DriveProjectsPublicationsPeoplePhD StudiesNewsEvents & CfPInfo & Contacts
CiTechCiWorkCISTER DSSjoin us!Enjoy Porto!
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       
Login
HomeProjects - Current Projects

REASSURE

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:NORTE2020
Portugal 2020
FEDER
FCT
Partners:CISTER/ISEP
Universidade do Minho
INESC TEC
Main Partners:
Main Partners:
Contact Person at CISTER:David Pereira