BT
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.

Sponsored Content

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.

Faça seu login para melhorar sua experiência com o InfoQ e ter acesso a funcionalidades exclusivas


Esqueci minha senha

Follow

Siga seus tópicos e editores favoritos

Acompanhe e seja notificados sobre as mais importantes novidades do mundo do desenvolvimento de software.

Like

Mais interação, mais personalização

Crie seu próprio feed de novidades escolhendo os tópicos e pessoas que você gostaria de acompanhar.

Notifications

Fique por dentro das novidades!

Configure as notificações e acompanhe as novidades relacionada a tópicos, conteúdos e pessoas de seu interesse

BT