Project Description

cecris logo


CECRIS
(CErtification of CRItical Systems)

Call: FP7-PEOPLE-2012-IAPP

01/2013 - 12/2016

 

Abstract

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:
https://inf.mit.bme.hu/en/forms/cecris-final2016

 

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


DEVASSES/CECRIS Joint Seminar

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.