Injeção de falhas consiste na inserção artificial de falhas em sistemas sob teste para avaliar seu comportamento diante de situações anormais. Contudo, poucos esforços voltam-se para sistemas distribuídos. Desta forma, a reprodução de cenários de falhas comuns em tais sistemas, como particionamentos de rede, permanece em aberto. Logo, este trabalho apresenta mecanismos para descrições mais expressivas de cenários de falhas distribuídas em diversos pontos da rede com um alto nível de abstração. Unido a este é apresentado um coordenador global de experimentos para um controle centralizado das estações-alvo, bem como para realização de testes coordenados em pontos críticos do sistema.

Uma ferramenta de apoio ao projeto de software facilita o desenvolvimento de software seguro principalmente quando este deve seguir normas rigorosas de segurança crítica como a EC 61508. A norma é extensa e detalhada tornando penosa sua aplicação por desenvolvedores não familiarizados com as áreas de tolerância a falhas e segurança funcional. Apresentamos uma ferramenta de apoio para facilitar a aplicação de cada um dos requisitos de segurança da IEC 61508 levando em consideração o ciclo de vida de software crítico. A ferramenta verifica se todas as atividades foram completadas e mantém a documentação necessária ao processo de certificação de segurança.

Injeção de falhas visa provocar falhas de forma controlada em uma aplicação alvo durante um experimento de teste, de forma a investigar o comportamento da mesma sob falhas. A forma pela qual uma carga de falhas é descrita para um experimento influi diretamente na viabilidade da emulação desta carga de falha e na relevância e validade dos resultados alcançados com o experimento. Este artigo apresenta uma abordagem, baseada na linguagem de programação Java, para a descrição de cargas de falhas de comunicação. O principal objetivo desta descrição consiste em aumentar a flexibilidade e a expressividade na descrição de cargas de falhas, facilitando a execução dos experimentos de teste, permitindo o reuso de cargas de falhas e sua tradução para formatos de entrada específicos de diferentes injetores de falhas de comunicação.