一种嵌入式软件可信属性建模与验证方法

被引：0

专利类型：

发明

申请号：

CN201711122419.4

申请日：

2017-11-14

公开(公告)号：

CN107908557B

公开(公告)日：

2018-04-13

发明(设计)人：

邵瑛

申请人：

申请人地址：

201499 上海市奉贤区瓦洪公路3098号

IPC主分类号：

G06F1136

IPC分类号：

代理机构：

南京泰普专利代理事务所(普通合伙) 32360

代理人：

窦贤宇

法律状态：

实质审查的生效

国省代码：

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2018-05-08	实质审查的生效	实质审查的生效 IPC(主分类):G06F 11/36 申请日:20171114
2020-10-20	授权	授权
2018-04-13	公开	公开

共 50 条

[1]

一种嵌入式软件可信属性建模与验证方法 [P].

庄毅 ;

倪思如 ;

顾晶晶 ;

霍瑛 ;

许海洋 .

中国专利 :CN103488568B ,2014-01-01

[2]

一种嵌入式软件独立快速升级的方法 [P].

邵瑛 .

中国专利 :CN107729037A ,2018-02-23

[3]

一种嵌入式软件建模方法及装置 [P].

张晨东 ;

张天擎 .

中国专利 :CN113127155A ,2021-07-16

[4]

一种嵌入式软件自闭环验证方法 [P].

姚康生 ;

王凡 ;

熊攀 ;

付洪飞 ;

石林 ;

罗云 ;

杨龙军 ;

马威 ;

余友好 ;

张红余 ;

章祎 ;

童琴 .

中国专利 :CN110427291A ,2019-11-08

[5]

一种嵌入式软件可信性保障方法 [P].

杨孟飞 ;

顾斌 ;

陈睿 ;

郭向英 ;

赵雷 ;

董晓刚 ;

綦艳霞 ;

王政 ;

陈尧 ;

乔磊 ;

沈沛 ;

郝伟 .

中国专利 :CN103677849B ,2014-03-26

[6]

嵌入式软件系统的成分验证 [P].

A·弗莱克赛德尔 ;

B·施密特 ;

J·邝特 ;

M·施伦德 .

中国专利 :CN115687071A ,2023-02-03

[7]

嵌入式设备、嵌入式软件加载方法与存储介质 [P].

胡俊锋 .

中国专利 :CN113885969A ,2022-01-04

[8]

一种嵌入式系统和嵌入式软件升级方法 [P].

何银南 ;

刘红冰 ;

蔡章盛 ;

邱扬英 ;

周晓俊 ;

管伟 .

中国专利 :CN102043634A ,2011-05-04

[9]

嵌入式软件交互方法 [P].

邵腾飞 ;

施彬彬 ;

周雄 ;

黄浩 ;

刘念 .

中国专利 :CN108932171B ,2018-12-04

[10]

嵌入式软件升级方法 [P].

毛力 .

中国专利 :CN104156249A ,2014-11-19

← 1 2 3 4 5 →