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 – 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