Palestra: Confiança em tempo real: aprendizados em software embarcado crítico

Sala:

Dia da semana:

3:45pm - 4:35pm

Apresentação em Português

Em software embarcado de alta criticidade, destacam-se indústrias como a aeronáutica, médica e nuclear – em que são exigidos métodos rigorosos de desenvolvimento para garantir segurança de vidas e de ambientes que podem ser impactados por problemas de software. Por outro lado, há a necessidade de executar aplicações cada vez mais complexas em plataformas com recursos computacionais limitados – o que exige equilíbrio entre facilidade de verificação e uso eficiente de hardware.

Nesta palestra, vamos explorar desafios típicos na busca por software embarcado eficiente, com base em experiências práticas em aplicações aeronáuticas críticas. Serão abordados tópicos como gestão de memória (escassa!), cálculo do tempo de execução no pior caso (WCET, uma das métricas exigidas em sistemas real-time). Vamos também discutir otimizações de compiladores, truques específicos para programas de software de controle e o uso da programação defensiva.

Tracks

Segunda-feira

Terça-feira

Quarta-feira