WDES 2016

Workshop Program

The WDES workshop will take place on October 20th, 2016 in Cali, Colombia, co-located with the 7th Latin-American Symposium on Dependable Computing

The program will include a keynote speech by Prof. Andrea Bondavalli, from the University of Firenze, on the topic of "Evolving Systems of Systems: the AMADEOS approach". The full program of LADC 2016 is available on the conference website.

Regular papers will have a slot of 25 minutes, while short papers will have a 15 minutes slot.

14:30 - 14:35

WDES 2016 - Opening and Introduction
Leonardo Montecchi - University of Firenze, Italy

14:35 - 15:30

Keynote - Prof. Andrea Bondavalli

 

Evolving Systems of Systems: the AMADEOS Approach
Andrea Bondavalli - University of Firenze, Italy

Andrea Bondavalli is professor of computer science at the University of Firenze. His research activity focuses on Dependability and Resilience, in particular on safety, security, fault-tolerance, evaluation of attributes such as reliability, availability and performability. His scientific activities have originated more than 200 papers appeared in international journals and conferences. He chairs the Steering Committee of IEEE SRDS. He is a member of the IEEE and of the IFIP W.G. 10.4 Working Group on Dependable Computing and Fault-Tolerance.

15:30 - 16:00

Coffee Break

16:00 - 16:50

Session 1: Space Domain Applications
Chair: Leonardo Montecchi - University of Firenze, Italy

16:00 - 16:25

An Approach for Verification of a Satellite Simulator – an evolving system
Paulo Silva (ITA, Brazil), Ana Ambrosio (INPE, Brazil), Emilia Villani (ITA, Brazil), Denise Azevedo (INPE, Brazil)

16:25 - 16:50

Dependability verification of nanosatellite embedded software supported by a reusable Test System
Carlos Conceicao (INPE, Brazil), Fatima Mattiello-Francisco (INPE, Brazil), Carlos Leandro Batista (INPE, Brazil)

16:50 - 17:30

Session 2: Privacy and Security
Chair: Ivan Mura - Los Andes University, Colombia

16:50 - 17:15

Challenges on Anonymity, Privacy and Big Data
Tania Basso (UNICAMP, Brazil), Roberta Matsunaga (UNICAMP, Brazil), Regina Moraes (UNICAMP, Brazil), Nuno Antunes (UC, Portugal)

17:15 - 17:30
(short paper)

Benchmarking user-defined security configuration of mobile devices
Daniel Avila Vecchiato (UFMT, Brazil), Eliane Martins (UNICAMP, Brazil)

17:30 - 18:10

Session 3: Power Infrastructures
Chair: Ivan Mura - Los Andes University, Colombia

17:30 - 17:55

An approach to evaluation of converged networks integrating communication and power infrastructures
Almir Guimarães (UFAL, Brazil), Igor Rocha (UFAL, Brazil), Paulo R. Maciel (UFPE, Brazil), Rivalino Matias Jr. (UFU, Brazil)

17:55 - 18:10
(short paper)

A Methodology for Proactive Maintenance of Uninterruptible Power Supplies
Slobodan Lukovic (USI, Switzerland), Igor Kaitovic (USI, Switzerland), Miroslaw Malek (USI, Switzerland), Gerardo Lecuona (Centiel S.A., Switzerland)

18:10 - 18:15

Wrap Up