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.
The University of Campinas (IC-UNICAMP) receives in July three returning researchers from the University of Coimbra (UC) to perform 1-month secondments: Prof. Marco Vieira, Prof. Nuno Laranjeiro and Naghmeh Ivaki.
Marco is an Associate Professor at the UC, and he is the coordinator of the DEVASSES project. Nuno is an Assistant Professor at the UC, and his research interests include experimental dependability evaluation of services, including robustness and interoperability assessment. Naghmeh is a PhD student at the UC. Her PhD work focuses on dependable distributed systems and her research interests also include security and big data.
During the secondment, Marco is lecturing an 18-hour course on “Techniques and Tools to Prevent and Detect Software Security Vulnerabilities”, to a class of 30 local students. The course covers several topics, including the development of secure code, the detection of software vulnerabilities and intrusion detection systems.
A series of presentations was organized during this period, where Nuno presented a talk on “Interoperable Services Research at the University of Coimbra" and Naghmeh presented a talk on “Design Patterns for reliable distributed communications”.
The second edition of the International Workshop on Recent Advances in the DependabIlity AssessmeNt of Complex systEms (RADIANCE) occurred in June 28, together with DSN 2016.
It was a successful event, attracting an average attendance of about 20 researchers while happening simultaneously with with other 3 workshops and 3 tutorials.
The workshop started with a keynote by Prof. Domenico Cotroneo on “Challenges in Engineering Dependable Self-Adaptive System”. Domenico is Professor at the Dept. of Electrical Engineering and Information Technology (DIETI) of Federico II U. of Naples. He works in computer system design and assessment, specially in empirical system security and reliability, and software fault injection.
A second keynote was reserved for the after lunch session, featuring "A Journey towards Rigorous Cybersecurity Experiments" by Prof. Michel Cukier. Michel is the Director for Advanced Cybersecurity Experience for Students (ACES) and the Associate Director for Education for the Maryland Cybersecurity Center (MC2). His research covers dependability and security issues. His latest research focuses on the empirical quantification of cybersecurity.
The program also included the presentation of a total of 8 papers divided in 3 technical sessions: 1) Preliminary Works on Dependability and Security, featuring ongoing work; 2) Cloud and SOA Services; and 3) Analysis and Model-based techniques. The presentations showed novel techniques and fostered an interesting discussion which promoted the transfer of knowledge among the participants.
The Resilient Computing Lab (RCL - University of Florence) is home to a very international collaboration environment in these days (news at the RCL page). Several researchers are visiting the UNIFI in the context of DEVASSES and the CECRIS projects, creating the opportunity to a set of cross-projects seminars.
Lucas Leal is a MSc student at the University of Campinas (UNICAMP), being supervised by Prof. Eliane Martins (UNICAMP) and Andrea Ceccarelli (UNIFI). He will stay in Florence for a three-months secondment to work in the DEVASSES project, which started in April. During his secondment he will work on "Model-Based Online Testing for Dynamic SOA". These seminars were the perfect opportunity for Lucas to present the initial idea of the work and to discuss the topic with other researchers. It was also important to receive feedback from the remaining visitors.
Beáta Hergovics and Máté Tóth are testing engineers from Prolan Co. in Budapest, Hungary, and are currently visiting UNIFI for a short period to work on the CECRIS project. Prolan Co. develops central railway traffic supervisory and traffic dispatch control systems, and thus, it is interested in Verification, Validation and Certification techniques for this kind of critical system.
Prof. Henrique Madeira, from the University of Coimbra was also participating in the workshop. Henrique is visiting UNIFI in these days and he is lecturing a series of seminars on "Design of Experiments for Resilience Assessment and Benchmarking". The goal is to use real data from concrete resilience/dependability assessment experiments, particularly raw data from fault injection experiments, to provide a comprehensive set of examples on how to design and perform correct experiments. The course is covering basic concepts on fault injection for dependability and resilience assessment, steps of designing an experiment, how to perform correct measurements, and hypothesis testing.