BT

Experimente a nova interface visual do InfoQ! Veja o novo design do InfoQ 3.0 e nos diga o que você achou.

NOVIDADE: QCon São Paulo 2019, de 06 a 09 de Maio. Não perca! Em tela cheia
Fechar tela cheia

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

| por Ricardo Bedin Seguir 0 Seguidores em 24 nov 2017 |
  • Mostrar apresentação
  •  
  •  
  •  
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.

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.

BT