Sistemas Embebidos e de Tempo-Real

PDF

Motivação e Objetivos

Um sistema embebido ou embutido é um subsistema eletrónico dedicado que é utilizado numa crescente e 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 do sistema 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 podem ter alguns requisitos extremamente exigentes em termos de confiabilidade e segurança, verificação e validação, desempenho, 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, os 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.

Relevância da sessão no contexto nacional:

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 universitário pós-graduado e concretizado por um número crescente de projectos desenvolvidos por empresas nacionais (e.g. Critical Software, Deimos Engenharia, EDISOFT, EFACEC, EMPORDEF-TI, GMV Skysoft, PDM&FC;, NAV Portugal EPE, Nokia Siemens Networks,…).

Aposta na participação da indústria:

Nesta proposta para a organização do 8º Workshop 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 de um número significativo de representantes de empresas com actividade na área na Comissão de Programa, 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, projectos de investigação e desenvolvimento, ferramentas, produtos, etc.

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 arquitecturas
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
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, saúde, …)

Organização da sessão:

Pedro M. Ferreira, LaSIGE - FCUL
Luís Pinho, CISTER Research Centre/ISEP
José Rufino, LaSIGE - FCUL

Comité de Programa:

Aleksandar Ilic, INESC-ID/IST
Carlos Almeida, IST-U.Lisboa
Helder Silva, EDISOFT, SA.
João Cardoso, FEUP/Universidade do Porto and INESC TEC
João Cunha, ISEC-IPC
Joaquim Ferreira, Universidade de Aveiro
Jorge Pinto, Universidade do Minho & INESC-TEC
José Faria, Safe Perspective Ltd
José Neves, GMV
José Rufino, LaSIGE - FCUL
Luís Almeida, IT / FEUP
Luís Gomes, Universidade Nova Lisboa / UNINOVA
Luís Lino Ferreira, ISEP - IPP
Luís Pinho, CISTER Research Centre/ISEP
Nelson Blanco, PDMFC
Paulo Bartolomeu, Globaltronic, S.A.
Paulo Pedreiras, DETI/UA/IT
Pedro Ferreira, LaSIGE - FCUL