启明星辰获得发明专利授权：“一种工业控制系统中形式化验证方法和系统”

证券之星消息，根据天眼查APP数据显示启明星辰（002439）新获得一项发明专利授权，专利名为“一种工业控制系统中形式化验证方法和系统”，专利申请号为CN202610114063.2，授权日为2026年4月21日。

专利摘要：一种工业控制系统中形式化验证方法和系统，所述方法包括：确定工业控制系统中当前报文中的操作对象对应的目标业务实体；从验证规则库中获取目标业务实体对应的至少一条目标规则；基于每条目标规则对当前报文中的操作数值执行逻辑验证操作；若逻辑验证操作的判定结果表明违反目标规则，则触发安全响应动作；其中，逻辑验证操作的执行过程包括：生成当前报文中操作数值对应的瞬时原子命题真值；以及，从系统状态缓存中获取目标规则中其他原子命题的真值，得到历史原子命题真值；组合瞬时原子命题真值与历史原子命题真值，得到当前报文的原子命题真值向量；获取原子命题真值向量对应的判定结果，防御那些利用合法指令但违反工艺流程的逻辑攻击。

今年以来启明星辰新获得专利授权4个，较去年同期增加了300%。结合公司2025年年报财务数据，2025年公司在研发方面投入了7.41亿元，同比减12.97%。

通过天眼查大数据分析，启明星辰信息技术集团股份有限公司共对外投资了9家企业，参与招投标项目169次；财产线索方面有商标信息277条，专利信息334条，著作权信息88条；此外企业还拥有行政许可9个。

数据来源：天眼查APP

以上内容为证券之星据公开信息整理，由AI算法生成（网信算备310104345710301240019号），不构成投资建议。