CHESS: Composition with Guarantees for High-integrity Embedded Software Components aSsembly PDF Print E-mail
CHESS

Project contract: ARTEMIS-2008-1-100022
Project website: http://www.chess-project.org/
Involvment type: subcontracted
Start date: 31-03-2010
End date: 31-03-2012

The development of Real-Time Embedded systems increasingly leans toward the adoption of Component- based Development and Model Driven Engineering approaches. The combination of these two approaches promises better mastery of complexity, increased reuse, and easier maintenance, thus reducing the costs and risks of development and deployment.

That very combination however also creates unique challenges for the development of high-integrity software. Two such challenges especially stand out:

  1. to develop components that can be certified or qualified individually for provably guaranteed delivery of the required level of service in operation;
  2. to preserve those guarantees in an assembly of heterogeneous software components on the target execution platform.
Read more...
 
DOTS-LCCI: Dependable Off-The-Shelf based middleware systems for Large-scale Complex Critical Infrastructures PDF Print E-mail
DOTS-LCCI

Involvment type: participant
Project website: http://dots-lcci.prin.dis.unina.it/
Start date: 01-03-2010
End date: 01-03-2012

The DOTS-LCCI research project aims to define novel middleware technologies, models, and methods to assure and assess the resiliency level of current and future OTS-based LCCIs, to diagnose faults in real time, and to tolerate them by means of dynamic reconfiguration. Assuring the resiliency level of LCCIs is crucial to reduce, with known probabilities, the occurrence of catastrophic failures, and consequently, to adopt proper diagnosis and reconfiguration strategies.

The project will deliver novel contributions to the problem of assessing and assuring resiliency, in terms of:

  1. Modeling techniques, to be used by designers to improve their designs, and system operators to evaluate at runtime resiliency attributes (e.g., the expected time and location of a failure).
  2. Algorithms, strategies and architectures to enable reliable communication, and automatic on-line diagnosis and reconfiguration.
  3. Experimental evaluation and prototypal implementations of the proposed techniques, in order to demonstrate their effectiveness for LCCIs.
 
ALARP: A railway automatic track warning system based on distributed personal mobile terminals PDF Print E-mail
ALARP

Involvment type: participant
Project website: http://www.alarp.eu
Start date: 01-01-2010
End date: 31-12-2012

The objective of the ALARP project is to study, design and develop an innovative more efficient Automatic Track Warning System (ATWS) to improve the safety of railway trackside workers.

Read more...
 
SILFI: Sistema Intelligente per la Lotta al Fuoco Integrata PDF Print E-mail
SILFI

Involvment type: participant
Project website: Not available
Start date: 2009-09-01
End date: 2011-08-30

POR CReO 2007-2013
BANDO UNICO R&S, anno 2008
Linea di attività B (POR CREO, Attività 1.5)

The introduction of new European norms on the safety of transportation systems (CEN TS 45545) and, in Italy, of the act DL 28/10/2005 of the Italian Ministry of Infrastructures and Transportations, prescribes the installation on railway vehicles of highly performing fire detection and fire fighting systems, having high intrinsic safety in accordance with IEC TR 61508 e CEI EN 5012x.

The realization of a competitive fire fighting system for the market requires mastering different key technologies, and an extensive knowledge of norms and requirements of the specific domain, which lead to a technical and financial effort much greater than what a SME can afford. The project foresees a collective strategy, with an industrial consortium supported by a research institution, thus guaranteeing the presence of strategic competences for the realization of a product that is able to compete efficiently, possibly also on the International market.

Read more...
 
INSPIRE: INcreasing Security and Protection through Infrastructure REsilience PDF Print E-mail
INSPIRE

Project contract: 225553
Project website: http://www.inspire-strep.eu
Involvment type: some RCL members are involved
Start date: 2008-11-01
End date: 2010-10-31

INSPIRE is a two-year small or medium-scale focused research project (STREP).

Project objectives:

  • Analysis and modelling of dependencies between critical infrastructures and underlying communication networks
  • Designing and implementing traffic engineering algorithms to provide SCADA traffic with quantitative guarantees
  • Exploiting peer-to-peer overlay routing mechanisms for improving the resilience of SCADA systems
  • Defining a self-reconfigurable architecture for SCADA systems
  • Development of diagnosis and recovery techniques for SCADA systems
Read more...
 
AMBER: Assessing, Measuring and BEnchmarking Resilience PDF Print E-mail
AMBER

Project contract: IST-216295
Project webiste: http://www.amber-project.eu/
Involvement type: participant
Start date: 01-01-2008
End date: 31-12-2010

AMBER is a FP7 Coordination Action. It will bring together leading research teams on assessment, measurement, and benchmarking of resilience in computer systems in order to coordinate the effort of defining metrics and benchmarks for comparative evaluation of the resilience of computer systems and components.

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

Page 4 of 16

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web