Navigation

apoios-header

 

Universidade da Beira Interior

 

INESC Tecnologia e Ciência - INESC TEC

 

Outsystems

 

Dimension Data

 

MaxData-Healthcare Solutions
 

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
  
Acções do Documento
organizacao-header

 

Universidade da Beira Interior

 

Faculdade de Ciências da Universidade do Porto

 

Instituto Superior Técnico

 

INESC Tecnologia e Ciência - INESC TEC

 

Inesc ID Lisboa

 

 
Sections