CECRIS Project: Book Available! PDF Print E-mail
CECRIS

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.

 
RCL at ARES Conference PDF Print E-mail
Announcements

ARES 2017A deputation of RCL team participated in the 12th edition of ARES, the International Conference on Availability, Reliability and Security, held from August 29 to September 1st, 2017 at the Università degli Studi Mediterranea di Reggio Calabria, Reggio Calabria, Italy. ARES  aims at a full and detailed discussion of the research issues of security as an integrative concept that covers amongst others availability, safety, confidentiality, integrity, maintainability and security in the different fields of applications.

Andrea Bondavalli gave a keynote Enrico @ ARES 2017on "Anomaly Detection for Complex Dynamic Systems" at the 12th edition of FARES, the International Workshop on Frontiers in Availability, Reliability and Security, held in conjunction with ARES.

Enrico Schiavone presented the paper entitled "Continuous Biometric Verification for Non-Repudiation of Remote Services" which has been accepted as full paper for publication. The acceptance rate of full papers at ARES 2017 was 24,21%.

 
SISTER: SIgnaling & Sensing TEchnologies in Railway applications PDF Print E-mail
SISTER

Involvment type: participant
Project website:n.a.
Project contract: n.a.
Start date: 2017-02-01
End date: 2018-12-31

Goals and Objectives

In the context of integration of traditional tramway systems with metropolitan hybrid solutions tram-train type (Light Rail Transit, LRT), the SISTER project aims at combining the concepts of rail safety with a higher operative automation level, guaranteed by innovative signaling solutions. The solutions developed within the SISTER project will allow significant improvements in capacity in LRT systems together with the assurance of fast, safe and efficient journeys.

Design of a solution that will improve safety in LRT mode by the development, integration and validation of three innovative actions:
- An innovative signaling system;
- A new remote sensing radar with a high reliability level;
- An innovative communication system based on radio broadband resilient to interferences.

The maturity level of the solution will be evaluated in a partner gate in order to make the necessary corrections to develop a final demonstrator.

Consortium

  • THALES ITALIA S.P.A.
  • IDS INGEGNERIA DEI SISTEMI S.P.A.
  • GENESY SRL
  • UNIVERSITA’ DEGLI STUDI DI FIRENZE
  • UNIVERSITA’ DI PISA
  • RESILTECH SRL
 
TOSCA-FI: Tool Optoelettronico per Strutture in Calce cemento Acciaio - Ferrovie Italiane PDF Print E-mail
TOSCA-FI

Involvment type: participant
Project contract: FAR-FAS 2014
Start date: 2017-01-01
End date: 2018-12-31

Goals and Objectives

Develop an innovative diagnostic methodology for inspection and control of railway infrastructure such as bridges built in concrete, steel, or masonry,  in order to improve the current systems based only on visual examination.

High-resolution photography and thermography will be integrated with innovative remote-sensing technologies as 3D laser scanner, and fluorescence lidar.

The consortium will study data fusion methodologies necessary to correlate and merge two-dimensional and three-dimensional images aiming at strengthen the information content. Data coming from these different sources will flow into an ICT platform (i.e. a OLAP database) for analysis and historical archiving.

Consortium

  • Te.Si.Fer. S.r.l.
  • DiMaI - Università degli Studi di Firenze
  • IFAC - CNR
  • Durazzani S.r.l. - Territorio e Ambiente
  • IAC - CNR
 
CHESS Statistical Trace Analyzer PDF Print E-mail
Tools

This software is used to analyze the statistical properties of run-time execution traces of different variables. Its application domain is real-time safety-critical systems. Key variables like release jitter, execution time, etc. are analyzed to devise probabilistic upper bounds, which are guaranteed to be respected with a given given coverage. This tool is part of the CHESS Framework, and it has been developed within the CONCERTO project.

The tool is released as open source, and available on GitHub:
https://github.com/montex/it.unifi.rcl.chess.traceanalysis

A precompiled binary is also available here, packaged as a runnable jar.

For more information please contact Leonardo Montecchi or Paolo Lollini.

 
IRENE: Improving the Robustness of Urban Electricity Networks PDF Print E-mail
IRENE

Involvment type: participant
Project website: http://ireneproject.eu/
Project contract: Jpi Urban Europe, n°847342
Start date: 01-10-2014
End date: 31-03-2017

Project IRENE is researching how best to mitigate vulnerabilities of urban electricity grids by utilizing the flexibility of future smart grids with decentralized generation and smart control. The aim is to ensure availability of power supply for critical infrastructures to enable minimal viable operation during large scale power outages or shortages.

To achieve this we are investigating what social, economic and technical components will be needed to ensure that city based power generation and storage are routed and prioritized to enable these critical city functions while other noncritical consumers reduce their electricity load.

Read more...
 
<< Start < Prev 1 2 3 4 5 6 7 8 9 10 Next > End >>

Page 1 of 11

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web