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.




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...
 
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."

 
IRENE project is a UniFI success story PDF Print E-mail
IRENE

IRENE is one of the four projects selected by the University of Florence as a successful example of research joint funding, and today Prof. Bondavalli presented it during an information day organized by UniFI.

joint  poster

 
SecureCI 2016 Winter School PDF Print E-mail
TENACE

The SecureCI 2016 Winter School in "Securing Critical Infrastructures" will take place in Cortina D'Ampezzo (Italy) from the 17th to the 21st of January 2016.

The school is organized by several research groups belonging to different italian universities, partners of the TENACE project (2013-2016), which investigate the protection of national critical infrastructures from cyber threats following a collaborative approach whenever appropriate.

The school is mainly intended for PhD students interested in hot topics on securing critical infrastructures, from both a theoretical and a practical perspective.

All the information are available here: http://www.dis.uniroma1.it/~sdci2016/
Detailed introduction: http://www.dis.uniroma1.it/~sdci2016/index.html
About the Venue: http://www.dis.uniroma1.it/~sdci2016/venue-and-travel.html

Read more...
 
Evento conclusivo del progetto "Secure!" PDF Print E-mail
SECURE!

Evento conclusivo del progetto "Secure!"
Lo scorso 7 Maggio si è tenuto presso il CNR di Pisa l'evento conclusivo del progetto Secure!, dove sono stati presentati i principali risultati conseguiti nel progetto, assieme a demo dei principali prototipi.
Le slide presentate all'evento sono disponibili qui sotto in forma di webinar. Una versione in pdf della locandina dell'evento e dell'agenda finale può essere scaricata qui.

Final event of the "Secure!" project
On May 7th the Secure! conclusive event was held at CNR Pisa, where final results of the project were shown to a large audience togheter with demo of main prototypes.
The slides presented at the event are available below (Italian only). The leaaflet of the event, including the final agenda, can be downloaded here.

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

Page 4 of 8

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web