Profa. Dra. Regina Lúcia de Oliveira Moraes was seconded to INPE in two periods during November 2019 and November 2020. The main goal of the first period was to understand the BEDCS - Brazilian Environmental Data Collection System to elicit further requirements for the ADVANCE project. She visited several INPE facilities and had discussions with INPE staff. Moreover, she witnessed the launch of a balloon to collect data on the ozone layers. She visited several related institutions, including the Federal University of Rio Grande do Norte and International Neuroscience Institute Edmond and Lilly Safra.

In the second period, she were working with INPE on new approaches for V&V process of the nanosatellites. They investigated whether the CubeSat standard allows to simplify the V&V process due to the standard interfaces and the tests performed in its engineering process before being delivered as a COTS-based nanosatellite. The result of the investigative work resulted in a joint conference publication to be published at the end of December/2020.

Batista C., Basso T., Mattiello-Francisco M. F., Moraes R. "Impacts of the Space Technology Evolution in the V&V of Embedded Software-Intensive Systems”. IN: The 2020 International Conference on Computational Science and Computational Intelligence - CSCI 2020, Las Vegas, USA, 16-18 Dec., 2020.

On December 2nd she gave a lecture for the graduate students at INPE. The title, “Sistemas Ciber-Físicos: os desafios dos sistemas emergentes” showed a broad cut of V&V activities and the INPE initiatives so far. Finally, she visited the Engineering site and LIT laboratory at INPE.

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.

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.

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.