This week we had our virtual Mid-term meeting with project officers from the European Commission. ADVANCE researchers presented their results from research exchanges.


On the first day, senior researchers presented the progress of the project. The technical work was grouped into techniques for collecting evidences for verification & validation of cyber-physical systems and techniques for management and analysis of V&V-related data. After that, five seconded researchers gave an overview about the results from the research exchanges. The talks included:

  • Fátima Mattiello-Francisco: BEDCS - key elements for case study
  • H. Maria Maqsood: Formalizing Requirements and Design; Orbiting Scenarios for Nano Satellite Operations
  • Vince Molnár: Model-based verification of component-based systems
  • José Alexandre D’Abruzzo Pereira: Evaluation of Java Static Analysis Tools (SATs) based on Models
  • Elder de Oliveira Rodrigues Jr.: Model-Driven Fault Injection in Java Source Code

On the second day, the training, dissemination and project management activities were presented, and we discussed the current pandemic situation and the way forward.

3rd ToK Workshop was organized by CINI-UNIFI in collaboration with other partners. Workshop was organized on Thursday, 7 May, 2020. There were 14 participants in total three from UC, one from uniandes, four from cini/unifi, one from resiltech, two from BME, two from UNICAMP and one from INPE.

Three presentations were delivered during workshop. There details are mentioned below.

Lucas Carvalho Leal is a joint PhD student at Unicamp and Unifi. He is under Prof. Andrea Ceccarelli's supervision at Unifi and Prof. Eliane Martins' at Unicamp. He has started his six months secondment at Unifi on November, 2019. His current research focus is on the use of run-time monitoring data to generate and update behavior models of Cyber-Physical Systems (CPS), and their application to performing run-time CPS testing. 

He is also working on model transformation and generation from System-of-Systems behavior descriptors to apply on run time model-based testing processes in cooperation with Prof. Leonardo Montecchi. In his seminar at CINI-UNIFI he presented a self-adaptable framework to automate the model-based testing process. The research started as an investigation of run time regression tests on service orchestrations, however, the results brought him close to Model Driven Engineering and Run time System Monitoring, which now are the main goals of his PhD research. 

During his secondment Leonardo Montecchi has worked together with RCL researchers on multiple projects. With Andrea Ceccarelli he discussed the work performed by Elder and Lucas, two students from UNICAMP that are also seconded at CINI-UNIFI. With Paolo Lollini he discussed the implementation of an Eclipse based editor for Stochastic Activity Networks templates and future direction for joint research. Besides that, a project proposal to a Brazil-Italy joint call was prepared and submitted, with topics related to ADVANCE.

LADC is the major Latin-American event on computer system dependability. LADC'2019 was held in Brazil at the city of Natal/RN from November 19 to 21, at the Instituto Metróplole Digital (IMD) premises of the Federal University of Rio Grande do Norte (UFRN). 

The award of  Best Paper was given to a research paper titled "Performability Analysis of a Tramway System with Virtual Tags and Local Positioning" co-authored by Professor Paolo Lollini (CINI - UNIF), Professor Andrea Bondavalli (CINI - UNIFI) and Diamantea Mongelli (CINI - Resiltech).