Fifth Latin-American Symposium on Dependable Computing

• Processo: 11/01118-0
• Modalidade de apoio: Auxílio Organização - Reunião Científica
• Data de Início da vigência: 25 de abril de 2011
• Data de Término da vigência: 29 de abril de 2011
• Área do conhecimento: Engenharias - Engenharia Aeroespacial - Sistemas Aeroespaciais
• Pesquisador responsável: Ana Maria Ambrosio
• Beneficiário: Ana Maria Ambrosio
• Instituição Sede: Instituto Nacional de Pesquisas Espaciais (INPE). Ministério da Ciência, Tecnologia e Inovação (Brasil). São José dos Campos , SP, Brasil
• Assunto(s): Técnicas de injeção de falhas Sistemas críticos
• Palavra(s)-Chave do Pesquisador: Assessment | Dependable Computing | Diagnosys | Distributed Systems and Algorthms | Fault Injection | Safety | System Dependability | Verification and Validation | Sistemas críticos

Resumo

O programa do LADC 2011 contará com sessões técnicas, workshops, student forum, palestras convidadas e mini-cursos. As sessões técnicas estarão divididas em duas trilhas (tracks) principais: pesquisa (regular) e experiência industrial.O processo de seleção de trabalhos para a trilha regular é estritamente guiado por mérito. Cada trabalho foi avaliado por pelo menos três árbitros de um Comitê de Programa formado por pesquisadores experientes e de reputação internacional. Para este LADC foram selecionados 18 trabalhos dentre as 48 submissões.As palestras técnicas serão realizadas pelos Professores Hermann Kopetz, Rick Schlichting e Jean-Paul Blanquart. O título da palestra do Prof. Kopetz é "GENESYS-A Cross-Domain Architecture for Dependable Embedded Systems". O Prof. Schlichting entitulou o seu seminário "Diagnosis in Practice." O pesquisador Blanquart da EADS-Astrium falará sobre os desafios em verificação e validação de sistemas complexos.Serão 3 mini-cursos ministrados por pesquisadores de renomeinternacional: 1. Synchronization is coming back but is it the same?Michel Raynal (IRISA, France); 2. Gossip-Based Multicast, José Pereira(Un. Minho, Portugal) e 3. Assessing DBMS Security, Afonso AraújoNeto, Marco Vieira (U. Coimbra, Portugal).Os workshops serão os seguintes: 1. International Workshop onResilience Assessment of Critical Infrastructures; 2. Workshop andTool Session on DYnamic Aspects in DEpendability Models forFault-Tolerant Systems e 3. Workshop on Exception Handling inContemporary Software Systems.O Student Forum contará com trabalhos selecionados paramini-apresentações e sessão de discussão entre alunos de Mestrado eDoutorado da área de Tolerância a Falhas.A versão detalhada do programa pode ser encontrada emhttp://www.inpe.br/ladc2011. (AU)