ddddd

Universidade Federal do Amazonas
Departamento de Eletrônica e Computação

Sistemas de Tempo Real

Lucas Cordeiro [e-mail] © Alan Burns and Andy Wellings, 2001

Notas de Aula
Estes slides são baseados nos livros:
– Prof. Alan Burns da Universidade de York : http://wwwusers.cs.york.ac.uk/~burns/
– Prof. Alan Shaw da Universidade de Washington: http://www.cs.washington.edu/people/faculty/shaw/ – Prof. Joost-Pieter Katoen da Universidade de Aachen: http://www-i2.informatik.rwth-aachen.de/~katoen/ Os slides estão disponíveis em: http://home.ufam.edu.br/lucascordeiro/str/ Objetivo do Curso
Fornecer aos alunos, conhecimento teórico para a elaboração de projetos e verificação de sistemas de tempo real
Dominar as peculiaridades destes sistemas, sendo capazes de analisar e projetar, de forma confiável, sistemas de hardware e software que possuam tais características Ementa do Curso (1)
Introdução: o mundo dos sistemas de tempo real
Arquiteturas de software para sistemas de tempo real
Especificações de requisitos e de projeto de tempo real
Sistemas de máquinas de estados
Especificações declarativas
Predição de tempo de execução do pior caso (WCET)
Escalonamento de tarefas em sistemas em tempo real
Sincronização de processos concorrentes
Acesso a periféricos
Gerenciamento de entrada e saída (E/S)
Linguagens de programação que atendem às especificidades de tempo-real

Ementa do Curso (2)
Introdução a Verificação de modelos
Verificação explícita e simbólica
Lógica temporal linear e de árvore de computação
Grafos de fluxo de controle
Semântica de programas
Satisfação booleana
Teorias do módulo da satisfação
Exemplo de aplicações

Conteúdo da Avaliação
Lista de exercícios: Ao final de cada capítulo
Prova parcial: Introdução aos sistemas de tempo real; projetando sistemas de tempo real; desenvolvimento de pequenos sistemas de tempo real; desenvolvimento de grandes sistemas de tempo real;