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

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

alt

Involvment type: participantalt
Project website:n.a.
Project contract: POR FESR Toscana 2014-2020
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 State-Based Analysis (CHESS-SBA) PDF Print E-mail
Tools

The CHESS "State-Based Analysis" plugin is part of PolarSys CHESS, an open source methodology and tool for the development of high-integrity embedded systems. The CHESS methodology was devised and implemented initially in the CHESS project, later extended in the CONCERTO project, and then further developed within other projects.

This plugin performs Quantitative Dependability Analysis using a variant of the Stochastic Petri Nets formalism, starting from models specified in the CHESS ML language. The plugin is able to automatically compute system-level dependability metrics, based on dependability properties of individual components, and a description of the system, software, and/or hardware architecture.  

The whole CHESS Framework is released as open source and it is now an Eclipse project under the PolarSys Working Group. CHESS-SBA is also available on GitHub, jointly with an extensive wiki as documentation.

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...
 
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 9 10 Next > End >>

Page 1 of 12

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web