形式化建模与验证

作品数：43被引量：97H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：熊焰黄文超郭建王国辉刘宁更多>>
相关机构：华东师范大学北京交通大学西南交通大学兰州交通大学更多>>
相关期刊：《计算机仿真》《航空计算技术》《计算机技术与发展》《铁路通信信号工程技术》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家重点基础研究发展计划中央级公益性科研院所基本科研业务费专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
舰载机弹药保障作业调度的形式化建模与验证
《软件学报》2024年第9期4100-4122,共23页金钊 金璐 张博闻 吴庆顺 冯朔 李冠峰 徐明亮 
国家自然科学基金(62325602,62302459,62036010,61972362,62372416)。
航母舰载机弹药保障作业的智能规划作为一种高效能航保作业调度方法,是助推航母工程先进技术建设发展的重要途径之一.高安全攸关属性下作业规划方案的正确性保证已经逐渐成为制约其实际应用部署安全的关键技术瓶颈.针对方案正确性验证...
关键词：舰载机弹药保障作业 形式化验证 分离逻辑 操作语义 COQ 
基于单工架构的信息物理系统运行时安全性保障方法
《深圳大学学报（理工版）》2024年第3期253-263,共11页王强 陈强 曹伟朋 何文锋 
国家自然科学基金资助项目(62106150)。
运行时安全性保障方法旨在系统运行过程中确保安全性属性得到满足.基于单工(simplex)架构的运行时安全性保障方法能够在使用复杂且安全性未经验证的控制器的情况下,为系统提供安全性保证.其基本思想是将复杂且安全性未经验证的复杂控制...
关键词：人工智能 形式化方法 运行时安全性保障 运行时验证 形式化建模与验证 信息物理系统 系统建模与验证 嵌入式系统 
基于Petri网的全自动无人驾驶列车停站场景形式化建模与验证
《铁道通信信号》2024年第3期61-68,共8页王玮琦 任晨宇 陈黎洁 侯卓璞 
中国铁道科学研究院集团有限公司科研课题(2021YJ149)。
为进一步提高全自动无人驾驶系统的安全性,采用Petri网理论在全生命周期早期对系统运营场景的实现流程进行形式化建模与验证。选取正线运营中的列车停站这一典型运营场景,进行对象提取与状态分析,结合各对象与库所、变迁的对应关系,建立...
关键词：全自动无人驾驶 自动化等级 列车停站场景 PETRI网 形式化建模 形式化验证 
CTCS-N等级转换场景形式化建模与验证
《兰州交通大学学报》2024年第1期73-82,共10页高卓凡 何涛 姜飞 吴永成 
新型列车控制系统的车载设备承担更多地面设备的功能,其功能测试主要是以现场测试为主,费时费力,构建满足系统功能与性能需求的模型有助于保证列车在线路上安全、高效地运行,因此针对新型列控系统提出一种基于时间自动机的形式化建模与...
关键词：新型列控系统 时间自动机 等级转换场景 建模与验证 消息顺序图 
自动飞行模式转换逻辑的形式化建模与验证被引量：1
《南京航空航天大学学报》2023年第5期768-779,共12页李俊安 胡军 王立松 黄志球 蔡鑫 
国家自然科学基金(U2241216)。
自动飞行控制系统(Automatic flight control system,AFCS)是现代飞机中重要的安全关键系统之一,飞行引导控制系统(Flight guidance control system,FGCS)是其重要的组成部分。FGCS中的飞行模式有数十种,模式转换逻辑十分复杂,在各个模...
关键词：计算机软件与理论 飞行制导控制系统 基于模型的安全性分析 模型检测 安全关键系统 
面向CAN总线健壮性的形式化建模与验证被引量：1
《电讯技术》2023年第9期1419-1426,共8页王一华 周晴 胡婉如 杜家昊 
民用航天技术预先研究项目(B0204)。
为评估控制器局域网络(Controller Area Network,CAN)攻击者入侵风险的影响,增强CAN总线设计的健壮性,提出了一种基于UPPAAL SMC的CAN总线健壮性验证方案。该方案首先针对嵌入式软件系统需求对CAN总线数据链路层与应用层进行形式化建模...
关键词：CAN总线 健壮性验证 需求建模 模型检测 时间自动机 
CTCS-3 级列控车载设备的形式化建模与验证被引量：1
《重庆大学学报》2023年第9期120-129,共10页何涛 韩敬佳 
国家自然科学基金资助项目(U2268206)。
CTCS-3级列控系统安全苛求性较高,而列控车载设备是CTCS-3级列控系统的主体,主要功能是对列车进行操纵和控制,保证列车安全运行的关键。通过分析CTCS-3级列控车载设备之间的信息交互以及车载安全计算机中工作模式的转换规则,采用有色Pe...
关键词：列控系统 车载设备 模式转换 有色PETRI网 
站场电动放空阀控制逻辑的形式化建模与验证
《现代电子技术》2023年第17期155-162,共8页董秀娟 赵浩羽 徐宝昌 周裕东 董长锁 赵正开 
国家石油天然气管网集团有限公司科学研究与技术开发项目(Y180022KY01KF0330004)。
在油气管道控制系统典型逻辑标准编制的早期,对拟标准化控制逻辑的建模与验证能够提前发现设计缺陷,有助于提高控制系统的功能完整性与安全性,进而避免因控制逻辑设计失误导致的危险事故发生。根据形式化验证方法中模型检验的原理,利用...
关键词：油气管道 控制逻辑 形式化方法 时间自动机 UPPAAL 形式化验证方法 
面向航电系统任务安全性的形式化建模与验证
《系统工程与电子技术》2023年第5期1553-1569,共17页牛浩田 马存宝 韩佩 衣健民 
国家自然科学基金面上项目(12172290,61873203);国家自然科学基金青年科学基金(51805434);国家重点基础研究发展项目(973计划)(2014CB744902)资助课题。
针对航电系统任务安全性分析缺少仿真与验证手段问题,提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先,基于时间自动机理论与民航规章建立标准运行条件下航电系统任务过程的形式化模型。随后,将危险致因和安全约束分别...
关键词：航电系统 任务安全性 形式化建模 时间自动机 仿真验证 
软件运行时验证与监控技术发展现状与展望被引量：1
《前瞻科技》2023年第1期62-77,共16页卜磊 董威 单云霄 
国家自然科学基金(62232008,62172200,62032019);江苏省前沿引领技术基础研究专项(BK20202001);广东省粤穗联合基金青年基金(2020A1515110199);深圳市基础研究项目(JCYJ20210324122203009,JCYJ20180508152434975)。
当今社会,大量软件系统运行在开放、动态、不确定的场景中,经常受到非预期的干扰和影响,因此对系统行为进行运行时验证与监控,并针对各种实时情况做出自适应的实时响应、决策与动态调控,具有重要意义。文章从运行时验证、监控、增强及...
关键词：形式化建模与验证 运行时验证 在线监控 控制生成 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部