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
Programação
| 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) |
[1] http://www.modcs.org
[2] http://www.cin.ufpe.br
[3] http://www.cin.ufpe.br/~prmm