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.




HIDENETS: HIghly DEpendable ip-based NETworks and Services PDF Print E-mail
HIDENETS

Project contract: IST-2004-26979
Project website: http://www.hidenets.aau.dk/
Involvment type: participant
Start date: 2006-01-01
End date: 2008-12-31

HIDENETS - a Specific Targeted Research Project (STREP) in the European 6th Framework Program running in the period from January 2006 to March 2009. It developed and analyzed end-to-end resilience solutions for distributed applications and mobility-aware services in car-to-car communication scenarios with infrastructure service support.

More info also in the HIDENETS website and in the CORDIS website.

 
CAUTION++: Capacity and Network Management for Increased Utilisation of wireless Systems of Next Generation++ PDF Print E-mail
CAUTION++

Project contract: IST-2001-38229
Involvment type: subcontracted
Start date: 2002-11-01
End date: 2005-05-31

The main objective of the project is the smooth transition from existing wireless systems to new generation ones. CAUTION++ will exploit knowledge and system platform developed under the framework of CAUTION project and extend this to UMTS and systems beyond.

Read more...
 
HIDE: High Level Integrated Design Enviroment for Dependability PDF Print E-mail
HIDE

Project contract: Esprit Project 27439
Involvment type: subcontracted
Start date: 1998-06-15
End date: 1998-12-14

The main objective of HIDE is the creation of an integrated environment for the practitioner designer, allowing him to use UML (Unified Modelling Language) as front-end for the specification of both the system and the user requirements. The designer can easily validate his design, since the entire background mathematics will be hidden from him. From the basic UML model automatic transformations will derive the individual mathematical models for formal and quantitative validation. The results gained will be back annotated for presentation into the same UML model without any interaction of the user. HIDE eliminates the need for both a specific expertise in abstract mathematics and the tedious manual re-modelling of the system for mathematical analysis.

Read more...
 
GUARDS: Generic Upgradable Architecture for Real-Time Dependable Systems PDF Print E-mail
GUARDS

Project contract: Esprit Project 20716
Project website: http://www.cs.york.ac.uk/rts/projects/guards/guards.html
Involvment type: subcontracted
Start date: 1996-02-01
End date: 1999-02-01

Objective: Led by three major industrialists in the Space, Nuclear and Railways fields, the GUARDS project addresses the development of methods, techniques and tools to support the design, implementation and validation of safety-critical real-time systems.

Achievements: The gap between the costly proprietary architectures targeted at very high dependability and cheap commercial architectures with less stringent requirements provides evidence of a lack of an intermediate class of architectures based on an acceptable compromise between high dependability, low cost and openness : this is the main objective of GUARDS.

Read more...
 
Prof. Davi Bibiano Brito Seminars PDF Print E-mail
DEVASSES

On March 30th and 31st, Prof. Davi Bibiano Brito had two seminars, entitled:

  • Automatic and Self Sustaining Precision Irrigation System
  • Projects for Excellence in Microelectronics - PEM

Davi is an assistant professor at Universidade Federal de Alagoas (UFAL), in Maceió, Brazil.

He is visiting the Resilient Computing Lab as part of the DEVASSES project, and will stay in Firenze for one month.

Davi Brito_seminar

 
AMADEOS Book - Cyber-Physical Systems of Systems PDF Print E-mail
AMADEOS

The book originating from the AMADEOS project is now available!
The book is published in open access form by Springer, meaning that it is freely available for download.

Book Cover

Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editors: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online)

"This book on Systems of Systems documents the main insights on CPSoS that we gained during our work in the European research project AMADEOS. The objective of this research was to bring time awareness, dynamicity, and evolution into the design of SoS, to establish a sound conceptual model that provides a well-defined language for describing SoS, to investigate the intricate topic of emergencein an SoS, and to outline a generic architectural framework and an SoS design methodology, supported by some prototype tools, for the modeling, development, and evolution of time-sensitive SoS."

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

Page 4 of 8

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web