KernelSeq

KernelSeq 是一个面向边缘设备、工业控制与智能系统的 Temporal Runtime,用于执行、追踪、验证和回放时间逻辑。

为什么选择 KernelSeq?

让复杂系统变得可解释

KernelSeq 让复杂系统的行为可解释。KernelSeq让工程师知道:系统为什么做出这个决策。

让故障能够重现

KernelSeq 让故障能够被重现。很多时候找到问题比解决问题更难,KernelSeq让偶发故障能够被完整回放。

让系统行为可验证

KernelSeq 让系统行为可验证。KernelSeq的目的不是相信系统,而是去证明系统,确保系统升级后仍然按预期运行。

产品

KernelSeq 是一个产品家族。

KernelSeq Runtime™
在设备和系统中执行时间逻辑
OEM厂商
KernelSeq SDK™
让用户把自己的系统接进 Runtime。
开发者
KernelSeq Studio™
时间调试IDE,让工程师团队可快速地调试与分析
工程师团队

典型应用场景

KernelSeq 最适合处理:时间逻辑复杂系统

工业设备故障分析

事件驱动状态变化时间约束规则决策
KernelSeq可快速定位故障,让故障重现并直接回放。

储能系统 EMS / BMS

为什么跳闸为什么切断为什么保护
储能逻辑:状态→规则→时间,和 KernelSeq 完全一致。

充电桩

没拔充电头充电中断
KernelSeq记录:枪温过高→持续60秒→进入保护状态→停止充电,形成完整证据链。

技术亮点

事件序列 & 状态机

实时处理事件流,维护实体状态

多部署模式

SDK嵌入、Sidecar、Edge、Cloud

高扩展性

百万级实体状态机管理,分布式支持

DSL规则

自然语言风格,条件、时间约束、序列事件支持

开源 KernelSeq Core

免费开源,快速上手。提供 Python SDK + DSL模板 + 示例工程。构建事件状态机社区,贡献规则模板、插件、Edge适配。

Star 1.2k Fork 248
前往 GitHub
GitHub 社区 · 贡献者

客户案例 / 首批落地

物流车队

实时超速/疲劳驾驶检测,告警响应时间缩短50%

KernelSeq 帮助工程师快速理解系统行为,降低开发与运维成本。

公交管理平台

电子围栏与行程异常报警,准确率99.5%

KernelSeq 帮助工程师快速理解系统行为,降低开发与运维成本。

工业IoT

边缘状态机实现带宽优化与实时报警,带宽降低60%

KernelSeq 帮助工程师快速理解系统行为,降低开发与运维成本。

企业商业版 KernelSeq

企业 Cloud Runtime + Edge Runtime,高性能分布式管理百万实体状态机,图形化编辑器 + 实时事件监控 + Debug工具。

联系销售 了解企业方案
Cloud/Edge 架构图 · 可视化Debug