搜索到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,265H指数:20
供职机构:电子科技大学计算机科学与工程学院
研究主题:实时系统 实时操作系统 嵌入式系统 安全关键系统 可靠性
胡军
作品数:109被引量:375H指数:11
供职机构:南京航空航天大学
研究主题:形式化方法 故障树 SYSML 安全关键系统 接口自动机
黎忠文
作品数:84被引量:269H指数:9
供职机构:成都大学
研究主题:安全关键系统 防危核 智慧旅游 SAFETY 安全核
桑楠
作品数:211被引量:742H指数:15
供职机构:电子科技大学
研究主题:嵌入式系统 操作系统 高可信 实时系统 终端
黄志球
作品数:430被引量:1,080H指数:15
供职机构:南京航空航天大学
研究主题:抽象语法树 WEB服务 隐私 代码 本体