BT

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

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

Gravado em:

24 nov 2017

Olá visitante

Você precisa cadastrar-se no InfoQ Brasil ou para enviar comentários. Há muitas vantagens em se cadastrar.

Obtenha o máximo da experiência do InfoQ Brasil.

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

Comentários da comunidade

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

HTML é permitido: a,b,br,blockquote,i,li,pre,u,ul,p

BT

Seu cadastro no InfoQ está atualizado? Poderia rever suas informações?

Nota: se você alterar seu email, receberá uma mensagem de confirmação

Nome da empresa:
Cargo/papel na empresa:
Tamanho da empresa:
País:
Estado:
Você vai receber um email para validação do novo endereço. Esta janela pop-up fechará em instantes.