Capítulo 49 — Tese de engenharia

Capítulo 49 — Tese de engenharia

Mapa da aula

Aula 49 publicada. Mapa, exemplo, EX145.

flowchart TD
  N0["49.1 Estrutura da tese"]
  N1["49.2 Evidências e raciocínio"]
  N2["Síntese"]
  N0 --> N1 --> N2
  N2 --> EX["Exemplo resolvido"]
  EX --> Q["Exercício EX145"]

Desenho lógico

flowchart LR
  N0["49.1 Estrutura da tese"]
  N1["49.2 Evidências e raciocínio"]
  N2["Síntese"]
  N0 --> N1 --> N2 --> Q["EX145"]

[49.1 Estrutura da tese]
    |
    v
[49.2 Evidências e raciocínio]
    |
    v
[Síntese]
    |
    v
[Exemplo resolvido] --> [Exercício EX145]

Objetivos de aprendizagem

Você vai (1) escrever uma tese de engenharia sobre o serviço de confiança; (2) apresentar o raciocínio de projeto e as evidências; (3) declarar as contribuições e as limitações.

49.1 Estrutura da tese

A tese de Aiyana apresenta o projeto e a avaliação do serviço de confiança da medição da Ridgeway, com foco no seu pipeline de revogação e no plano de migração pós-quântica. Os capítulos cobrem o problema e os requisitos, as normas relacionadas, a arquitetura e as alternativas, a implementação, a verificação e a validação, as operações e as conclusões. Cada decisão de projeto cita seu requisito e suas evidências. A tese não é um diário do projeto; é um argumento de que o projeto atende aos seus requisitos sob premissas declaradas. Ela usa o dossiê de evidências como espinha dorsal, para que cada afirmação da tese aponte para um artefato existente.

49.2 Evidências e raciocínio

A tese relata os resultados medidos: revogação chegando a todos os verificadores numa mediana de quatro segundos; testes independentes sem leituras forjadas; alcance do firmware de 97 por cento no piloto; e recuperação em trinta e uma horas no ensaio. Ela explica por que as alternativas foram rejeitadas, como as leituras com chave pública que excediam o orçamento das mensagens. Aiyana inclui os programas dos laboratórios como apêndices, todos usando apenas a biblioteca padrão sobre dados sintéticos, e declara claramente que os sistemas de produção usam bibliotecas criptográficas avaliadas e HSMs. Cada número cita o teste ou o log que o produziu.

49.3 Contribuições e limites

Ela declara as contribuições: um projeto de pipeline de revogação com mensagens autenticadas e reconciliação, uma abordagem medida da migração pós-quântica para medidores de vida longa e um conjunto de métricas operacionais ligado às etapas do ciclo de vida do SP 800-57. Os limites incluem uma única companhia, um piloto em vez de uma implantação completa e a dependência de implementações de fornecedores que ela não pôde inspecionar. Ela sugere trabalhos futuros sobre o desempenho das assinaturas híbridas nas diferentes gerações de medidores. Limites claros tornam as contribuições mais críveis. Seu orientador lê primeiro a seção de limites, como os examinadores costumam fazer, e pede que ela torne cada limite específico sobre quem poderia ver resultados diferentes.

Exemplo resolvido

A tese de Aiyana argumenta que o serviço de confiança atende aos seus requisitos, relata os resultados medidos, explica as alternativas rejeitadas e declara três contribuições com seus limites.

Caso sintético. Os resultados são inventados; o SP 800-57 é real.

Erros e limites

Teses que listam atividades em vez de argumentar afirmações são fracas. Afirmar mais do que as evidências sustentam convida à reprovação.

Exercícios

• EX145 — Natureza da tese. O que é a tese, segundo o capítulo? Rubrica: 3 = um argumento de que o projeto atende aos requisitos sob premissas declaradas, não um diário;; 2 = argumento;; 1 = diário;; 0 = nenhuma.

• EX146 — Declaração sobre os apêndices de laboratório. O que a tese diz sobre os programas dos laboratórios? Rubrica: 3 = só biblioteca padrão sobre dados sintéticos; a produção usa bibliotecas avaliadas e HSMs;; 2 = biblioteca padrão;; 1 = código de produção;; 0 = nenhuma.

• EX147 — Limites da tese. Cite dois limites que Aiyana declara. Rubrica: 3 = dois entre uma única companhia, piloto e não implantação completa, implementações de fornecedores não inspecionadas;; 2 = um;; 1 = vago;; 0 = nenhuma.

Síntese

Uma tese de engenharia é um argumento fundamentado e sustentado por evidências, com contribuições claras e limites honestos.

Continue estudando — aula 49 (capítulo 49 de 50)

← Capítulo 48 · Índice das aulas · Capítulo 50 →

Continue para a próxima aula já escrita.