PROCEEDINGS Fifth Latin-American Symposium on Dependable Computing Workshops —— LADCW 2011 —— 25–29 April 2011 São José dos Campos, Brazil Organized by INPE – Instituto Nacional de Pesquisas Espaciais Partnered with AAB – Associação Aeroespacial Brasileira AUDIIO – Informatics and Operational Research Uruguayan Association Critical Software EMBRAER IFIP – International Federation for Information SADIO – Sociedad Argentina de Informática SCCC – Sociedad Chilena de Ciencia de la Computación SMCC – Sociedad Mexicana de Ciencia de la Computación Sponsored by SBC – Sociedade Brasileira de Computaçâo CAPES – Coordenação de Aperfeiçoamento de Pessoal de Nível Superior CNPq – Conselho Nacional de Desenvolvimento Científico e Tecnológico FAPESP – Fundação de Amparo à Pesquisa do Estado de São Paulo AEB – Agência Espacial Brasileira Los Alamitos, California Washington • Tokyo