典型文献
面向空间飞行器的文件系统需求层验证
文献摘要：
由于系统资源的有限性,目前空间飞行器中的嵌入式操作系统并没有文件系统模块.系统任务通过直接调用I/O接口,完成外部存储设备的读与写.但是,随着空间飞行任务复杂化,数据大量涌现,空间嵌入式操作系统需要文件系统来完成数据处理,因此安全可靠的文件系统的开发是空间嵌入式操作系统亟待解决的问题.空间嵌入式操作系统是典型的安全关键的系统,集成在系统中的每一个模块都需要经过严格的测试,保证其不会在运行期间产生故障.采用形式化验证的技术可以从数学上严格保证验证对象的正确性.因此,本文采用形式化技术,针对面向空间飞行器文件系统的需求,验证其内部逻辑的正确性.
文献关键词：
软件需求;形式化验证;文件系统;嵌入式系统
中图分类号：
作者姓名：
李少峰;杨孟飞;乔磊;姜菁菁;王婷煜
作者机构：
西安电子科技大学,西安710071;中国空间技术研究院,北京100094;北京控制工程研究所,北京100094
文献出处：
引用格式：
[1]李少峰;杨孟飞;乔磊;姜菁菁;王婷煜-.面向空间飞行器的文件系统需求层验证)[J].空间控制技术与应用,2022(02):62-70
A类：
B类：
空间飞行器,文件系统,系统需求,系统资源,有限性,嵌入式操作系统,系统模块,调用,存储设备,读与写,空间嵌入,全关,运行期,形式化验证,证验,内部逻辑,软件需求,嵌入式系统
AB值：
0.299822
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
