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 Casimiro | FC - U. Lisboa / LASIGE |
| Luis Lino Ferreira | ISEP - I. P. Porto / CISTER |
| Paulo Pedreiras | U. Aveiro / IT |
Comissão de Programa
| Aleksandar Ilic | IST – U. Lisboa / INESC-ID |
| Carlos Almeida | IST – U. Lisboa |
| Daniel Silveira | GMV |
| David Pereira | ISEP – I.P. Porto / CISTER |
| Helder Silva | EDISOFT, SA |
| João Bispo | FE – U. Porto |
| João Cunha | ISEC – I.P. Coimbra |
| Joaquim Ferreira | ESTGA - U. Aveiro / IT |
| Jorge Pinto | U. Minho / INESC-TEC |
| Luís Almeida | FE – U. Porto/CISTER |
| Luís Gomes | U. Nova Lisboa / UNINOVA |
| Luis Pinho | ISEP – I.P. Porto / CISTER |
| Nelson Blanco | PDMFC |
| Paulo Bartolomeu | U. Aveiro / IT |
| Tomé Costa | CEiiA |
| Pedro Ferreira | FC – U. Lisboa / LASIGE |
| Pedro Fonseca | DETI – U. Aveiro / IT |
