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.

CECRIS Technical Day @ BME

The CECRIS Technical Day will be held at BME on September 30th (Friday), 2016.
The event is free of charge, but registration is required at the following link:


CECRIS Final Event at SRDS


Read more: CECRIS Technical Day @ BME

CECRIS Presentation at Resiltech

Seminar on
"Automatic Analysis of "Fault Propagation for SW-FMEA"
by Vince Molnár from BME,
during his secondment at ResilTech
Pontedera - September 8, 2016


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

Joomla templates by a4joomla

Please be aware that this website uses cookies.