André Luis Meneses Silva

Programação Concorrente (Sistemas de Tempo Real)

Ementa

• Sistemas de tempo real– Definição, Tipos de sistemas de tempo real

• Tipos de Processos– Periódicos, Aperiódicos, Esporádico

• Interações entre processos– Comunicação, Precedência, Exclusão mútua,

Preempção

Ementa• Questões de Projeto

– Tempo de execução• Estudo do pior caso, Estimadores• Fontes de não determinismo: atrasos dependentes de dados, atrasos

condicionais, coletores de lixo, pipeline, hierarquia de memória

– Escalonamento de processos• Métodos pre-runtime, on-line, prioridade fixa (Rate e Deadline-

monotonic)• Análise rate-monotonic, Inversão de prioridades, Servidores

esporádicos

– Garantia de escalonamento• Funções e garantias destes sistemas, Overheads e determinismo,

Sistemas ad hoc e comerciais

Ementa

• Kernels e sistemas operacionais de tempo real– SOTR Shark

• Introdução a tolerância a falhas• Dispositivos p/ aumentar robustez de sist.

Embarcados– Redundância de hardware, N-versão, voto de maioria,

etc.– Métodos de tolerância p/ sistemas embarcados– Watchdog, Monitor de energia e oscilação, Relógio de

tempo real, Memórias não voláteis

Avaliação

• 2 provas• Atividades– Banco do Conhecimento– SOTR Shark / Cheddar– Projetos de Programação C/C++

SHaRK

• Kernel de tempo real– http://shark.sssup.it/

• Linguagem de desenvolvimento– C/C++– Aulas experimentais com aplicativos pré-

definidos.– Modificação do escalonador.

SHaRK - BCA

Cheddar

Banco do Conhecimento

• Conjunto de artigos a serem acumulados na disciplina.– www.periodicos.capes.gov.br

• A depender da evolução do banco, grupos serão convidados para apresentar.

Referências

• Sistemas de Tempo Real– Jean Marie Farines, Joni da Silva Fraga e Rômulo

Silva de Oliveira

• Sistemas e Software de Tempo Real – Alan C. Shawn.

Referências

• Real Time Systems: Design Principles for Distributed Embedded Applications– Herman Kopetz

• Real Time Systems Design and Analysis– Philip A. Laplante

Leitura Recomendada

• Slides de Aula• Prof. André Luis Meneses

Silva