搜索到9363篇“ 安全关键系统“的相关文章
全部数字资源类型
相关度排序
面向安全关键系统的可信开发与验证方法及装置
本发明公开了一种面向安全关键系统的可信开发与验证方法及装置，涉及系统安全分析领域，该方法采用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符号模型检查器可接受的状态转换图模型，根据状态转换图可解释化预处理算法，读取和解析所述图模型文件，对图模型进行预...
胡军祝凌锋
一种混合安全关键系统的确定性调度方法
本发明属于计算机系统软件技术领域，具体涉及一种混合安全关键系统的确定性调度方法，分析混合安全关键系统中的竞争资源，分析各系统应用的资源需求量，利用操作系统的配置能力，为系统应用分配固定额度的资源。在运行时周期性地监控系统...
虞保忠黄保垒李运喜郝继锋朱晓宁郝艳也
一种基于可编辑Petri网的安全关键系统可靠性分析方法及系统
本发明公开了一种一种基于可编辑Petri网的安全关键系统可靠性分析方法，根据安全关键系统的动态故障特征建立可编辑Petri网模型；可编辑Petri网模型包括即时变迁、随机变迁和可编辑变迁，根据随机变迁数量确定安全关键系统...
孙有朝曾一宁徐滔吴仇颀吴红兰
面向Linux构建安全关键系统的开发数据分析研究
安全关键系统(Safety-Critical-System)是指系统失效往往引起重大生命、财产损失的系统,这类系统对于其自身的可靠性、可用性、可维护性都有极高的要求。由于Linux内核支持多种硬件平台,同时代码开源且遵循...
李嘉翔
关键词：安全关键系统可靠性分析
加载更多 ∨

相关作者

熊光泽
作品数：208被引量：1,269H指数：20
供职机构：电子科技大学计算机科学与工程学院
研究主题：实时系统 实时操作系统 嵌入式系统 安全关键系统 可靠性
胡军
作品数：107被引量：373H指数：11
供职机构：南京航空航天大学
研究主题：故障树 安全关键系统 形式化方法 SYSML 接口自动机
黎忠文
作品数：84被引量：268H指数：9
供职机构：成都大学
研究主题：安全关键系统 防危核 智慧旅游 SAFETY 安全核
桑楠
作品数：210被引量：740H指数：15
供职机构：电子科技大学
研究主题：嵌入式系统 操作系统 高可信 实时系统 终端
黄志球
作品数：416被引量：1,068H指数：15
供职机构：南京航空航天大学
研究主题：WEB服务 抽象语法树 隐私 代码 本体