Navigation

apoios-header

 

FCT.png

 

cisuc.jpg

 

citi.jpg

 

ieeta.jpg

 

lasige.jpg

 

cctc-logo

 

 

acordodia.jpg

 

eurotux.jpg

 

feedzai.jpg

 

Núcleo de Estudantes de Informática

 

 

Sistemas Embebidos e de Tempo-Real

Sistemas Embebidos e de Tempo-Real

Âmbito

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

Convida-se a comunidade académica e profissional a submeter trabalhos originais relacionados com a temática desta sessão (lista não exclusiva):

  • Tecnologia em sistemas embebidos e de tempo-real
    • Tecnologia de redes de sistemas embebidos
    • Redes de sensores sem fios
    • Confiabilidade e segurança em sistemas embebidos
    • Computação e comunicação em tempo-real
    • Autonomia e reconfiguração
  • Desenho e métodos em sistemas embebidos e de tempo-real
    • Metodologias de desenho e ferramentas
    • Desenho e implementação
    • Co-desenho hardware/software
  • Sistemas críticos
    • Modelos de computação e métodos formais
    • Processos de desenvolvimento
    • 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
    • Controlo da qualidade de serviço
    • Gestão de recursos em tempo-real e escalonamento
    • 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 – IST
  • João Almeida – YOUMOVE LDA
  • Luís Almeida – FEUP
  • Sérgio Amado – EDISOFT, SA
  • Paulo Bartolomeu – MICRO I/O
  • Nelson Blanco – PDM&FC
  • Mário Calha – FCUL
  • João M. P. Cardoso – FEUP
  • Luís Correia – EMPORDEF-TI
  • João Cunha – ISEC
  • Manuel Dias – NAV Portugal E.P.E.
  • José Miguel Faria – Critical Software, SA
  • João Fernandes – UM
  • Joaquim Ferreira – ESTGA-UA
  • José Fonseca – UA
  • Luís Gomes – FCT-UNL/UNINOVA
  • José Malaquias – ISA
  • José Metrôlho – EST-IPCB
  • Nelma Moreira – FCUP
  • Luís Osório – ISEL
  • Nuno Pereira – CISTER-IPP
  • Luís Miguel Pinho – CISTER-IPP (Coordenador)
  • Jorge Sousa Pinto – UM
  • João Redol – Nokia Siemens Networks
  • Mike Rennie – DEIMOS Engenharia, SA
  • José Rufino – FCUL (Coordenador)
  • Tobias Schoofs – GMV Portugal
  • Adelino Silva – LINCIS
  • Helder Silva – EDISOFT, SA
  • Nuno Silva – Critical Software, SA
  • Leonel Sousa – IST/INESC-ID
  • Simão Sousa – UBI

Informações Adicionais

Informações adicionais sobre a sessão podem ser solicitadas para o e-mail: inforum-setr@di.fc.ul.pt

  
Acções do Documento
« Junho 2017 »
Junho
Do
1234
567891011
12131415161718
19202122232425
2627282930
 
Sections