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