Sistemas de Tempo Real
Objetivos
1. Saber: a) Conceitos fundamentais de sistemas de tempo real e programação concorrente. b) Conceber e analisar sistemas embutidos discretos.
2. Fazer: a) Capacidade de modelação de problemas de tempo real e sistemas embutidos. b) Capacidade de programar sistemas concorrentes e interfaciar sistemas físicos. c) Criatividade face a problemas de tempo real e sistemas distribuídos.
3. Competências não-técnicas: a) Capacidade de trabalho em equipa. b)Capacidade de gestão de tempo e cumprimento de prazos.
Caracterização geral
Código
3753
Créditos
6.0
Professor responsável
Filipa Alexandra Moreira Ferrada, Luís Manuel Camarinha de Matos
Horas
Semanais - 4
Totais - 65
Idioma de ensino
Português
Pré-requisitos
Conhecimentos básicos de programação.
Bibliografia
Sistemas de Tempo Real – sumário das aulas (Notas de curso)
Artigos seleccionados.
Método de ensino
Componente teórico-prática: Aulas formais de exposição e realização de exercícios.
Componente prática: Realização acompanhada de trabalhos em laboratório.
Método de avaliação
A avaliação é composta por:
-
Componente Teórica:
- Realização de 2 testes
- Nota Teórica (NT) = 0.5*T1 + 0.5*T2
- NT ≥ 9.5
-
Componente Prática:
- Realização de 3 trabalhos práticos
- Nota Prática (NP) = p1*TP1 + p2*TP2 + p3*TP3
- Os pesos (p1, p2, p3) são indicados no início da UC
- A entrega de todos os trabalhos práticos é obrigatória
- NP ≥ 9.5
-
Nota Final (NF) = 0.6*NT + 0.4*NP
Conteúdo
Conceitos fundamentais e motivação: processos, eventos, concorrência, sincronização, exclusividade, comunicação.
Mecanismos de suporte: semáforos, caixas de correio, portas, chamadas de procedimentos remotos, etc..
Núcleos e sistemas embebidos.
Modelação e análise de sistemas concorrentes.
Redes de Petri: conceitos fundamentais, métodos de análise, tipos de redes - com capacidades e pesos, limitadas, com arco inibidor, temporizadas, coloridas, contínuas e híbridas.
Linguagens de programação concorrentes.
Introdução aos PLCs.
Aplicações em controlo de sistemas de eventos discretos