apoios-header

 

Maxdata

 

NKA

 

WEDO

 

F3M

 

 

Sistemas Embebidos e de Tempo-Real (SETR)


Motivação e Objetivos

Um sistema embebido ou embutido é um subsistema eletrónico dedicado que é utilizado numa vasta gama de aplicações em áreas como as comunicações, a robótica, o espaço ou os veículos autónomos não tripulados. Um sistema embebido pode conter toda a funcionalidade sob a forma de software executado em processadores ou sob a forma de hardware especializado. Em complemento ao software e hardware clássicos, que podem ser desenhados 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 têm frequentemente requisitos extremamente exigentes em termos de confiabilidade e segurança, verificação e validação, desempenho, resposta temporal, determinismo, consumo energético, dissipação de potência, e de interligação com outros sistemas, incluindo os sistemas físicos através de sensores e atuadores. Por essa razão, as interfaces hardware-software necessitam de ser desenhadas conjuntamente, requerendo novas 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 pós-graduado e concretizado por um número crescente de projetos desenvolvidos por empresas nacionais (e.g. Critical Software, Deimos Engenharia, EDISOFT, EFACEC, EMPORDEF-TI, GMV Skysoft, PDM&FC;, NAV Portugal EPE, Nokia, Siemens Networks, Bosch, Altran, ...).

Nesta proposta para a organização da sessão em Sistemas Embebidos e de Tempo-Real pretende-se 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 inclusão na Comissão de Programa de um número significativo de representantes de empresas com atividade 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, projetos de investigação e desenvolvimento, ferramentas, produtos, etc.

Edições anteriores

A sessão é organizada desde a primeira edição do INForum.

Tópicos de Interesse

  • 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 arquiteturas
    • 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
    • Perceção e redução do consumo energético
  • Sistemas Ciberfísicos e Internet das Coisas
    • Aquisição, processamento e transmissão de dados
    • Controlo e robótica
    • Aspetos de segurança e confiabilidade
    • Middleware e protocolos de comunicação
    • Processamento e análise de dados em tempo-real
  • Estudos de caso e aplicações
    • Estudos de caso: automação industrial, domótica, robótica, veículos automóveis, aviação, aeroespacial, telecomunicações, saúde, …
    • Aplicações: condução autónoma, monitorização ambiental, e Agricultura, ...

Coordenadores

António CasimiroFC - U. Lisboa / LASIGE
Luis Lino FerreiraISEP - I. P. Porto / CISTER
Paulo PedreirasU. Aveiro / IT

Comissão de Programa

Aleksandar IlicIST – U. Lisboa / INESC-ID
Carlos AlmeidaIST – U. Lisboa
Daniel SilveiraGMV
David PereiraISEP – I.P. Porto / CISTER
Helder SilvaEDISOFT, SA
João BispoFE – U. Porto
João CunhaISEC – I.P. Coimbra
Joaquim FerreiraESTGA - U. Aveiro / IT
Jorge PintoU. Minho / INESC-TEC
Luís AlmeidaFE – U. Porto/CISTER
Luís GomesU. Nova Lisboa / UNINOVA
Luis PinhoISEP – I.P. Porto / CISTER
Nelson BlancoPDMFC
Paulo BartolomeuU. Aveiro / IT
Tomé CostaCEiiA
Pedro FerreiraFC – U. Lisboa / LASIGE
Pedro FonsecaDETI – U. Aveiro / IT
organizacao-header

 

Universidade do Minho
 
Sections