O Engenheiro precisa escolher um modelo para um projeto de desenvolvimento de uma biblioteca de criptografia de baixo nível para urnas eletrônicas. Os requisitos são estáveis, bem definidos, e a segurança crítica exige verificação e validação extensivas em cada fase.
O modelo de desenvolvimento mais adequado, por minimizar o risco de falhas de segurança tardias, é o de