导读:本文包含了微内核文件系统论文开题报告文献综述及选题提纲参考文献，主要关键词:文件系统,微内核架构,形式化设计,形式化验证
微内核文件系统论文文献综述
钱振江,唐洪英,李康杰,黄皓,宋方敏[1]（2013）在《微内核架构文件系统的形式化设计与验证方法研究》一文中研究指出文件系统作为数据存储和管理的功能模块,其正确性是操作系统安全性的重要方面.采用形式化方法对微内核架构文件系统进行设计,使用操作系统对象语义模型(OSOSM)框架提出微内核架构文件系统的状态自动机模型,并依此描述系统调用的功能语义和系统状态转换,分析和归纳文件系统的功能正确性断言.以实现的微内核安全操作系统(Verified Trusted Operating System,VTOS)为例,阐述在Isabelle/HOL定理证明器环境中构建状态自动机模型的方法,并对VTOS文件系统的形式化设计和功能正确性断言进行一致性验证,结果显示,VTOS文件系统的设计和实现符合预期的正确性规格说明.(本文来源于《小型微型计算机系统》期刊2013年10期）
曹磊,刘[2]（1994）在《微内核结构操作系统中文件系统服务器的实现》一文中研究指出论述在微内核结构操作系统中文件系统服务器的实现原理和方法，介绍了客户／服务器模型文件系统中，实现文件系统调用的消息的生成及传送，服务器端口的管理，服务器的建立过程和客户程序的请求过程。(本文来源于《地质科技管理》期刊1994年06期）
微内核文件系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
论述在微内核结构操作系统中文件系统服务器的实现原理和方法，介绍了客户／服务器模型文件系统中，实现文件系统调用的消息的生成及传送，服务器端口的管理，服务器的建立过程和客户程序的请求过程。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
微内核文件系统论文参考文献
[1].钱振江,唐洪英,李康杰,黄皓,宋方敏.微内核架构文件系统的形式化设计与验证方法研究[J].小型微型计算机系统.2013
[2].曹磊,刘.微内核结构操作系统中文件系统服务器的实现[J].地质科技管理.1994