安全攸关系统的领域建模与形式化验证方法的研究进展与趋势
摘 要
本文从安全攸关软件系统的领域建模方法和形式化验证两个方面出发, 对领域建模语言
设计,安全攸关软件系统的需求、 架构设计和详细设计建模的研究 和应用进展进行了分析,
对形式化验证方法在操作系统、CPU、 编译器和软件模型四个层面上的研究进展和发展趋势进行了分析, 并提出了未来可能的研究 方向。 同时, 本文也对领域建模和形式化验证方法在我国航空、航天、航海三个领域的应用现状进行了调研分析, 整理了这些领域 未来的需求, 并提出了发展建议。关键词:安全攸关系统, 领域模型, 形式化验证,航空,航天,航海
文件下载
评论信息
其他资源
- 基于Socket的Android聊天室
- Virtual USB Multikey 带有数字签名Win10
- MATLAB 在时间序列分析中的应用
- 用opencv实现全景图拼接
- 数学建模论文 评卷分配问题
- matlab PIτ控制 simulink模型
- 30个优化智能算法matlab
- 足球欧赔初盘数据集.xlsx
- 贸易公司管理系统 mfc C++课程设计(附数据库）
- sphinx4 中文声学模型、词典、语言模型
- Rust编程第二版简体中文
- CC2530 Flash读写测试程序
- setup_Flash2833x_API_V210.exe
- win10解压软件（WinRAR）
- 参考文献-网上求职招聘系统的设计与实现
- Nginx1.17.8+winsw-3源码
- WinFlash华硕笔记本BIOS更新工具
- standard.jar和jstl.jar的下载
- Mysql数据库总结最全文档（含代码）
- Large Margin Rank Boundaries for Ordinal Regression
- 微票-微信小程序源码
- 维纳滤波器
- pixy硬件电路设计图纸
- 多叉树的遍历，可以打印出树形结构，也可以只打印叶节点，或打印指定层的节点（一位德国教授写的）
- 并网逆变器仿真
免责申明
【只为小站】的资源来自网友分享，仅供学习研究，请务必在下载后24小时内给予删除，不得用于其他任何用途，否则后果自负。基于互联网的特殊性，【只为小站】 无法对用户传输的作品、信息、内容的权属或合法性、合规性、真实性、科学性、完整权、有效性等进行实质审查；无论 【只为小站】 经营者是否已进行审查，用户均应自行承担因其传输的作品、信息、内容而可能或已经产生的侵权或权属纠纷等法律责任。
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明
本站所有资源不代表本站的观点或立场，基于网友分享，根据中国法律《信息网络传播权保护条例》第二十二条之规定，若资源存在侵权或相关问题请联系本站客服人员，zhiweidada#qq.com，请把#换成@，本站将给予最大的支持与配合，做到及时反馈和处理。关于更多版权及免责申明参见 版权及免责申明