The exchange of research staff and the transfer of knowledge has been started in the ADVANCE project. Researchers participating in secondments present their main research areas and current work to the hosting institution and start to work jointly on the identified challenges of the project.
Researchers from UNICAMP and INPE from Brazil visited CINI in Italy in the first months of the year. Now in June and July researchers from CINI and BME will be seconded to INPE to work on the research topics provided by BEDCS, the INPE case study. Seconded researchers will investigate how fault modeling, protocol verification and model checking can be used on the case study system.