DAS9007: Sistemas de Tempo Real

Ementa:

Definição, caracterização, exemplos de aplicações. Escalonamento dirigido por tempo. Escalonamento por prioridades. Escalonamento de tarefas aperiódicas e esporádicas. Controle de acesso a recursos. Escalonamento adaptativo. Protocolos de comunicação, sistemas operacionais e middleware de tempo real. Desenvolvimento de sistemas de tempo real. Métodos formais para tempo real: modelagem; linguagens e Verificação.

Sistemas de Tempo Real – 2013

Tr6x1-Arquitetura-2011a.pdf

Tr6x1-wcet-2011b.pdf

Tr6x1-SincronizacaoRelogios-2013a.pdf

Tr6x1-Multiprocessadores-categorias-2013a.pdf

Lista de exercícios para P1

Tr6x1-ServidorAperiodicas-2011a.pdf

Tr6x1-Multiprocessadores-ExclusaoMutua-Particionados-2011b.pdf







Sistemas de Tempo Real – 2012

Plano

Notas



Transparências

Tr6x1-TempoReal-2010a.pdf

Tr6x1-Caracterizacao-2010a.pdf

Tr6x1-Abordagens-2010a.pdf

Tr6x1-ExecutivoCiclico-2010b.pdf

Tr6x1-PrioridadeComTeste-2011b.pdf

Tr6x1-PfixEstendida-2011.pdf

Tr6x1-Recursos-2010a.pdf

Tr6x1-ServidorAperiodicas-2011a.pdf

Tr6x1-Arquitetura-2011a.pdf

Tr6x1-wcet-2011b.pdf

1) A Categorization of Real-time Multiprocessor Scheduling Problems and Algorithms

John Carpenter, Shelby Funk, Philip Holman, Anand Srinivasan, James Anderson, and Sanjoy Baruah

Tr6x1-Multiprocessadores-categorias-2009a.pdf

exercicios-2009b.pdf



Trabalho:

Artigo com cerca de 6 a 8 páginas descrevendo a API do SOTR escolhido, e comentando sobre as suas propriedades de "tempo real". Apresentação de 30 minutos sobre este artigo.

Sugestão de seções para o artigo:

1. Introdução com a contextualização do SOTR (quem fornece, qual mercado, etc)

2. Descrição geral da API

3. Descrição detalhada da parte relacionada com tempo real

4. Critica & análise dos aspectos de tempo real

5. Conclusões



Exercícios:

Livro do Burns, capitulo 13, exercícios de 1 até 15

Lista-2012.html



Artigos:

Software Arquitecture for Hard Real-Time Applications: Cyclic Executives vs. Fixed Priority Executives
C.D.Locke

Coordinated Task Scheduling, Allocation and Synchronization on Multiprocessors
K.Lakshmanan, D. de Niz, R. Rajkumar

Partitioning Real-Time Systems on Multiprocessors with Shared Resources
F.Nemati, T.Nolte, M.Behnam

Tr6x1-Multiprocessadores-ExclusaoMutua-Particionados-2011b.pdf



Sistemas de Tempo Real – 2011

Revisão de arquitetura de computadores

Obtenção do Worst-Case Execution Time

Servidores de aperiódicas

1) A Categorization of Real-time Multiprocessor Scheduling Problems and Algorithms

John Carpenter, Shelby Funk, Philip Holman, Anand Srinivasan, James Anderson, and Sanjoy Baruah

Transparências sobre multiprocessadores 1

Exercicios.pdf



2) A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems

Robert I. Davis and Alan Burns

University of York, Department of Computer Science, relatório técnico, 2009

Transparências sobre multiprocessadores 2

ftp://ftp.cs.york.ac.uk/papers/rtspapers/R:Davis:2009d.pdf





Sistemas de Tempo Real – 2010

Transparências sobre Worst-Case Execution Time

Transparências sobre servidores de aperiódicas

Escalonamento em multiprocessadores:

1) A Categorization of Real-time Multiprocessor Scheduling Problems and Algorithms

John Carpenter, Shelby Funk, Philip Holman, Anand Srinivasan, James Anderson, and Sanjoy Baruah

Transparências sobre multiprocessadores 1

 

2) A Comparison of Global and Partitioned EDF Schedulability Tests for Multiprocessors

TR-051101, Theodore P. Baker

Transparências sobre multiprocessadores 2

 

3) A Survey of Hard Real-Time Scheduling Algorithms and Schedulability Analysis Techniques for Multiprocessor Systems

Robert I. Davis and Alan Burns

University of York, Department of Computer Science, relatório técnico, 2009

Transparências sobre multiprocessadores 3

 

Sistemas de Tempo Real – 2009

Plano da disciplina
Notas

Transparências do livro do Buttazzo

 

Capítulos do livro do Buttazzo para a prova: 1, 2, 3, 4, 5, 7

 

prova-2009a.pdf

exercicios-2009b.pdf

 

Artigos sobre escalonamento em multiprocessadores:

 

1) A Categorization of Real-time Multiprocessor Scheduling Problems and Algorithms

John Carpenter, Shelby Funk, Philip Holman, Anand Srinivasan, James Anderson, and Sanjoy Baruah

Transparências sobre multiprocessadores 1

 

2) A Comparison of Global and Partitioned EDF Schedulability Tests for Multiprocessors

TR-051101, Theodore P. Baker

Transparências sobre multiprocessadores 2

 

Artigo para o trabalho prático sobre TIMES e MAST:

1) Influence of different abstractions on the performance analysis of distributed hard real-time systems

Simon Perathoner · Ernesto Wandeler · Lothar Thiele · Arne Hamann · Simon Schliecker · Rafik Henia · Razvan Racu · Rolf Ernst · Michael González Harbour