Navigation

apoios-header

 

Universidade de Évora

 

haslab

 

citi.jpg

 

lasige.jpg

 

Outsystems

 

Cortex

 

Centria

 

DigitalWorks

 

 

Sistemas Embebidos e de Tempo-Real

Sistemas Embebidos e de Tempo-Real

Motivação e Objetivos

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.

Este tipo de sistemas tem sido explorado no contexto nacional por diferentes grupos de investigação universitária, dinamizado num leque abrangente de disciplinas ao nível do ensino universitário pós-graduado e concretizado por um número crescente de projectos desenvolvidos por empresas nacionais (e.g. Critical Software, Deimos Engenharia, EDISOFT, EMPORDEF-TI, GMV Skysoft, PDM&FC, NAV Portugal EPE, Nokia Siemens Networks,…).

Tópicos de interesse

A título exemplificativo e não exaustivo:

  • 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

  • Jorge Sousa Pinto, HASLab/U. Minho, (coordenador)
  • Academia
    • Carlos Almeida, IST
    • João M. P. Cardoso, FEUP
    • João Cunha, ISEC
    • Joaquim Ferreira, UA
    • José Metrôlho, EST-IPCB
    • José Rufino, FCUL
    • Leonel Sousa, IST/INESC-ID
    • Luís Almeida, FEUP
    • Luís Ferreira, CISTER-IPP
    • Luís Gomes, FCT-UNL
    • Luís Osório, ISEL
    • Luís Miguel Pinho, CISTER-IPP
    • Mário Calha, FCUL
    • Nelma Moreira, FCUP
    • Ricardo Machado, UM
    • Paulo Pedreiras, UA
  • Indústria
    • Helder Silva, EDISOFT
    • José Miguel Faria, Educed Lda.
    • Nelson Blanco, PDM&FC
    • Paulo Bartolomeu, Micro I/O
    • Rodrigo Ferreira, ISA
    • Nuno Silva, Critical Software, S.A.
  
Acções do Documento
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930
 
Sections