Wellington Moura, from UNICAMP, just arrived in February to Coimbra to spend a 2-month secondment, while Prof. Eliane Martins is concluding a 2 months secondment with the UC. Earlier in Feburary, Mario Hozano returned to UFAL, after concluding his secondment in Coimbra.
Wellington is a MSc student at the Institute of Computing (IC-UNICAMP), under the supervision of Prof. Eliane and Prof. Nuno Laranjeiro (UC). Wellington’s MSc topic is focused on the robustness assessment in containers environments. The secondment period will be key for the development of the MSc works and it is planned the design and development of a robustness testing tool for the Docker interface. The overlap with Eliane’s secondment was key for the definition of the secondment activities.
Eliane returns to UC, after last year’s January secondment. This secondment was an opportunity to continue with past collaborations, namely the ongoing projects with participation of UNICAMP and UC (EUBra-BIGSEA and SORTS). Eliane presented the work she has been developing with her students in Using Behaviour Models for Robustness Testing.
Mario is a PhD student at UFAL, under supervision of Prof. Baldoino Fonseca, and his research focuses on techniques able to deal with the subjective definition of code smells by different developing teams. Mario arrived in December for a secondment in which he worked with Nuno Antunes (UC) on the experimental component of his work, focusing on the evaluation his techniques and comparison with machine learning techniques. The time in Coimbra was also important to discuss the topic with the local researchers. In November, he presented the talk “Smells are sensitive to developers! On the efficiency of (un)guided customized detection” to the local researchers and students (bottom photo).
The 7th edition of the Latin-American Symposium on Dependable Computing (LADC 2016) was held in Cali, Colombia during October 19-21, organized by the University of Cauca (UNICAUCA) and hosted the University of San Buenaventura. The DEVASSES researchers are regular contributors of the conference and once again provided a strong participation, including participation in the organization of the conference, workshops and submission of papers.
The Workshop on Dependability in Evolving Systems (WDES 2016), took place in October 20 also in the beautiful campus of the Universidad de San Buonaventura. The workshop was organized by the DEVASSES researchers Leonardo Montecchi, Baldoino Neto, Cecilia Rubira and also Ivan Mura from Los Andes University, Colombia. The project represents a way to promote the discussion on the challenges of ensuring dependability in evolving systems.
The workshop program featured 6 paper organized in three sessions: satellite systems, security and privacy, and power systems. The program was opened by a keynote on “Evolving Systems of Systems: the AMADEOS approach” by Prof. Andrea Bondavalli, which discussed the challenges regarding dependability and evolution that were addressed in the AMADEOS project, and the devised solutions.
The University of Coimbra (UC) is currently receiving four researchers from the University of Campinas (IC-UNICAMP). Alexandre Braga and Leydi Erazo are in their first secondments in the project and will be seconded for, respectively, 1 and 2 months.
Prof. Edmundo Madeira and Carlos Senna are visiting the UC in the context of other transcontinental projects: EUBra-BIGSEA and SORTS.
Edmundo is a Professor at the IC and coordinator of the Computer Networks Laboratory. Carlos is a Post-Doc researcher of the same laboratory. Alexandre is a PhD student at the Lab. of Security and Cryptography Applied (LASCA) of IC, advised by Prof. Ricardo Dahab. Finally, Leydi is a MSc student advised by Prof. Eliane Martins.
The presence of these researchers is providing the opportunity for “cross-projects” presentations, discussion and cooperation. Several presentations have been organized, to present and discuss the works of the involved researchers and also the advances of the mentioned projects, as follows:
- Edmundo Madeira, “Estimation of the Available Bandwidth in Inter-Cloud Links for Task Scheduling in Hybrid Clouds”
- Alexandre Braga, “Mining Cryptography Misuse in Online Forums”
- Carlos Senna, “Distributed Management of Applications in Fog Environments”
- Nuno Laranjeiro, “Interoperable Services: Research at the University of Coimbra”
- Karima Velasquez, “Mechanisms for Latency Reduction in Fog Environments”
- David Abreu, “Improving the Resilience in the Internet of Things”
During this week, Leydi will also present her work, entitled “Use Cases to State Machine Models for Software Product-Line Testing”, in the regular meetings of the local research group.
During their DEVASSES secondments, both Alexandre and Leydi will also carry on research work together the UC team. Alexandre is currently developing a benchmarking technique that will allow evaluating and comparing static analysis tools that can detect issues in applications that use cryptography. Leydi is currently applying a use-case modelling approach that allows the automatic extraction of a state machine models for a products derived of a software product line.
The DEVASSES ToK Workshop VI was held at the Federal University of Alagoas (UFAL) in August 8-9. As usual, it was also time for DEVASSES researchers to meet Face-to-Face in order to discuss the management matters of the project and to synchronize on the evolution of the project Work Packages.
In synchrony with the workshop, UFAL is receiving several researchers in secondment: Marco Vieira, Nuno Antunes, Nuno Laranjeiro and Naghmeh Ivaki from the UC; and Andrea Bondavalli and Andrea Ceccarelli from the UNIFI.
Although not in secondment, it also received UNICAMP researchers: Eliane Martins, Cecília Rubira, Ariadne Carvalho and Anderson Rossanez.
The Transfer of Knowledge Workshop featured a full slate of presentations headlined by the invited talk by Prof. Rohit Gueyi (UFCG), entitled “Making program refactoring safer” and which focused on the work on the evaluation of software refactoring techniques that is being developed by their research group.
The workshop attracted quite a lot of interest from the local research community, attracting participants from the several UFAL campi and also from the Federal Institute of Alagoas (IFAL). In fact, the presentations had an average attendance superior to 30 people, reaching in some presentations more than 45 attendants.
The workshop included 10 presentations from the project researchers to present the recent advances on the ongoing collaborations, including topics that ranged from fault injection to anomaly detection and model-based testing techniques.
There was the opportunity for UFAL professors to showcase works and projects which are not directly related to DEVASSES. In particular, focusing the EDGE Inovation Center, in which UFAL provides development and training services to a wide range of Brazilian and international companies. Other works presented included the development of an automated and self-sustained irrigation system for the inner parts of the Alagoas state, and also “Multi-Feature Kinship Recognition Based on Facial Images”.
Intertwined with the workshop were the periods of discussions related to management and evolution of work packages, and there was also time for team building activities, as we can see in the bottom photo.