Local:INPE
Sala de Reuniões do Beta.
Primeiro “Workshop” do ambiente de teste com injeção
de falhas por software -- ATIFS
Data: 15 de Dezembro de 1995
Horário: das 9:30 ás 17:30hs
Programa:
1. |
O ambiente de teste ATIFS: características gerais e possíveis aplicações - Eliane Martins |
2. |
Interface usuário do ATIFS: metodologia e modelagem - Marcos Salenko Guimaraes |
3. |
SDT (Subsistema de Desenvolvimento dos Testes): métodos de análise de autômatos e geração automática de testes abstratos - Raul Cesar Requião |
4. |
STR: Subsistema de Tratamento dos Resultados - Márcio Roberto Stefani |
5. |
Arquitetura Ferry empregada noSubsistema de Suporte à Execução (SSE) - Ana Maria Ambrosio |
6. |
O ambiente RIO (Reconfigurable Interconectable Objects) - Marcos Renato R. Araújo |
7. |
Características do projeto SCOM-X.25 - Ana Maria Ambrosio |
8. |
Demonstração da implementação do protocolo X.25 e seus simuladores - Keila Silveira Corrêa e Marcos de Castro |
9. |
Demosnstração do SCOM-X.25 em sua plataforma final - Antônio Cassiano Júlio Filho |
Observações:
- cada apresentação deve durar até 20 minutos com 10 minutos para perguntas e dúvidas.
- após as apresentações haverá uma reunião entre as pessoas envolvidas para discussão sobre cronograma e perspectivas futuras.
- pessoas interessadas nas aplicações do ATIFS são convidadas especiais à esta reunião.