Guiado, computacionais, controladores lógicos programáveis, especificações, descrição
de sistemas, diagramas de blocos, fluxogramas, simulações, modelos de comportamento, testes de hardware e software, validação e verificação.