Sessões Paralelas

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 nocontexto 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 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

Para este painel são aceites os artigos com contribuição original em todos os tópicos relacionados com sistemas embebidos e de tempo real, nomeadamente trabalhos que se enquadrem nas seguintes áreas:

  • Tecnologia em sistemas embebidos e de tempo-real
    • Computação e comunicação em tempo-real
    • Tecnologias de redes para sistemas embebidoso
    • 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
    • Tecnologias de transmissão de dados: 5G, NB-IOT, LoRa, ...
    • 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
    • Aplicações e computação na nuvempara a Internet das Coisas
  • 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, agricultura, ...
Organizadores

José Cecílio             jmcecilio@fc.ul.pt      LaSIGE Faculdade de Ciências — Universidade de Lisboa
Paulo Pedreiras     pbrp@ua.pt                   Instituto de Telecomunicações Universidade de Aveiro
Ricardo Severino  sev@portic.ipp.pt       PORTIC,  IPP
Luís Lino Ferreira                                              Instituto Superior de Engenharia do Porto — IPP

 

Comissão de Programa

Aleksandar Ilic, INESC-ID Instituto Superior Técnico — Universidade de Lisboa
António Casimiro, LaSIGE Faculdade de Ciências — Universidade de Lisboa
Carlos Almeida, Instituto Superior Técnico — Universidade de Lisboa
David Pereira, Instituto Superior de Engenharia do Porto — IPP
Jorge Pinto, HASLab/INESC TEC — Universidade do Minho
José Cecílio, LaSIGE Faculdade de Ciências — Universidade de Lisboa
João Bispo, INESC-TEC Faculdade de Engenharia — Universidade do Porto
João Cunha, CISUC Instituto Superior de Engenharia de Coimbra — IPC
Luis Silva, Instituto de Telecomunicações, ESTGA  — Universidade de Aveiro
Lurien Klein, Virtual Power Solutions
Luís Almeida, CISTER Faculdade de Engenharia — Universidade do Porto
Luís Gomes, UNINOVA, Faculdade de Ciências e Tecnologia — Universidade NOVA Lisboa
Nelson Blanco, PDMFC
Nuno Macedo, INESC-TEC Faculdade de Engenharia — Universidade do Porto
Paulo Bartolomeu, Instituto de Telecomunicações, DETI  — Universidade de Aveiro
Paulo Pedreiras, Instituto de Telecomunicações, DETI  — Universidade de Aveiro
Pedro Ferreira, LaSIGE Faculdade de Ciências — Universidade de Lisboa
Pedro Fonseca, Instituto de Telecomunicações — Universidade de Aveiro
Ricardo Severino, PORTIC —  IPP
Sandro Pinto, Centro ALGORITMI — Universidade do Minho