Project Description

cecris logo

(CErtification of CRItical Systems)

Call: FP7-PEOPLE-2012-IAPP

01/2013 - 12/2016



The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems.

Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

According to the nature of an PEOPLE-IAPP project, the researchers involved will have the opportunity to move from their company and university to partners' offices in a different country in order to share their expertise and absorb new knowledge in the field of the Certification of HW and SW Systems, develop new competences and integrate their new know-how back to their home companies and universities.

This synergic approach will define novel approaches and methods bringing together scientific and industrial knowledge that is currently fragmented and resides in different organizations and researchers.


During the 35th Symposium on Reliable Distributed Systems will be held the CECRIS final event. The Technical Day will be held @ BME
For more information see the Agenda

CECRIS Final Event at SRDS

Nuno Silva is seconded at CINI - Naples

A picture of Nuno Silva, from Critical Software, while giving a seminar on DO standard during is secondment at CINI - Naples
Naples, May 2016


On April 14th, 2016, at the Resilient Computing Lab of Department of Mathematics and Informatics of the University of Florence, has been organized a seminar joining together people with both the DEVASSES and the CECRIS projects.


Read more: DEVASSES/CECRIS Joint Seminar

CECRIS Seminar at ResilTech

Seminar on "Introduction to Model-based Testing"
by Zoltán Micskei from University of Budapest, during his secondment at ResilTech

Pontedera - March 8, 2016

Read more: CECRIS Seminar at ResilTech

Joomla templates by a4joomla

Please be aware that this website uses cookies.