6Th Latin-American Symposium on Dependable Computing (Ladc), Date: APR 02-05, 2013, Location: Rio de Janeiro, BRAZIL, Sponsors: State Univ Campinas, Sch Technol, Brazilian Comp Soc, IEEE Comp Soc, Coordenacao Aperfeicoamento Pessoal Nivel Super, Conselho Nacl Desenvolvimento Cientifico & Tecnologico, Blue Pex Secur Solut, EMBRAER S A, Int Federat Informat Processing, Working Grp 10 4 Dependable Comp & Fault Tolerance, Argentine Soc Informat & Operat Res, Mexican Soc Comp Sci, Chilean Comp Sci Soc, Sociedad Colombiana Computac, Informat & Operat Res Uruguayan Assoc, NeoGrid, IEEE