News and information related to current and past RCL projects are listed in the following.
To filter the information by project, please use the links on the left column.




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.

 
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
 
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...
 
DEVASSES: DEsign, Verification and VAlidation of large scale, dynamic Service SystEmS PDF Print E-mail
DEVASSES

devasses-logo-websiteInvolvment type: participant
Project website: http://www.devasses.eu
Project contract: PIRSES-GA-2013-612569 (FP7-PEOPLE-2013-IRSES n.612569)
Start date: 01-01-2014
End date: 31-12-2017

The DEVASSES project aims at taking a step forward in the design and deployment of large-scale, dynamic service-based software systems by supporting the transfer of knowledge on novel state of the art methods, techniques, and tools for both design-time and run-time verification and validation. The goal is to reinforce existing partners’ cooperation through a coordinated program of exchange of researchers, taking as context a common research problem, which provides the frame for the project scientific activities and cannot currently be tackled by any of the partners individually.

Read more...
 
AMADEOS: Architecture for Multi-criticality Agile Dependable Evolutionary Open System-of-Systems PDF Print E-mail
AMADEOS

AMADEOS-logoInvolvment type: participant (coordinator)
Project contract: FP7-ICT-2013-10-610535
Project website: http://amadeos-project.eu/
Start date: 01-10-2013
End date: 30-09-2016

The objective of AMADEOS is to bring time awareness and evolution into the design of System-of-Systems (SoS), to establish a sound conceptual model, a generic architectural framework and a design methodology, supported by some prototype tools, for the modeling, development and evolution of time-sensitive SoSes with possible emergent behaviors. Special emphasis is placed on evolution, emergence, dependability (e.g. safety, availability) and security, considering embedded devices and the cloud as the execution platform. The concept of evolution will be addressed from two complementary perspectives, considering both long-term evolution and short-term unexpected changes (e.g., failures) in the constituent systems.

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

Page 1 of 8

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web