论文研究-基于项重写系统的联锁系统模型检测方法研究.pdf
模型检测方法对安全苛求系统建模的完整性需要一套严谨的方法论与技术，对于验证系统的正确性，具有传统方法无法比拟的优势。提出利用项重写系统建立安全苛求系统模型与验证方法，采用基于项重写系统原理的Maude工具语言，对铁路联锁系统的站场进行形式化建模，通过其语法和语义定义各类约束和离散事件，构架联锁系统属性和行为。在模型建立的基础上，对联锁站场的静态属性和安全属性进行形式化模型验证。结果表明，基于项重写系统的模型检测方法可以较好地应用于实际联锁系统软件的开发，对开发安全苛求系统和模型检测方法的实际应用提供借鉴。
文件下载
评论信息
其他资源
- weights_SSD300.hdf5
- 基于stm32的TM1650驱动程序，
- 米联的FPGA开发例程很详细
- .net打印源码2.0完全免费下 速度更快增加web打印
- openssh 7.9p1 rpm包
- sha1的纯粹c语言代码
- kaggle在线零售业务数据，用于数据分析处理。
- matlab傅里叶梅林变换各种程序包
- 气象数据.img格式文件的详解和读取方法
- JavaScript实现轮播特效 + 二级菜单效果（代码）
- OC Extension UTF8(日志UTF8内容转换成中文).zip
- A4纸田字格模板.doc
- 图像篡改检测常见的数据集（casia1\casia2以及ground truth mask\coverage\nist16\dso\dsi\columbia）
- 搜索更新.xmind
- turn.js
- xiaohongshu5.6版本
- 什么是极限学习机
- ABAQUS UMAT资料
- tolua集成风云pbc的编译脚本和win下编译出的dll
- 混合加密程序 VC++（包括DES加密和AES加密程序）
- 数据结构课程设计
- 基于MCGS的电梯监控系统设计毕业设计
- 刚学的OpenGL画五角星
- vdexExtractor.zip
- labview高级程序设计实例.
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明