目的
目的1:看看一篇论文怎么写,绪论含那些内容?研究方法是什么?
《基于模型的软件需求验证方法研究》
目的2:看看有没有和你的研究接近的,解决你的问题
Linux内核验证?
需求验证?
Linux需求性质如何表示?都有哪些表示方法,你用的是哪种?
模块级验证?
Linux内核,都有哪些模块级别的验证方法?
Linux本身研究:
关系有啥?
Linux内核还有哪些关系?
如何验证关系?
调用关系提取?
C调用关系提取?
目的3:Linux内核形式化验证的现状?你到底属于哪种?定理证明中的什么?
知网搜索关键词
Linux内核验证,操作系统验证
Linux内核关系
需求验证
Linux内核建模、模块级验证
定理证明、模型检测
论文
1、Linux内核验证
2、Linux内核关系、调用关系
Linux内核函数调用关系的复杂网络分析
3、需求验证
【2018】《基于模型的软件需求验证方法研究》:Kripke结构+UML语言+验证工具NuSMV
《基于变量关系模型的软件需求形式化验证方法与研究_李思洁》:关系+需求
4、模块级验证
5、OS验证方法
《嵌入式操作系统的形式化验证方法_胡宁》:
综述了主流商用嵌入式操作系统所采用的形式化验证方法,分析了操作系统内核不同特性的形式化验
证思路。通常对空间隔离、信息流控制、系统调用、进程间通信等的证明采用定理证明方式,而对时间隔离的证明
则采用模型检测方式。seL4 的通用抽象和逐层精化方法、模型检测和定理证明的混合方法在工程使用中都有前途。
6、Linux内核建模
《面向功能行为层次化建模的A...DL行为附件扩展及验证方法_许金淼》:层次化
不错的形式化论文搜索网站
https://www.semanticscholar.org/
关键词:Linux kernel verification,Linux kernel architecture
作者:西伯尔
出处:http://www.cnblogs.com/sybil-hxl/
本文版权归作者和博客园共有,欢迎转载,但未经作者同意必须保留此段声明,且在文章页面明显位置给出原文连接,否则保留追究法律责任的权利。