面向微小卫星的嵌入式实时操作系统安全性研究及应用开发安全流程设计

来源 :浙江大学 | 被引量 : 0次 | 上传用户:lichiuyun13
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
微小卫星运行在恶劣的外太空环境中,承载着重要的任务,其运行特点及其在军事上的重要意义使其比一般系统具有更高的安全要求。星载嵌入式实时操作系统作为微小卫星系统的软件支撑平台,其安全性至关重要。满足高安全要求的星载嵌入式实时操作系统不仅要保证自身功能安全,也需要确保整个系统的运行安全。  本文针对浙江大学高性能嵌入式实验室开发的面向微小卫星的嵌入式实时操作系统,对该操作系统具备的主要安全机制进行了分析,使用安全分析工具进行了代码层面的安全检测,并基于检测结果对操作系统进行分析优化,提出了两个安全增强方案,并对两种方案进行了设计、实现和评估,最后结合微小卫星特性和操作系统平台,设计了一套针对微小卫星的高安全嵌入式应用开发安全流程。主要工作概括为如下几点:  1)分析了面向微小卫星的嵌入式实时操作系统具备的主要安全机制。重点分析其现有的安全机制有:时空隔离和容错机制。  2)使用安全分析工具检测操作系统代码层面上的安全,并根据检测结果对操作系统代码进行分析和优化。使用安全分析工具主要检测操作系统代码是否符合MISRA C标准和代码圈复杂度是否在合理范围内,并在分析基础上对操作系统进行改进。  3)提出了两种安全增强方案。基于增强操作系统安全性考虑,分别设计了关键数据备份和任务执行状态监测两种方案,并对两种方案进行了实现和评估。  4)设计了一套针对微小卫星的高安全嵌入式应用开发安全流程,对保障应用安全开发过程中的相关工具进行了介绍。
其他文献
为了适应近地空间探测任务中有效载荷多样化、高速化和海量化数据管理的要求,同时还要降低对重量和功耗的需求,以子午工程探空火箭任务为背景设计了一种轻小型化载荷数据管理
随着新能源汽车的不断发展,能源汽车产业将会成为我国经济新的增长点,并受到政府的高度重视。电动汽车加电运营逐步由设想变为一种现实,电动汽车加电运营商成为电动汽车行业
在迅速发展的集成电路制造工艺和不断提高的应用需求的推动下,系统芯片(System-on-Chip,简称SoC)集成了越来越多的功能模块。基于开放式片上总线的SoC和基于Wintel架构的传统
近年来,随着软硬件的高速发展,将有限元思想应用于物理仿真领域逐渐成为图形学领域的研究热点。就目前的研究现状而言,高分辨率变形体的仿真由于其计算量巨大,一直以来都是物理仿
学位
信息技术的发展产生了海量数据。能利用人类视觉感知以辅助知识学习的可视化技术在此背景下应运而生,但目前针对人物信息的可视化技术研究仍然较少。  CADAL中国文学编年史
近年来,随着IPTV、移动电视、在线视频等业务的增长以及互联网、通信网络、广电网络三网相互融合的趋势,视频类业务已成为当前不可忽视的主流业务,而视频类业务的质量也成为各方
随着Intemet迅猛发展、企业需要管理的数据量日益增大,发展内部信息系统、完成企业管理信息化成为企业IT建设的重要议题。由此衍生出了,如何构建合理的可扩展的系统架构模式
近几年来,手机用户数量激增带来了大量移动业务的潜在用户,加剧了各电信运营商之间、各业务提供厂商之间的竞争。以业务为驱动的第三代网络的正式商用,进一步推动了移动业务的发
随着互联网上Web服务的大量出现,Web服务的应用也越来越广泛。如何从大量的Web服务中快速选取用户所需要的服务,成为了一个亟待解决的问题。当前的Web服务发现方法主要有基于关