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.




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.

 
CECRIS: CErtification of CRItical Systems PDF Print E-mail
CECRIS

rsz cecris logo blue

Involvment type: participant
Project website: http://www.cecris-project.eu/
Start date: 01-01-2013
End date: 31-12-2016

The project aims at taking a step forward in the growing field of development, verification and validation and certification of critical systems.

The project focuses on the more difficult/important points of (safety, efficiency, business, .) of critical system development, verification and validation and certification process. The scientific objectives of the project are study 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. Moreover the project aims at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these type of activities, whose cost-quality achievements are well-predictable in order to tie costs of application of techniques to the RAMS attributes level achieved by the product being tested. The project will draw-up guidelines to support engineers during the planning of the verification & validation phases.

 

Read more...
 
CHESS training material is now available! PDF Print E-mail
CHESS

The official training and demo material for the CHESS methodology and toolset is now available!

The CHESS project has developed a first set of prototypes of the tools, which are being evaluated by the industrial user partners in the project. Video demonstrations of the prototype tools are available.

Moreover, a training curriculum have been developed, to allow embedded systems developers to become familiar with the CHESS tools and methodology. The training videos, which include both slides and narration from CHESS experts, are now public and available for download as well!

 
ADVANCE PDF Print E-mail
ADVANCE

Involvment type: coordinator

Project website: https://www.advance-rise.eu/

Project contract: H2020-MSCA-RISE-2018, number 823788

Start date: 01-01-2019

End date: 31-12-2022

 

The scientific objective of the ADVANCE project is to conceive new approaches to support the Verification and Validation (V&V) of Cyber-Physical Systems (CPS). It will explore techniques, methods, and tools applicable to different phases of the system lifecycle, but always with the final objective of improving the effectiveness and efficacy of the V&V process. In particular, ADVANCE will focus on two main aspects of V&V: i) techniques to collect V&V evidences for a CPS (focusing on system modeling, testing, fault forecast, and systematic processes like FMEA), and ii) techniques to manage and analyze data of the system under analysis (focusing on data analysis, requirements management, traceability). The strategic objective of the project is to build an international network of collaborations on the topic of V&V of CPSs. Besides allowing the consortium to reach the project's scientific objectives, the established interactions would allow the training of students and professionals on the latest innovations in the V&V panorama, and have them work together towards a common goal. In fact, besides the technical challenges described above, an important factor hampering advancements in the V&V of CPSs is a worldwide lack of skilled professionals in V&V, software testing, and Information and Communication Technology (ICT) in general. One of the outputs of the project will be a set of training material, both in the form of slides and video courses, on the topic of Verification & Validation of Cyber-Physical Systems. These objectives will be pursued by joining together V&V experts having different specialization and different backgrounds, and establishing a targeted transfer of knowledge and collaboration program, using two real case studies as reference.

The consortium includes:

    • RCL: CINI, Italy
    • UNIVERSIDADE DE COIMBRA, Portugal
    • BUDAPESTI MUSZAKI ES GAZDASAGTUDOMANYI EGYETEM, Hungary
    • UNIVERSIDAD DE LOS ANDES FUNDACION, Colombia
    • RESILTECH SRL, Italy
    • UNIVERSIDADE ESTADUAL DE CAMPINAS, Brazil
    • INSTITUTO NACIONAL DE PESQUISAS ESPACIAIS, Brazil

This project has received funding from the European Union's H2020-MSCA-RISE-2018, proposal ID 823788.

 

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

Page 5 of 8

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web