No dia 5 de julho, às 18h00, vai realizar-se a palestra «a importância e necessidade da formação de especialistas em sistemas computacionais críticos para enfrentar os desafios tecnológicos atuais e emergentes».
O Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do ISEP dedica-se à investigação e desenvolvimento de projetos neste domínio com forte ligação ao setor empresarial.
Neste âmbito, existe uma grande necessidade de especialistas nesta área e, simultaneamente, um défice de oferta formativa. O Mestrado em Engenharia de Sistemas Computacionais Críticos do ISEP visa colmatar esta necessidade através da formação de engenheiros especializados nestes sistemas.
Assim, esta sessão do QTDEI pretende evidenciar a importância e pertinência deste tema desta-cando a necessidade e urgência de alternativas de formação no domínio dos sistemas computacio-nais críticos.
Enquadramento
Os sistemas computacionais críticos têm um papel cada vez mais preponderante e presente no mundo tecnológico e inteligente que nos rodeia. Assistimos a uma evolução contínua, por parte da ciência e indústria, no sentido de quebrar barreiras e limites impostos pelos sistemas atuais. Estes sistemas têm vindo a ser integrados nos mais variados ambientes, desde a integração de vários sensores ligados em rede para monitorização ambiental em tempo-real; passando pela fusão de dados requerida pelos veículos autónomos, quer por via terrestre ou via área (por exemplo na utilização de drones para os mais variados fins); incorporação e integração transparente nos pro-cessos das indústrias da saúde e manufatura; entre outros.
Palestrante
David Pereira
- Investigador Auxiliar no ISEP, onde realiza atividades de investigação e de gestão de Ciência e Tecnologia na unidade de investigação CISTER.
- Licenciado e Mestre em Ciência de Computadores, conferidos pela Faculdade de Ciências da Universidade do Porto.
- Desde abril de 2013, Doutorado em Ciência de Computadores, grau conferido pelo programa doutoral MAP-i, promovido pelas Universidades do Minho, Aveiro e Porto.
- A sua área de investigação é a verificação formal de software, tendo as suas atividades particular ênfase na verificação dedutiva de código e a verificação, em tempo de execução, de componentes de software de sistemas computacionais críticos, particularmente no que toca a garantir que estes componentes produzem resultados funcionalmente corretos mas que simultaneamente respeitam outras propriedades não-funcionais como, por exemplo, a satisfação de metas temporais ou um determinado consumo máximo de energia.
Organização
A iniciativa é organizada pelo QTDEI, em colaboração com o Centro de Investigação em Sistemas Computacionais Embebidos e de Tempo-Real (CISTER) do ISEP.
Como participar no evento?
A sessão realiza-se em formato online, através da plataforma Zoom.
Aceda à ligação do Zoom e utilize os dados de acesso:
ID da reunião: 871 6173 1558
Senha de acesso: 595559
Mais informações: qtdei@dei.isep.ipp.pt