2025年6月24日
星期二
|
欢迎来到佛山市图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
搜索到
9752
篇“
安全关键系统
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
全部数字资源类型
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关度排序
相关度排序
被引量排序
时效性降序
时效性升序
使用隔离和进程迁移在
安全
关键
系统
中进行在线故障检测
本公开涉及使用隔离和进程迁移在
安全
关键
系统
中进行在线故障检测。本文公开了用于测试计算
系统
的处理单元的装置、
系统
和技术。接收对于一组处理单元中的每一个发起测试过程的请求。第一处理单元包括执行第一操作的第一虚拟处理器。第二处...
P·N·埃尔坎
J·塞凯拉
D·J·赫滕纳
W·J·阿姆斯特朗
A·帕拉马库鲁
T·弗勒里
一种面向多核
安全
关键
系统
的错误检测架构设计方法
本发明提供一种面向多核
安全
关键
系统
的错误检测架构设计方法,用软硬件协同设计的方法,包括基于RCPs的支持异步线程级错误检测的可配置微架构,自定义RISCV指令集架构和为OS调度算法提供的控制接口,以及为检查核心开发的专用...
江哲
李义明
王汀略
唐玮
郭正辉
面向
安全
关键
系统
的可信开发与验证方法及装置
本发明公开了一种面向
安全
关键
系统
的可信开发与验证方法及装置,涉及
系统
安全
分析领域,该方法采用STPA和Event‑B方法协同分析,并结合逐步迭代的过程。首先确立
系统
任务和
安全
约束,在初始阶段,根据初始功能需求构建初始的S...
陈祖希
陈圣彬
梅萌
徐中伟
缑锦
周长利
翁建辉
面向
安全
关键
系统
的可信开发与验证方法及装置
本发明公开了一种面向
安全
关键
系统
的可信开发与验证方法及装置,涉及
系统
安全
分析领域,该方法采用STPA和Event‑B方法协同分析,并结合逐步迭代的过程。首先确立
系统
任务和
安全
约束,在初始阶段,根据初始功能需求构建初始的S...
陈祖希
陈圣彬
梅萌
徐中伟
缑锦
周长利
翁建辉
用于在
安全
关键
系统
内提供子
系统
的
安全
操作的方法
本发明涉及一种用于在
安全
关键
系统
(SCS)内提供子
系统
的
安全
操作的方法,其中,SCS的故障子
系统
将故障信号发送到SCS的其他子
系统
,该故障信号包括对于故障子
系统
唯一的一次性密码密钥,该密码密钥然后由其他子
系统
解密,并且在...
K.黑菲希
一种
安全
关键
系统
设计方法、
系统
及电子设备
本发明公开一种
安全
关键
系统
设计方法、
系统
及电子设备,涉及
安全
设计技术领域,所述方法包括:设计初始
系统
架构;初始化各硬件的故障概率、故障模式及故障模式的分布率得到初始
安全
关键
系统
;对初始
安全
关键
系统
进行迭代更新,得到目标安...
郭晓冉
牛刚
王浩驰
魏然
徐欣颜
韩宁
刘海涛
耿斌
康科
高润冬
孙晶
马飒飒
方东兴
一种面向
安全
关键
系统
的DNN模型自动生成方法
本发明属于
安全
关键
系统
技术领域,具体涉及一种面向
安全
关键
系统
的DNN模型自动生成方法。该面向
安全
关键
系统
的DNN模型自动生成方法包括如下步骤,设置DNN模型搜索空间,定义不同的cell单元并设置相应cell的结构;目标模...
田文生
张磊
面向SCR的
安全
关键
系统
模型转换方法、装置和
系统
本发明公开了一种面向SCR的
安全
关键
系统
模型转换方法,包括:S1,根据预先设计的SS模型平展化算法,消除导入的SS模型的递归定义,得到经平展化处理后的SS模型;S2,编写平展化处理后的SS模型的ANTLR语法文件,获取相...
胡军
张漾
一种面向NuXMV的
安全
关键
系统
状态转换图测试用例生成方法
本发明公开了一种面向NuXMV的
安全
关键
系统
状态转换图测试用例生成方法,S1,将变量关系模型转换为NuXMV符号模型检查器可接受的状态转换图模型,根据状态转换图可解释化预处理算法,读取和解析所述图模型文件,对图模型进行预...
胡军
祝凌锋
一种混合
安全
关键
系统
的确定性调度方法
本发明属于计算机
系统
软件技术领域,具体涉及一种混合
安全
关键
系统
的确定性调度方法,分析混合
安全
关键
系统
中的竞争资源,分析各
系统
应用的资源需求量,利用操作
系统
的配置能力,为
系统
应用分配固定额度的资源。在运行时周期性地监控
系统
...
虞保忠
黄保垒
李运喜
郝继锋
朱晓宁
郝艳也
加载更多 ∨
相关作者
熊光泽
作品数:208
被引量:1,265
H指数:20
供职机构:电子科技大学计算机科学与工程学院
研究主题:实时系统 实时操作系统 嵌入式系统 安全关键系统 可靠性
胡军
作品数:109
被引量:375
H指数:11
供职机构:南京航空航天大学
研究主题:形式化方法 故障树 SYSML 安全关键系统 接口自动机
黎忠文
作品数:84
被引量:269
H指数:9
供职机构:成都大学
研究主题:安全关键系统 防危核 智慧旅游 SAFETY 安全核
桑楠
作品数:211
被引量:742
H指数:15
供职机构:电子科技大学
研究主题:嵌入式系统 操作系统 高可信 实时系统 终端
黄志球
作品数:430
被引量:1,080
H指数:15
供职机构:南京航空航天大学
研究主题:抽象语法树 WEB服务 隐私 代码 本体
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张