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.
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”.