Sist Emb
Testes de Sistemas Embarcados
Verificac˜o e Validac˜o de Software
¸a
¸a
Janeiro, 2013
Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Henrique Genovˆs Prado e Kevin Brennan Guzi
Luiz Fernando Machado Silva
Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Defini¸oes gerais c˜ Sistemas onde o computador ´ completamente dedicado ao e dispositivo que ele controla, diferente de computadores de prop´sito geral, como PCs; o Realizam tarefas pr´-definidas, de acordo com requisitos e previamente especificados;
Considerados partes integrantes de um sistema;
Geralmente, n˜o podem ter funcionalidade alterada durante o a uso.
Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Defini¸˜o formal ca Um sistema embarcado interage com o mundo real, recebendo sinais de entrada atrav´s de sensores e enviando sinais de e sa´ para atores que de alguma forma manipulam o ıda ambiente. (Broekman e Notenboom, 2002).
Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Esquema gen´rico de um sistema embarcado e Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Cen´rio mundial a Movimenta aproximadamente 160 bilh˜es de euros; o 3 bilh˜es de unidades embarcadas entregues por ano; o Crescimento anual de 9%;
O software embarcado est´ cada vez mais presente em nosso a dia-a-dia.
Verificac˜o e Validac˜o de Software
¸a
¸a
Testes de Sistemas Embarcados
Autores Sistemas Embarcados Testes Casos de Falha
Onde s˜o utilizados? a Aeron´utica: Sistemas de navegac˜o, sistemas de