2016 Seventh Latin-American Symposium on Dependable Computing (LADC)