25.12有什么新消息？
发行日期：2025年12月
用户体验
验证有限自动机的形式化方法
有限状态机在*Engee*现在支持 使用正式方法进行验证。 这有助于根据KT-178c（R-333），GOST R ISO26262，GOST R IEC61508等标准开发高可靠性系统。
形式化方法作为验证方法可以允许对形式化模型相对于指定属性的行为进行完整的研究。 在某些条件下，这允许您提供数学证明，证明在生命周期的这个阶段不存在某些类型的故障。 这使得可以全部或部分地满足标准的一些目标，从而降低开发和验证的成本。
形式化验证很好地补充了Engee中面向模型的方法：相同的模型可用于仿真，代码生成和行为验证。
外部Engee API的新授权方法
使用授权书 Engee外部API现已显着简化。 除了OAuth2授权（更适合将Engee与其他web应用程序集成）之外，您还可以使用个人访问令牌。 您可以写出一个授权令牌，并在您的个人帐户中管理它 通讯及保安:
现在从外部连接到*Engee*要容易得多。 例如:
curl -H 'Authorization: Bearer YOUR_TOKEN' -H 'Content-Type: application/json' -d '{"command": "3 + 5"}' https://engee.com/prod/user/LICENSE-USERNAME/external/command/eval结果:
{"result":"8"}
建模环境
GOOSE-TX和GOOSE-quality blocks
补充道 块 用于传输GOOSE消息的。 这些块扩展 电力行业数据传输协议库。 现在，就在模型中，您可以模拟GOOSE消息的传输及其质量属性，并使用 KPM节奏-将它们转移到真正的设备进行HIL测试。
GOOSE(Generic Object—Oriented Substation Event)协议用于在数字变电站的智能电子设备之间快速传输事件数据。 智能电子设备包括RPA终端、连接控制器、数字信号转换器等。 了解更多 文章.
软件控制：自动格式化模型
添加了使用软件控制自动格式化模型的功能，而无需访问建模环境的图形界面 — 恩吉。arrange_system(engee.gcs()). 现在，您可以完全自动化组装模型，包括其外观。
软件控制：用于接收连接的单元和端口的功能
扩展了用于接收连接块和端口的功能集。 有了这些新功能，你现在可以:
-
获取块端口:
src_ports = engee.get_ports("mymodel/mysystem/block_src") dst_ports = engee.get_ports("mymodel/mysystem/block_dst") -
连接块:
engee.add_line(src_ports.outputs[1], dst_ports.inputs[2]) engee.add_line(src_ports.outputs["main_out"], dst_ports.inputs["main_in"]) -
让线路从港口出来:
port_lines = engee.get_lines(src_ports.outputs[1]) -
获取连接到块的线:
all_block_lines = engee.get_lines("mymodel/mysystem/myblock") in_block_lines = engee.get_lines("mymodel/mysystem/myblock", IN) -
删除连接到块的所有行:
engee.delete_line.(engee.get_lines("mymodel/mysystem/myblock"))
