Universidade de Aveiro 
Disciplina opcional do 5º ano das Lic. em
    Engª de Electrónica e Telecomunicações
    Engª de Computadores e Telemática
Código da disciplina: 11475

(de volta à pagina de STR...)

Docentes

Topo

Avaliação

Classificações 2003-2004

Topo

• Aula 2 - Tema: O que aconteceu com as missões Apollo 11 e Mars Pathfinder
  apresentação a cargo de Alexandre Santos, Ana Sargento, Ricardo Marau e Pedro Leite [ppt,1MB]
• Aula 3 - Tema: Porquê e como usar um sistema operativo ou kernel de tempo-real
  textos base: "Why use a commercial kernel" e "How to use a real-time multitasking kernel"
  apresentação a cargo de Marco Leonor, Márcio Neves, Bernardo Marques e Valter Rocha [ppt,309KB]
• Aula 4 - Tema: Linux e tempo-real
  textos base: "Comparing real-time Linux alternatives" e "RTLinux versus RTAI"
  apresentação a cargo de José Bergano, Carlos Oliveira, Bruno Gravato e Manuel Ribeiro [ppt,200KB]
• Aula 5 - Tema: Escalonamento para sistemas de tempo-real
  texto base: Sec. 2 (2. a 2.3) do artigo de Ramamritham, K. e J. Stankovic
  "Scheduling Algorithms and Operating System Support for Real-Time Systems"
  Proceedings of the IEEE, 82(1):55-67, 1994.   (Citeseer) and (local)
  apresentação a cargo de Inês Oliveira, João Lima, Bruno Pereira e Francisco Almeida [ppt,70KB]
• Aula 6 - Tema: Virtudes do escalonamento estático cíclico
  texto base: artigo de Xu e Parnas
  "Priority Scheduling versus Pre-run-time Scheduling"
  (Journal of ) Real-Time Systems, 18:7-23, 2000 (biblioteca da UA)
  apresentação a cargo de Sergio Lopes, Fernando Ventura, Claudia Andrea Martins e Rudolfo Andrade [ppt,73KB]
• Aula 7 - Tema: Virtudes do escalonamento on-line com prioridades fixas
  texto base: artigo de N. Audsley, K. Tindell, A. Burns
  "The End of the Line for Static Cyclic Scheduling?"
  Proceedings of the 5th Euromicro Workshop on Real-Time Systems, Oulu, Finland. IEEE Computer Society Press. pp:36-41. June 1993.   (local)
  apresentação a cargo de Nuno Inácio, Ricardo Pereira, Paulo Loureiro e Hugo Manaia
• Aula 8 - Tema: Inversões de prioridade e técnicas relacionadas
  texto base: artigo de Sadegh Davari, Lui Sha
  "Sources of Unbounded Priority Inversions in Real-Time Systems and a Comparative Study of Possible Solutions"
  Operating Systems Review, 26(2):110-120. ACM Press. April 1992.  (biblioteca da UA)
  apresentação a cargo de João Lopes, André Quinta, André Carvalho e Paulo Felício [ppt,358KB]
• Aula 9 - Tema: Generalized Rate-Monotonic Analysis
  texto base: artigo de Lui Sha e John Goodenough
  "Real-Time Scheduling Theory and Ada"
  Computer, 23(4):53-62. IEEE Press. April 1990.  (biblioteca da UA)
  apresentação a cargo de Pedro Esteves, Jorge Paulino, Bruno Monteiro

Palestra da NEC (2003/12/17)

• Sistemas Operativos de Tempo-Real: Utilização em aplicações móveis
  por: Jorge Caetano, Marco Gaspar e João Coimbra  (NEC-Portugal, Aveiro)
  (mais info, slides)

Topo

Mini-projectos realizados nas aulas práticas

• Turma P1:
  • Simulação de um pêndulo invertido usando o kernel de tempo-real SHaRK (zip 129KB)
    Hugo Manaia, Paulo Loureiro
  • Simulação de um sistema anti-míssil usando o kernel de tempo-real SHaRK (zip 501KB)
    Bernardo Marques, Valter Rocha
  • Simulação de um sistema tipo "bola na calha" usando o kernel de tempo-real SHaRK (zip 99KB)
    João Limas, Inês Oliveira
  • Construção de um pêndulo invertido sobre um robô móvel controlado com o executivo SHaRK (zip 2.3MB)
    Marco Leonor, Márcio Neves
  • Sistema de controlo para o robô Bulldozer baseado no executivo ReTMiK (zip 861KB)
    Alexandre Santos, Ana Sargento
  • ReTMiK (Real-Time Micro-mouse Kernel) v2.0 (zip 340KB)
    Bruno Gravato, Bruno Pereira
  • RTKPIC18 - Real-Time Kernel para o PIC18FXX8 (zip 374KB)
    Pedro Leite, Ricardo Marau
  • Simulador de um executivo de tempo-real com análise de escalonabilidade (zip 4.1MB)
    Jorge Paulino, Pedro Esteves
• Turma P2:
  • Simulação de variantes do concurso micro-rato usando o kernel de tempo-real SHaRK (zip 11KB)
    Fernando Ventura, Sérgio Lopes
  • Simulação de um sistema de tiro ao alvo utilizando o kernel de tempo-real SHaRK (zip 187KB)
    Cláudia Martins, Manuel Ribeiro
  • Simulação de um sistema de controlo de tiro de um carro de combate utilizando o kernel de tempo-real SHaRK (zip 479KB)
    André Carvalho, Paulo Felício
  • Simulação de uma linha de montagem usando o kernel de tempo-real SHaRK (zip 79KB)
    Nuno Inácio, Ricardo Azevedo
  • Implementação dos componentes básicos do protocolo FTT-Ethernet usando Linux/RTAI (zip 195KB)
    João Lopes, Ricardo Cardoso
  • Benchmark dos sistemas operativos de tempo-real SHaRK e Linux/RTAI (zip 233KB)
    Bruno Monteiro, Francisco Almeida
  • Sistema operativo para o kit188 baseado no kernel de tempo-real ReTMiK (zip 187KB)
    Carlos Oliveira, José Bergano
  • PICMiK - PIC Micro Kernel (zip 270KB)
    André Quinta, Rudolfo Andrade

Topo

Secção Especial da Revista do DET dedicada a STR

(Electrónica e Telecomunicações, Vol. 4, N. 2, DETUA, Janeiro 2004)

• Editorial, Sistemas de Tempo-Real: uma abordagem prática
  Luis Almeida e Paulo Pedreiras
• Ensaio sobre os Sistemas de Tempo-Real
  Arnaldo Oliveira, Luis Almeida
• Simulação de um sistema de controlo de tiro de um carro de combate utilizando o kernel de tempo-real SHaRK
  André Carvalho, Paulo Felício
• Construção de um pêndulo invertido sobre um robô móvel controlado com o executivo SHaRK
  Marco Leonor, Márcio Neves
• Sistema de controlo para o robô Bulldozer baseado no executivo ReTMiK
  Alexandre Santos, Ana Sargento
• ReTMiK (Real-Time Micro-mouse Kernel) v2.0
  Bruno Gravato, Bruno Pereira
• RTKPIC18 - Real-Time Kernel para o PIC18FXX8
  Pedro Leite, Ricardo Marau
• PICMiK - PIC Micro Kernel
  André Quinta, Rudolfo Andrade
• OReK: Um Executivo de Tempo-Real Orientado por Objectos
  Arnaldo Oliveira, Luis Almeida, Valery Sklyarov

Topo

De volta a STR...

De volta a Aulas...