CECRIS Project: Book Available! PDF Print E-mail
Friday, 15 September 2017 13:19

The book originating from the CECRIS project is now available!

The book is published in open access form by RiverPublisher, meaning that it is freely available for download.

 

 

 River L05SdJwGHa17nhQH7YR1Publishers Series in Information Science and Technology  

 Certifications of Critical Systems - The CECRIS Experience

 Editors:
 Andrea Bondavalli, Consorzio Interuniversitario Nazionale per l'Informatica (CINI), and University of Florence, Italy
 Francesco Brancati, ResilTech Srl, Italy

 ISBN: 9788793519565

 doi: 10.13052/rp-9788793519558

 Price : € 85.00

 Available:  September 2017

 In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the  development, validation and verification of critical systems, i.e. those systems whose malfunctions or  failures reach a critical level both in terms of risks to human life as well as having a large economic impact. 

Certifications of Critical Systems - The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools. 

Starting from 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, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases.

 
DEVASSES/CECRIS Joint Seminars and Prof. Henrique Madeira visit PDF Print E-mail
Thursday, 14 April 2016 00:00

Very enjoyable international collaboration is happening in these days at RCL!

Today we had a seminar joining together people with both the DEVASSES and the CECRIS projects. Beáta Hergovics and Máté Tóth are testing engineers from Prolan in Budapest, Hungary, and are currently visiting RCL for a short period to work on the CECRIS project.

Lucas Leal is a Master's student at the Universidade Estadual de Campinas, in Brazil, and he will stay in Florence for a three-months secondment to work in the DEVASSES project. During his secondment he will work on "Model-Based Online Testing for Dynamic SOA"; this seminar was the opportunity to present the initial idea and discuss the topic with the other researchers.

Prof. Henrique Madeira, from the University of Coimbra in Portugal was also attending the workshop. In this period Prof. Madeira is visiting University of Florence, where he is also holding a set of seminars on "Design of experiments for resilience assessment and benchmarking". The goal is to use real data from concrete resilience/dependability assessment experiments, particularly raw data from fault injection experiments, to provide a comprehensive set of examples on how to design and perform correct experiments. The course is covering basic concepts on fault injection for dependability and resilience assessment, steps of designing an experiment, how to perform correct measurements, and hypothesis testing.

 
Alexandre Esper seminar PDF Print E-mail
Friday, 11 December 2015 21:51

On December 11th, Alexandre Esper had a seminar at RCL last Thursday, entitled "Mixed-Criticality Systems: A Review".

Alexandre works at Critical Software in Portugal, and he has been visiting CINI - Firenze for two weeks, as part of the CECRIS project.

 
<< Start < Prev 1 2 Next > End >>

Page 1 of 2

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web