时间敏感网络认证

为安全关键系统提供经过认证、AI优化的TSN网络

ASIL-D置信度级别的部署前网络验证

设计阶段从拓扑设计到形式化证明——CertiSen涵盖确定性以太网网络的完整生命周期。

形式化认证

指定TSN协议，证明TSN配置的正确性。

可视化网络设计

拖放式界面，用于构建带有交换机和终端站的TSN网络拓扑。

分析与验证

预认证分析

生态系统中的一块砖

CertiSen通过在TSN设计过程中添加形式化验证来补充现有工具。

AI优化

支持AI驱动的TSN配置生成，并由轻量级认证器支持形式化验证

多格式导出

导出为JSON、XML、YANG或YAML。

Loading editor...

联系我们

对CertiSen有疑问？我们很乐意听取您的意见。