发明专利已授权

一种嵌入式软件SysML模型状态空间约简方法

📄 申请号：CN202010206248.9 📄 发布日：2026/08/04

著录项目信息

申请日

2020-03-23

公开号

CN111597103A

公开日

2020-08-28

申请人

浙江工业大学

法律状态

已下证

专利类型

发明

主分类号

G06F11_36

IPC 分类号

G06F11_36 , G06F8_35 ,

技术画像

所属领域

嵌入式软件软件建模模型检测状态空间约简嵌入式软件

应用场景

嵌入式软件开发, 软件验证与确认, 安全关键系统, 航空航天软件, 汽车电子系统

AI 智能推荐 · 同申请人专利 · 搜索相似专利

摘要

一种嵌入式软件SysML模型状态空间约简方法，包括以下步骤：步骤1000，获取嵌入式软件的SysML状态图模型SDM＝(S,S0,R,T,P)；步骤2000，将嵌入式软件的SysML状态图模型SDM转换为用二维数组表示的邻接矩阵A；步骤3000，进行基于邻接矩阵状态空间约简，得到约简后的邻接矩阵A'；步骤4000，将约简后的邻接矩阵A'，转换为新SysML状态图SDM'。本发明有效提升验证效率。

权利要求书 (12项) 说明书附图

……

图1

图2

图3

法律状态时间线

一种基于导电涂层电阻变化监测密封表面磨损的测试系统

当前第 / 件

利用离子色谱法同时测定羧甲基纤维素钠中多种痕量阴离子含量的方法

同领域国内专利 · IPC: (G06F11_36)

G06F11_00 G06F11_07 G06F11_08 G06F11_10 G06F11_14 G06F11_1446 G06F11_20 G06F11_22 G06F11_26 G06F11_263 G06F11_267 G06F11_27 G06F11_273 G06F11_30 G06F11_32 G06F11_34 G06F11_36 G06F11_3604 G06F11_362 G06F11_3668 覆盖20个领域

相似专利推荐 AI 驱动 · 同领域

一种恶意软件检测方法及相关设备

¥0.0

2018108515199 · 平安科技(深圳)有限公司

议价

不含过户费

📋 交易方式： 委托待转让 📌 交易状态：在售 👁️ 浏览次数：21 ❤️ 收藏人数：93 📋 项目申报： 未申报

资金托管权属尽调包过户

🏢 淄博智来知识产权服务有限公司

✓ 企业认证✓ 手机绑定历史成交 0件好评率 98.5%

📊 出价记录 (3条)

王**¥-10万

李** 企业¥-8万

陈**¥-3万

查看全部出价

我要出价 (议价)