Что нового в 25.12

Конечные автоматы в Engee теперь поддерживают верификацию при помощи формальных методов. Это помогает в процессах разработки систем повышенной надежности по таким стандартам, как КТ-178С (Р-333), ГОСТ Р ИСО 26262, ГОСТ Р МЭК 61508 и другим.

Формальные методы как способ верификации могут позволить провести полное исследование поведения формальной модели в отношении заданных свойств. При некоторых условиях это позволяет предоставить математическое доказательство того, что определенные виды отказов не присутствуют на этом этапе жизненного цикла. Это позволяет удовлетворить некоторые цели стандарта полностью или частично и тем самым сократить затраты на разработку и верификацию.

Формальная верификация хорошо дополняет модельно-ориентированный подход в Engee: одна и та же модель может быть использована для симуляции, генерации кода и проверки свойств поведения.

Авторизация для использования внешнего API Engee теперь существенно упростилась. Кроме OAuth2 авторизации (которая лучше подходит для интеграции Engee с другими веб-приложениями) можно воспользоваться Personal Access Tokens. Выписать токен авторизации и управлять им можно в личном кабинете в разделе Связь и безопасность:

Теперь гораздо проще подключиться к Engee снаружи. Например:

Результат:

Добавлены блоки для передачи GOOSE-сообщений. Данные блоки расширяют библиотеку протоколов передачи данных в электроэнергетике. Теперь прямо в модели вы можете имитировать передачу GOOSE-сообщений и их атрибутов качества, а с помощью КПМ РИТМ — передавать их на реальные устройства для HIL-тестирования.

Протокол GOOSE (Generic Object — Oriented Substation Event) используется для быстрой передачи данных о событиях между интеллектуальными электронными устройствами цифровой подстанции. Под интеллектуальными электронными устройствами понимаются терминалы РЗА, контроллеры присоединений, преобразователи дискретных сигналов и другие. Подробнее в статье.

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

Расширили поддержку программного управления для блоков физического моделирования. Теперь вы можете автоматизировать процесс создания и настройки моделей и с блоками из библиотек Электричества, Гидравлики, Механики, Газа и других, которые так облегчают создание системных моделей в Engee.

Добавили функцию для автоматического форматирования моделей с помощью программного управления без обращения к графическому интерфейсу среды моделирования — engee.arrange_system(engee.gcs()). Теперь вы можете полностью автоматизировать сборку моделей, включая их внешний вид.

Расширили набор функций для получения подключенных блоков и портов. С помощью новых функций вы теперь можете: