Sistemas Embebidos e de Tempo-Real
Motivação:
Um sistema embebido ou embutido é um subsistema eletrónico dedicado que é utilizado em diferentes aplicações como telemóveis, robôs, veículos terrestres ou sistemas aeroespaciais. Um sistema embebido pode conter a funcionalidade completa do sistema sob a forma de software em execução em processadores ou sob a forma hardware especializado. Em complemento ao software e hardware clássico que pode ser desenhado por engenheiros de software e de hardware, o desenho de sistemas embebidos pode exigir o desenvolvimento de software dependente de hardware e de hardware dependente de software. Estes sistemas podem ter alguns requisitos extremamente exigentes, em termos de confiabilidade e segurança, verificação e validação, desempenho, limitações de consumo energético, dissipação de potência e interligação com outros sistemas (incluindo o “mundo real” através de sensores e atuadores). Por essa razão, os interfaces hardware-software necessitam de ser desenhados conjuntamente. Isto requer novos tipos de competências, que combinam o conhecimento de hardware com o de software.
Tópicos:
- Tecnologia em sistemas embebidos e de tempo-real
- Computação e comunicação em tempo-real
- Tecnologias de redes para sistemas embebidos
- Redes de sensores sem fios
- Confiabilidade e segurança em sistemas embebidos
- Autonomia e reconfiguração
- Desenho e métodos em sistemas embebidos e de tempo-real
- Desenho e implementação
- Metodologias de desenho e ferramentas
- Co-desenho hardware/software
- Sistemas críticos
- Processos de desenvolvimento
- Modelos de computação e métodos formais
- Verificação, validação e qualificação
- Componentes e plataformas em sistemas embebidos e de tempo-real
- Sistemas distribuídos
- Sistemas integrados e arquitecturas
- Núcleos, sistemas operativos e middleware
- Linguagens de programação e compiladores
- Algoritmos e controlo em sistemas embebidos e de tempo-real
- Gestão de recursos em tempo-real e escalonamento
- Controlo da qualidade de serviço
- Percepção e redução do consumo energético
- Estudos de caso em sistemas embebidos e de tempo-real
- Estudos de caso (automação industrial, domótica, robótica, veículos automóveis, aviação, aeroespacial, telecomunicações, …)
Comité do Programa
- Luis Lino Ferreira, CISTER-INESC-TEC (Cordenador)
- José Rufino, FCUL
- Luís Miguel Pinho, CISTER-IPP