Navigation

apoios-header

 

Universidade do Porto

 

Cister - Research Center in Real-Time & Embedded Computing systems

 

CCTC -Computer Science and Technology Center

 

INESC Tecnologia e Ciência - INESC TEC
 

Sistemas Embebidos e de Tempo-Real

Workshop in Embedded, Critical & Real-Time Systems

Descrição do tópico e sua relevância

Um sistema embebido ou 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 combina com o conhecimento de hardware com o de software. A tí­tulo exemplificativo e não exaustivo, listam -se os tópicos de interesse desta sessão:

  • 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,...)

Relevância da sessão no contexto nacional

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 , EFACEC, EMPORDEF-TI, GMV Skysoft , PDM&FC;, NAV Portugal EPE, Nokia Siemens Networks, ...).

Aposta na participação da indústria

Nesta proposta para a organização do 6º Workshop em Sistemas Embebidos , Crí­ticos e de Tempo -Real pretende-se continuar a manter a ligação indústria instituí­da logo na primeira edição do evento e que tem vindo a ser progressivamente desenvolvida. Para além da respectiva Comissão de Programa já incluir um número significativo de representantes de empresas com actividade na área , pretende-se ir mais além e dinamizar a submissão de contribuições industriais por parte dos elementos das empresas, como forma de apresentação das suas iniciativas, projectos de investigação e desenvolvimento, ferramentas, produtos, etc.

Proponentes e Organizadores da Sessão

  • Luis Lino Ferreira, CISTER-INESC-TEC
  • José Rufino, FCUL
  • Luí­s Miguel Pinho, CISTER-IPP

Coordenador da Comissão de Programa

  • Luis Lino Ferreira, CISTER/INESC-TEC
  • Comissão de Programa

Academia

  • Carlos Almeida, IST Helder Silva, EDISOFT
  • João M. P. Cardoso, FEUP José Miguel Faria, Educed Lda.
  • João Cunha, ISEC Nelson Blanco, PDM&FC;
  • Joaquim Ferreira, UA Paulo Bartolomeu, Micro I/O
  • Jorge Sousa Pinto, UM Rodrigo Ferreira, ISA
  • José Metrôlho, EST-IPCB Nuno Silva, Critical Software, S.A.
  • José Rufino, FCUL José Neves GMV-Skysoft
  • Leonel Sousa, IST/INESC-ID
  • Luís Almeida, FEUP
  • Luis Lino Ferreira, CISTER/INESC-TEC
  • Luís Gomes, FCT-UNL
  • Luís Osório, ISEL
  • Lui­s Miguel Pinho, CISTER/INESC-TEC
  • 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.
  • José Neves GMV-Skysoft
  
Acções do Documento
Sections