Sistemas Embebidos e de Tempo-Real
Sistemas Embebidos e de Tempo-Real
Âmbito
Um sistema embebido, em Portugal por vezes também designado por sistema 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 combinam o conhecimento de hardware com o de software.
Tópicos
Convida-se a comunidade académica e profissional a submeter trabalhos originais relacionados com a temática desta sessão (lista não exclusiva):
- Tecnologia em sistemas embebidos e de tempo-real
- Tecnologia de redes de sistemas embebidos
- Redes de sensores sem fios
- Confiabilidade e segurança em sistemas embebidos
- Computação e comunicação em tempo-real
- Autonomia e reconfiguração
- Desenho e métodos em sistemas embebidos e de tempo-real
- Metodologias de desenho e ferramentas
- Desenho e implementação
- Co-desenho hardware/software
- Sistemas críticos
- Modelos de computação e métodos formais
- Processos de desenvolvimento
- 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
- Controlo da qualidade de serviço
- Gestão de recursos em tempo-real e escalonamento
- 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, ...)
Comissão de Programa
- Carlos Almeida – IST
- João Almeida – YOUMOVE LDA
- Luís Almeida – FEUP
- Sérgio Amado – EDISOFT, SA
- Paulo Bartolomeu – MICRO I/O
- Nelson Blanco – PDM&FC
- Mário Calha – FCUL
- João M. P. Cardoso – FEUP
- Luís Correia – EMPORDEF-TI
- João Cunha – ISEC
- Manuel Dias – NAV Portugal E.P.E.
- José Miguel Faria – Critical Software, SA
- João Fernandes – UM
- Joaquim Ferreira – ESTGA-UA
- José Fonseca – UA
- Luís Gomes – FCT-UNL/UNINOVA
- José Malaquias – ISA
- José Metrôlho – EST-IPCB
- Nelma Moreira – FCUP
- Luís Osório – ISEL
- Nuno Pereira – CISTER-IPP
- Luís Miguel Pinho – CISTER-IPP (Coordenador)
- Jorge Sousa Pinto – UM
- João Redol – Nokia Siemens Networks
- Mike Rennie – DEIMOS Engenharia, SA
- José Rufino – FCUL (Coordenador)
- Tobias Schoofs – GMV Portugal
- Adelino Silva – LINCIS
- Helder Silva – EDISOFT, SA
- Nuno Silva – Critical Software, SA
- Leonel Sousa – IST/INESC-ID
- Simão Sousa – UBI
Informações Adicionais
Informações adicionais sobre a sessão podem ser solicitadas para o e-mail: inforum-setr@di.fc.ul.pt