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.




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: -

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.

 

 
RCL receives brazilian researchers PDF Print E-mail
DEVASSES

Starting from the middle of November, the Resilient Computing Lab is hosting three brazilian students as part of the DEVASSES project. All of them are coming from Universidade Federal de Alagoas (UFAL), in Maceió, Alagoas, and are supervised by professor Baldoino Neto.

Anderson Santos is a graduate student working on Anomaly Detection Benchmarks, and he will stay in Firenze for six months. Caio Barbosa and Felipe Falcão are both undergraduate students visiting Firenze for three months: Caio is studying an Anomaly Detector Framework and Felipe is addressing the Classification of Anomaly Detection Algorithms.

2016.11.24

 
RCL hosted the 5th IRENE F2F meeting PDF Print E-mail
IRENE

RCL hosted the 5th face-to-face meeting of the project IRENE (now at month 19/30), which involved attendees from all the partners of the consortium. In particular, the meeting was directed to discuss the novel architectures and the modeling tool that are being developed within WP3 and WP4 of the project.

During the meeting, RCL promoted the discussion about the integration of the tools that are being developed in the context of the project (modeling, threat analysis, load prediction), aiming to find the best way to connect them. In addition, a presentation about model-based evaluation of the IRENE methods and framework was shown, to support and complement the analysis including evaluations related to dependability and security assessment. These evaluations will be conducted using techniques such as extensions of SAN (Stochastic Activity Networks).

For some of the participants this was the first time in Firenze. Consequently the session of the 26th April ended in a dinner in one of the most famous restaurants of the city centre. Moreover, a brief Firenze-by-night tour was performed before coming back to the hotels.

Meeting Attendees

 
DEVASSES/CECRIS Joint Seminars and Prof. Henrique Madeira visit PDF Print E-mail
CECRIS

Very enjoyable international collaboration is happening in these days at RCL!

Today we had a seminar joining together people with both the DEVASSES and the CECRIS projects. Beáta Hergovics and Máté Tóth are testing engineers from Prolan in Budapest, Hungary, and are currently visiting RCL for a short period to work on the CECRIS project.

Lucas Leal is a Master's student at the Universidade Estadual de Campinas, in Brazil, and he will stay in Florence for a three-months secondment to work in the DEVASSES project. During his secondment he will work on "Model-Based Online Testing for Dynamic SOA"; this seminar was the opportunity to present the initial idea and discuss the topic with the other researchers.

Prof. Henrique Madeira, from the University of Coimbra in Portugal was also attending the workshop. In this period Prof. Madeira is visiting University of Florence, where he is also holding a set of seminars on "Design of experiments for resilience assessment and benchmarking". The goal is to use real data from concrete resilience/dependability assessment experiments, particularly raw data from fault injection experiments, to provide a comprehensive set of examples on how to design and perform correct experiments. The course is covering basic concepts on fault injection for dependability and resilience assessment, steps of designing an experiment, how to perform correct measurements, and hypothesis testing.

 
TENACE D1 on the Italian National Security Website PDF Print E-mail
TENACE

The WP1 report of the TENACE project is now available on the website of Italy’s Intelligence System for the Security of the Republic.

Italy’s Intelligence System for the Security of the Republic is the collective name given to the authorities and organizations responsible for intelligence policies, intelligence coordination and intelligence operations. Further details on the organization and its role in Italy are available here.

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

Page 6 of 9

Resilient Computing Lab, 2011

Joomla - Realizzazione siti web