Проектирование программного обеспечения современных систем безопасности требует применения средств автоматизированного проектирования (САПР), позволяющих упростить и ускорить процесс разработки ПО, обеспечивая при этом высокий уровень качества готовых программных продуктов.