Os avanços nos tópicos de sistemas embebidos, potenciados pelas diversas tecnologias de comunicação digitais têm vindo a dar origem a uma nova geração de sistemas, caracterizados pela sua próxima interação com o ambiente físico e os humanos – os sistemas ciber-físicos. Estes sistemas, têm frequentemente, por estas razões, 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 e ambientes através de sensores e atuadores. Por essa razão, as interfaces hardware-software necessitam de ser projetadas considerando a sua interdependência, nas dimensões dos sistemas embebidos, comunicações e controlo, impondo novas competências que combinam o conhecimento de hardware com o de software.
Esta geração de sistemas ciber-físicos, componente fundamental no paradigma da Indústria 4.0, são utilizados 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. Em particular, é de salientar a cada vez maior dependência de comunicações sem fios, como da “IoT – Internet of Things”, para suportar serviços que se querem cada vez mais ubíquos, potenciando a cooperação entre diversos sistemas ciber-físicos, originando sistemas de sistemas (SoS) de maior complexidade – sistemas ciberfísicos cooperantes como formações de veículos terrestres e aéreos.
Este tipo de sistemas têm sido explorados no contexto nacional por diferentes grupos de investigação, 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, Capgemini).
Nesta sessão em Sistemas Ciber-Físicos Confiáveis e Applicações, pretende-se manter a ligação à indústria, instituída logo na primeira edição da sessão original (SETR – Sistemas Embebidos e de Tempo Real) e que tem vindo a ser progressivamente atualizada, inclusivamente no seu âmbito, abraçando aplicações de sistemas ciber-físicos mais genéricas, tocando as áreas de IoT, robótica e Indústria 4.0.
Tópicos de Interesse
- Tecnologias de suporte a sistemas ciber-físicos
- Computação e comunicação em tempo-real
- Tecnologias de redes para sistemas embebidos
- Redes de sensores sem fios
- Autonomia e reconfiguração
- Confiabilidade e segurança em sistemas embebidos
- Desenho e métodos em sistemas ciber-físicos
- 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 ciber-físicos
- Sistemas distribuídos
- Sistemas integrados e arquiteturas
- Núcleos, sistemas operativos e middleware
- Linguagens de programação e compiladores
- Algoritmos e controlo em sistemas ciber-fĩsicos
- 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 na Internet das Coisas e Indústria 4.0
- 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 nuvem para 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, e Agricultura
Comissão Técnica
- José Cecílio (LASIGE/FCUL) — Chair
- Luís Pinto (LASIGE/FCUL) — Chair
- Aleksandar Ilic (INESC-ID/IST)
- Carlos Almeida (IST-U.Lisboa)
- David Pereira (CISTER/ISEP – IPP)
- Filipe Cabral Pinto (Altice Labs)
- João Bispo (FEUP/INESC TEC)
- João Carlos Ferreira (ISCTE-IUL / Inov)
- João Cunha, ISEC (IPCoimbra / CISUC)
- Joaquim Ferreira (IT/ESTGA-UAveiro)
- Jorge Pinto (HASLab/INESC TEC/U.Minho)
- José Cecílio (LASIGE/FCUL)
- Luís Gomes (UNINOVA-CTS/UNLisboa)
- Luis Moutinho (IT/ESTGA-UAveiro)
- Luís Pinto (LASIGE/FCUL)
- Nelson Blanco (PDMFC)
- Nuno Macedo (INESC TEC / Universidade do Porto)
- Paulo Bartolomeu (IT/DETI-UAveiro)
- Paulo Pedreiras (IT/DETI-UAveiro)
- Pedro Ferreira (LASIGE/FCUL)
- Sandro Pinto (UMinho)
- Maria Clara Silveira (IPG)