What’s new in 25.12

Finite state machines in Engee now support verification using formal methods. This helps in the development of high-reliability systems according to standards such as KT-178C (R-333), GOST R ISO 26262, GOST R IEC 61508 and others.

Formal methods as a verification method can allow for a complete study of the behavior of a formal model with respect to specified properties. Under certain conditions, this allows you to provide mathematical proof that certain types of failures are not present at this stage of the lifecycle. This makes it possible to meet some of the objectives of the standard in whole or in part and thereby reduce the cost of development and verification.

Formal verification complements the model-oriented approach in Engee well: the same model can be used for simulation, code generation, and behavior verification.

Authorization for use the Engee external API has now been significantly simplified. In addition to OAuth2 authorization (which is better suited for integrating Engee with other web applications), you can use Personal Access Tokens. You can write out an authorization token and manage it in your personal account in the section Communications and Security:

It’s now much easier to connect to Engee from the outside. For example:

Result:

Added blocks for transmitting GOOSE messages. These blocks expand a library of data transmission protocols in the electric power industry. Now, right in the model, you can simulate the transmission of GOOSE messages and their quality attributes, and using KPM RHYTHM — transfer them to real devices for HIL testing.

The GOOSE (Generic Object — Oriented Substation Event) protocol is used to quickly transfer event data between intelligent electronic devices of a digital substation. Intelligent electronic devices include RPA terminals, connection controllers, digital signal converters, and others. Learn more in article.

Previously, special subsystems were available to add to the model by configuring a common block. Subsystem (Subsystem). Now we have added similar types of subsystems to the library, and you can add them much faster, including through a quick search.

Expanded software control support for physical modeling units. Now you can automate the process of creating and configuring models with blocks from the libraries of Electricity, Hydraulics, Mechanics, Gas and others, which make it easier to create system models in Engee.

Added a function for automatic formatting of models using software control without accessing the graphical interface of the modeling environment — engee.arrange_system(engee.gcs()). Now you can fully automate the assembly of models, including their appearance.

Expanded the set of functions for receiving connected blocks and ports. With the new features, you can now: