CISTER/INESC TEC participates in project to validate critical systems

INESC TEC’s Research Centre in Real-Time and Embedded Computing Systems (CISTER) is one of the partners in project V-SIS (“Validation of Critical Systems”), where the goal is to address the challenge of validating critical systems by creating a centre of competence that will deal with the changes and the evolution of critical systems caused by normative evolutions.

The V-SIS will focus on two fundamental vectors: functional security and validation of critical systems. The CISTER team, composed of researchers Miguel Pinho, Eduardo Tovar, Vincent Nelis, David Pereira, among others, will be working on the component of real-time and embedded systems. In particular, the researchers will try to find answers to the challenges brought about by the new multicore platforms.

The project was recently approved as part of the National Strategic Reference Framework and it is led by Critical Software. Other than CISTER, the Centre for Informatics and Systems of the University of Coimbra (CISUC) is also involved. The project will be concluded in June 2015.

The INESC TEC researchers mentioned in this article are associated with the following partner institutions: ISEP.

Personal tools

Sections

CISTER/INESC TEC participates in project to validate critical systems