搜索到87篇“ 安全苛求系统“的相关文章
- 基于状态图转形式化B模型的安全苛求系统开发方法
- 2024年
- 形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。
- 赵大地王恪铭
- 关键词：形式化方法B方法
- 基于形式化方法的安全苛求系统建模与验证研究
- 安全苛求系统指对安全性和可靠性有极高要求的系统。安全苛求系统的正常运行非常依赖正确的功能场景和控制逻辑,因而使用有效的方法保证功能场景及控制逻辑的正确性十分重要。形式化方法是一种基于数学的系统开发和验证技术,具备严密的逻...
- 仇俊颖
- 关键词：安全苛求系统形式化方法EVENT-B
- 一种安全苛求系统的容错控制器设计方法
- 本发明公开了一种安全苛求系统的容错控制器设计方法，包括以下步骤：S1、构造执行器部分失效故障模型：S2、分别构造李雅普诺夫函数和控制障碍函数；S3、分别构造控制李雅普诺夫函数约束条件和控制障碍函数的约束条件；S4、构造约...
- 李建宁董哲柯涣昱王海伦徐晓滨
- 基于2oo2×2的安全苛求系统的双系状态控制方法和系统
- 本发明涉及一种基于2oo2×2的安全苛求系统的双系状态控制方法和系统。所述双系状态包括主控、备用、离线、初始化和联机5种；所述双系的身份通过采集后插板的跳线来识别；所述双系状态控制方法包括：通过驱动本系工作继电器和响应本...
- 梁志国魏东冬郭亮贾春肖郑长宗卢佩玲张宏韬鲁剑锋赵立志郝韬刚建雷管伟军王龙生白帅李钰骙傅仁杰孙翼柴金川杨璘刘逸名赵梦瑶王拓
- 基于2oo2×2的安全苛求系统的双系状态控制方法和系统
- 本发明涉及一种基于2oo2×2的安全苛求系统的双系状态控制方法和系统。所述双系状态包括主控、备用、离线、初始化和联机5种；所述双系的身份通过采集后插板的跳线来识别；所述双系状态控制方法包括：通过驱动本系工作继电器和响应本...
- 梁志国魏东冬郭亮贾春肖郑长宗卢佩玲张宏韬鲁剑锋赵立志郝韬刚建雷管伟军王龙生白帅李钰骙傅仁杰孙翼柴金川杨璘刘逸名赵梦瑶王拓
- 基于安全苛求系统的数据恢复方法及装置
- 本申请提供一种基于安全苛求系统的数据恢复方法、装置、系统、设备及存储介质，涉及数据安全技术领域。其中，基于安全苛求系统的数据恢复方法，包括：在初始化或重启后，向所述安全苛求系统中的其他设备发送数据请求消息，并将本地存储的...
- 韩涛徐庆标左建东焦婷
- 基于安全苛求系统的数据恢复方法及装置
- 本申请提供一种基于安全苛求系统的数据恢复方法、装置、系统、设备及存储介质，涉及数据安全技术领域。其中，基于安全苛求系统的数据恢复方法，包括：在初始化或重启后，向所述安全苛求系统中的其他设备发送数据请求消息，并将本地存储的...
- 韩涛徐庆标左建东焦婷
- 基于COTS部件构成的安全苛求系统进行故障注入测试的方法
- 本发明实施例提供了一种基于COTS部件构成的安全苛求系统进行故障注入测试的方法。该方法包括：将构成安全苛求系统的COTS部件，按故障注入所需分类；对于分类使用的COTS部件采用对应的方式解除安全苛求系统实现时所设置的EM...
- 马连川唐涛李开成
- 一种用于安全苛求系统软件升级的校验方法
- 本发明公开了一种用于安全苛求系统软件升级的校验方法，包括：从硬件层面拓展至少一个新增计算单元；在冗余单元中的既有计算单元加载既有软件，在新增计算单元加载待升级软件；各既有计算单元和新增计算单元基于相同输入进行计算；根据各...
- 黄雷
- 一种用于安全苛求系统软件升级的校验方法
- 本发明公开了一种用于安全苛求系统软件升级的校验方法，包括：从硬件层面拓展至少一个新增计算单元；在冗余单元中的既有计算单元加载既有软件，在新增计算单元加载待升级软件；各既有计算单元和新增计算单元基于相同输入进行计算；根据各...
- 黄雷
相关作者
- 徐中伟
- 作品数：125被引量：385H指数：10
- 供职机构：同济大学
- 研究主题：软件测试 安全苛求系统 CBTC 安全性 列控中心
- 唐涛
- 作品数：424被引量：1,457H指数：21
- 供职机构：北京交通大学
- 研究主题：列车 城市轨道交通 列车运行控制系统 列控系统 轨道交通
- 喻钢
- 作品数：76被引量：358H指数：10
- 供职机构：上海大学
- 研究主题：BIM 管片 隧道管片 隧道 巡检
- 王曦
- 作品数：19被引量：37H指数：3
- 供职机构：江西理工大学信息工程学院
- 研究主题：安全苛求系统 细胞神经网络 CNN 故障树分析 形式化方法
- 杨凌云
- 作品数：11被引量：8H指数：2
- 供职机构：北京交通大学
- 研究主题：安全苛求系统 高速铁路列车 扩展UML 故障树 列控系统
