Capítulo 44 — Projeto final de engenharia I
Mapa da aula
Aula 44 publicada. Mapa, exemplo, EX130.
flowchart TD
N0["44.1 Escopo do projeto final"]
N1["44.2 Requisitos"]
N2["44.3 Riscos"]
N3["44.4 Plano de verificação"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4
N4 --> EX["Exemplo resolvido"]
EX --> Q["Exercício EX130"]
Desenho lógico
flowchart LR
N0["44.1 Escopo do projeto final"]
N1["44.2 Requisitos"]
N2["44.3 Riscos"]
N3["44.4 Plano de verificação"]
N4["Síntese"]
N0 --> N1 --> N2 --> N3 --> N4 --> Q["EX130"]
[44.1 Escopo do projeto final]
|
v
[44.2 Requisitos]
|
v
[44.3 Riscos]
|
v
[44.4 Plano de verificação]
|
v
[Síntese]
|
v
[Exemplo resolvido] --> [Exercício EX130]
Objetivos de aprendizagem
Você vai (1) delimitar um projeto final de engenharia em privacidade; (2) definir requisitos e critérios de aceitação; (3) planejar os riscos e a verificação.
44.1 Escopo do projeto final
O projeto final de Zara é projetar e construir para a Pellmore um serviço de dados de pesquisa que preserve a privacidade. Os pesquisadores devem conseguir analisar os desfechos das consultas sem receber registros identificáveis. O serviço precisa apoiar estudos aprovados, impor limites de finalidade e de prazo e publicar apenas saídas seguras. Ela limita o escopo a um único tipo de análise, contagens e taxas de desfechos por condição e por região, para que o projeto possa ser concluído e verificado de forma adequada dentro do ano, em vez de se espalhar de forma rasa por muitas funcionalidades. O escopo estreito permite uma verificação profunda.
44.2 Requisitos
Zara escreve os requisitos: as análises rodam dentro do serviço, nunca sobre registros exportados; cada estudo tem um protocolo aprovado com data de expiração; as saídas passam por verificações automáticas de contagens pequenas e são liberadas com privacidade diferencial quando forem publicadas; toda consulta é registrada; e os pacientes que recusaram a pesquisa são excluídos. Ela rastreia cada requisito até as disposições do GDPR sobre as garantias para pesquisa no artigo 89 e até as disposições da LGPD sobre os órgãos de pesquisa, como o art. 13, registrando quais requisitos são deveres legais e quais são escolhas de projeto.
44.3 Riscos
Zara lista os riscos do projeto final: pesquisadores combinando saídas para reconstruir pessoas, bugs de implementação na geração de ruído, listas de recusa não sincronizadas e crescimento do escopo por pesquisadores que querem acesso no nível do registro. Para cada um ela define controles e testes. Para a reconstrução, usa por estudo o orçamento de publicação do Capítulo 36. Para as recusas, reutiliza o serviço de consentimento. Também lista os riscos do projeto, como atrasos na aprovação, e reserva tempo de folga, porque um projeto final atrasado tende a cortar primeiro a verificação. O risco de aprovação é mitigado reservando cedo o comitê de ética.
44.4 Plano de verificação
Zara planeja a verificação antes de construir. Os testes vão conferir que nenhuma consulta devolve registros, que as contagens pequenas são bloqueadas, que os limites de orçamento barram consultas em excesso, que as recusas são excluídas e que estudos expirados não podem rodar. Um colega independente vai tentar ataques de reconstrução. Ela fixa critérios de aceitação: todos os testes passam e o ataque não recupera os dados de nenhuma pessoa. O Prof. Holm aprova o plano, observando que definir a verificação primeiro é a melhor proteção contra um projeto final que funciona em demonstrações, mas falha no uso real. Os casos de teste vêm antes do código.
Exemplo resolvido
Zara delimita um serviço de dados de pesquisa para contagens de desfechos, escreve requisitos rastreados até o artigo 89 do GDPR e a LGPD, lista os riscos técnicos e de projeto e planeja a verificação com critérios de aceitação.
Caso sintético. O serviço é sintético; o artigo 89 do GDPR e a LGPD são reais.
Erros e limites
O escopo estreito limita a utilidade; planeje extensões depois da verificação.
Exercícios
- EX130 — Limite do projeto final. Por que limitar o projeto final a contagens e taxas de desfechos? Rubrica: 3 = para concluir e verificar adequadamente dentro do ano;; 2 = menciona tempo;; 1 = escopo amplo;; 0 = nenhuma.
- EX131 — Controle da reconstrução. Como o projeto limita os ataques de reconstrução? Rubrica: 3 = um orçamento de privacidade diferencial por estudo;; 2 = menciona ruído;; 1 = vago;; 0 = nenhuma.
- EX132 — Verificação primeiro. Por que planejar a verificação antes de construir? Rubrica: 3 = evita um sistema que só funciona em demonstrações;; 2 = menciona qualidade;; 1 = depois;; 0 = nenhuma.
Síntese
O capítulo 44 planeja o projeto final. O capítulo 45 realiza uma revisão de desenho independente.
Continue estudando — aula 44 (capítulo 44 de 50)
← Capítulo 43 · Índice das aulas · Capítulo 45 →
Continue para a próxima aula já escrita.