A cada semestre, o grupo MoDCS (Modeling of Distributed and Concurrent Systems) se reúne para apresentar em um workshop os trabalhos que se encontram em desenvolvimento pelos estudantes e pesquisadores integrantes. O objetivo principal do workshop é compartilhar conhecimento, discutir idéias, criar oportunidades de interação entre os projetos em desenvolvimento e propor trabalhos futuros. Adicionalmente, é uma excelente oportunidade para maior integração entre os colegas pesquisadores. A grande maioria dos trabalhos em desenvolvimento contemplam a modelagem de aspectos temporais em diversos domínios de aplicação, mais notadamente no projeto e avaliação de desempenho de sistemas embarcados, sistemas de comunicação e sistemas associados à manufatura. O escopo dos trabalhos atualmente em desenvolvimento pelos integrantes do MoDCS estão associados as seguintes áreas de concentração:
- Sistemas Embarcados
- Sistemas de Tempo Real
- Consumo de Energia
- Especificação
- Tolerância a Falhas
- Manufatura
- Sistemas Distribuídos
Data e Local:
Data do Evento: 05/12/2008
Locais: Auditorio CIn(Bloco A – Térreo) e Anfiteatro CIn(Bloco C – Galpão)
Maiores Informações
Julian Menezes – cjma@cin.ufpe.br
Fábio Chicout – fcfmc@cin.ufpe.br
| 08:30-09:00 | Abertura do Evento | Prof. Paulo Maciel / Prof. Ricardo Massa |
| 09:00-09:20 |
Uma Abordagem Baseada em Rede de Petri Temporizada para Modelagem e Análise de Especificações de Sistemas Embarcados Críticos com Restrições de Energia |
Ermeson Andrade |
| 09:20-09:40 | Performance Modeling for Evaluation and Planning of Electronic Funds Transfer Systems with Bursty Arrival Traffic | Carlos Araújo |
| 09:40-10:00 | Geração de Carga em Ambiente de Planejamento de Capacidade | Hugo / Wagner |
| 10:00-10:20 | Intervalo | |
| 10:20-10:40 | Software Synthesis for Energy-Constrained Hard Real-Time Embedded Systems | Eduardo Tavares |
| 10:40-11:00 | Abordagem híbrida para controle do consumo de energia em sistemas embarcados de tempo real crítico | Pedro Dallegrave |
| 11:00-11:20 | Torwards Performance Modeling and Evaluation of EFT Systems Aging |
Fábio Chicout |
| 11:20-11:40 | Avaliação de desempenho de Um Processo de Testes de Softwares: Uma metodologia baseada em Modelos Estocásticos | Marcelo Marinho |
| 11:40-12:00 | Escalonamento de Processos Paralelos em Simuladores Multifísicos |
Renata Medeiros (UPE) |
|
12:00-14:00 |
Almoço | |
| 14:00-14:20 |
Uma Abordagem Estocástica Baseada em Rede de Petri Coloridas para Estimar o Consumo de Energia e o Tempo de Execução de Sistemas Embarcados |
Gustavo Callou |
| 14:20-14:40 | ALUPAS: Um Simulador Estocástico para Análise do Consumo de Energia e Desempenho de Softwares para Sistemas Embarcados |
Bruno Nogueira |
| 14:40-15:00 | Performability Evaluation of Electronic Funds Transfer Systems |
Erica Teixeira |
|
15:00-15:20 |
Intervalo |
|
| 15:20-15:40 | Alocação e otimização em logística de distribuição | Claudiana Batista |
| 15:40-16:00 | Avaliação e Planejamento de Capacidade de Call Centers usando o CC Modeler | Alysson Barros |
| 16:00-16:20 | Planejamento de Capacidade SOA: uma abordagem Preditiva e Estocástica, através do Mapeamento de BPEL para GSP | Marcelo Teixeira (UPE) |
| 16:20-16:40 | Avaliação de Desempenho de Processos Dinâmicos de Software | Rebeka Brito |
| 16:40-17:00 | Avaliação de Workflow com Restrição de Recursos | César Augusto |
| 17:00-17:20 | Implementação de um escalonador híbrido considerando restrições de energia | Bruno Silva |
| 17:20-17:40 | Uma Abordagem Orientada a Aspectos para Implementar Contratos em JML | Henrique Rebêlo (UPE) |
| 17:40-18:00 | Compilador Intra-task DVS para sistemas de tempo real com baixo consumo de energia | Bruno Montenegro (UPE) |
