IA346 M Métodos de Pesquisa Para Engenharia de Computação. Atividade 07

Transcrição

1 IA346 M Métodos de Pesquisa Para Engenharia de Computação Atividade 07 Nome: Janize Monteiro de Castilho RA: Tema de Pesquisa: Implementação de monitores para verificação de padrões de cenários de operação de sistemas embarcados baseado em rastreamento temporizado. 2. Definição de conceitos relevantes para esse tema: Padrões de cenários de operação: Expressam os requisitos de um sistema usando construções padrões precisas e isentas de ambigüidade. Cada cenário de operação descreve uma interação entre o sistema e seu ambiente. Monitores e verificação e Rastreamento: O monitor verifica se os cenários especificados para um sistema são atendidos num rastro temporizado. Um monitor utiliza padrões de cenários para analisar um rastro e determinar se cada cenário é satisfeito. Sistema embarcado: Sistema microprocessado no qual o computador é completamente encapsulado ou dedicado ao dispositivo ou sistema que ele controla. 3. Para cada conceito, a definição do conjunto de termos utilizados para a busca (grupo OR) Padrões de cenários de operação: Scenario patterns Scenario priorities Scenario description Verificação: Verification Rastreamento: Trace Monitores: Monitor Sistemas Embarcados: Embedded system

2 4. As bases de dados relevantes para a realização da pesquisa bibliográfica IEEE Xplore: Science Direct: SBU Unicamp> 5. Para uma dessas bases de dados (indicar qual), a string completa de busca (AND de ORs) 5.1 IEEE Xplore Para este caso, a string de busca foi a seguinte: Scenario patterns AND Embedded system AND Verification 5.2 Science Direct Para este caso, a string de busca foi a seguinte: Scenario patterns OR Scenario priorities OR Scenario description AND Embedded system AND Verification AND Embedded system AND Verification AND Trace AND Monitor 5.3 Sistema de Bibliotecas da Unicamp (SBU) Para este caso, a string de busca foi a seguinte: Scenario patterns OR Scenario priorities OR Scenario description AND Embedded system AND Verification AND Embedded system AND Verification AND Trace AND Monitor

3 6. A síntese dos resultados da pesquisa, na forma de um diagrama PRISMA. A partir da Atividade 03, foi adicionado mais dois artigos de outras fontes. IEEE 4 ScienceDirect 301 Biblioteca Unicamp 942 Outros Artigos Considerados 120 Excluídos pela data (anterior a 2000) 1129 Artigos Selecionados 956 Artigos Eliminados Por Assunto e Repetição 173 Artigos Restantes 165 Artigos Eliminados pelo Titulo e Resumo 6 Total de Artigos

4 7. Mapa de Atividades

5 8. Quadro de Métodos Citação Variáveis Tipo de Pesquisa Tokarnia Independentes Quantitativo et al., Variáveis: Descrevem as entradas, Experimental saídas e estados do sistema. Que tem um tipo e um intervalo. Condição: Que são expressões relacionais no sistema. Eventos: Condições de variáveis de entrada do sistema. Ações: Condições de variáveis de saída do sistema. Modo de operação: Condições envolvendo variáveis de estado do sistema. Modo de operação de transições: Corresponde a uma transição entre estados. Atividades: Relação entrada saída com um tempo de resposta máximo. Restrições de tempo. Declaração de Propósito A proposta de trabalho em Tokarnia et al. (2013) consiste na verificação em tempo de execução do comportamento funcional e temporal de sistemas embarcados usando uma descrição de cenário formal para sistemas embarcados e um monitor que relaciona prioridades de cenários e o monitor de modo que, em tempo de execução, ele pode parar de verificação cenários de baixa prioridade para economizar recursos para outras atividades do sistema, se necessário. Tsai et al., Dependentes O tempo de execução do monitor, que está diretamente relacionado à descrição do cenário. Relatórios de verificação que podem ser usados para atraso de medidas corretivas, tais como, reconfiguração de hardware, reversão de software, migração de tarefas e suspensão de funcionalidade. Independentes Seriam os cenários. Estes cenários são compostos por variáveis que descrevem os requisitos do sistema e são: Coleção de atores; Condições; Associação de dados de entrada e saída; Ações; Eventos; Restrições de tempo Dependentes Potenciais requisitos padrões e cenários associados mapeados para padrões de verificação Com os padrões de verificação, são gerados testes case e script para verificar os cenários. Quantitativo Experimental A proposta de trabalho em Tsai et al. (2005) consiste na elaboração de uma abordagem estruturada para o teste rápido de sistemas embarcados em tempo real. A principal técnica utilizada na proposta é o padrão de verificação, com o qual as atividades de teste são classificadas e organizadas. Assim, ele vai permitir a análise sistemática e rigorosa com base em especificações e facilitar abordagem adaptativa para revelar e verificar o comportamento do programa cronometrado de sistemas embarcados em tempo real.

6 Referências A. Tokarnia, E. Cruz, Scenario Patterns and Trace-based Temporal Verification of Reactive Embedded Systems, In: th Euromicro Conference on Digital System Design, 2013, p W. Tsai, F. Zhu, L. Yu, R. Paul, Rapid Embedded System Testing Using Verification Patterns, IEEE Software, Vol. 22, No.4, 2005, p