Sistemas Embebidos e de Tempo-Real (SETR)

Motivação e Objectivos

Um sistema embebido, em Portugal por vezes também designado por sistema embutido, é um subsistema electrónico dedicado que é utilizado em diferentes aplicações como telemóveis, robôs, veículos terrestres ou sistemas aeroespaciais. O sistema embebido pode conter a funcionalidade completa do sistema de diferentes formas – através de software em execução em processadores ou em maquinaria especializada. 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. De forma a ir de encontro a 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” e.g. através de sensores e actuadores, estes 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
  • Tecnologia de redes de 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, …)

Comissão de Programa

• Carlos Almeida, Instituto Superior Técnico
• João Almeida, YOUMOVE Lda.
• Luís Almeida, Faculdade de Engenharia da Universidade do Porto
• Paulo Bartolomeu, Micro I/O Serviços de Electrónica, Lda.
• Nelson Blanco, PDM&FC
• Mário Calha, Faculdade de Ciências da Universidade de Lisboa
• João M. P. Cardoso, Faculdade de Engenharia da Universidade do Porto
• Luís Correia, EMPORDEF Tecnologias de Informação, S.A.
• João Cunha, Instituto Superior de Engenharia de Coimbra
• Manuel Dias, NAV Portugal E.P.E.
• José Miguel Faria, Critical Software, S.A.
• João M. Fernandes, Universidade do Minho
• Joaquim Ferreira, Universidade de Aveiro
• Luís Ferreira, Instituto Superior de Engenharia do Porto
• Rodrigo Ferreira, Intelligent Sensing Anywhere, S.A.
• José Fonseca, Universidade de Aveiro
• Luís Gomes, Universidade Nova de Lisboa
• Simão Melo de Sousa, Universidade da Beira Interior
• José Metrôlho, Instituto Politécnico de Castelo Branco
• Nelma Moreira, Faculdade de Ciências da Universidade do Porto
• Luís Osório, Instituto Superior de Engenharia de Lisboa
• Luís Miguel Pinho, Instituto Superior de Engenharia do Porto
• João Redol, Nokia Siemens Networks
• Mike Rennie, Deimos Engenharia, S.A.
• José Rufino, Faculdade de Ciências da Universidade de Lisboa
• Tobias Schoofs, GMV Portugal
• Adelino Silva, LINCIS
• Helder Silva, EDISOFT
• Nuno Silva, Critical Software, S.A.
• Leonel Sousa, Instituto Superior Técnico
• Jorge Sousa Pinto, Universidade do Minho (chair)