Las funciones de este dominio están relacionadas mayormente a aplicaciones con eventos discretos por lo que su diseño y validación dependen en máquinas de estado y modelos síncronos.