Início Apresentações Confiança em tempo real: aprendizados em software embarcado crítico
Confiança em tempo real: aprendizados em software embarcado crítico
53:31
Resumo
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, cálculo do tempo de execução no pior caso. Vamos discutir otimizações de compiladores, truques específicos para programas de software de controle e o uso da programação defensiva.
Minibiografia
Doutor em Informática pelo Instituto Nacional Politécnico de Toulouse na França, Ricardo trabalha há oito anos com desenvolvimento e verificação de software embarcado para aeronaves. Atua como desenvolvedor de software de comando de voo na Embraer. Em suas explorações como pesquisador freelancer, estuda o uso de métodos formais na especificação e verificação de software crítico.
Sobre o Evento
Entre 24 e 26 de abril, São Paulo recebeu a décima edição brasileira do QCon. Organizado pelo InfoQ Brasil e com palestras selecionadas por um comitê independente, esta edição contou com 3 keynotes, 81 palestras e 93 palestrantes, sendo 19 internacionais. Esse foi o QCon mais internacional do Brasil, o que levou o QCon São Paulo ao patamar dos maiores QCons mundiais.
24 nov 2017