| |
| |
| Programa ::: |
| |
- Introdução aos conceitos básicos de tempo-real
- Modelagem de STR com redes de Petri
- Redes de Petri temporizadas
- Redes de Petri ambiente-relacionamento
- Escalonadores para tempo-real
- Escalonadores básicos
- Escalonadores para tarefas aperiódicas
- Escalonadores com herança de prioridade
- Escalonadores para ambientes distribuídos
|
|
|
| |
|
