- Details
- Written by Zoltan Micskei
- Category: News
- Hits: 1752
The European Union announced new Staff Exchanges actions available from 2022 in the Marie Skłodowska-Curie Actions.
Staff Exchanges represent a similar structure to the ADANCE project, where researchers at all career stage can be seconded to other organizations to inspire new ideas and offer career development.
For more details, check out the MCSA Staff Exchanges calls for proposals or the news from European Research Executive Agency.
- Details
- Written by Zoltan Micskei
- Category: News
- Hits: 3779
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.
- Details
- Written by Hafiza Maria Maqsood
- Category: News
- Hits: 3637
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.
- Details
- Written by Zoltan Micskei
- Category: News
- Hits: 2670
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.
- Details
- Written by Hafiza Maria Maqsood
- Category: News
- Hits: 4608
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.
Page 5 of 8