A A A
:: Domingo, 19 de Maio de 2024
Organização:    


Valid XHTML 1.0 Strict  CSS válido!

Eventos - 1995

2003B 2003A 2002 1998 1997 1995


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.