电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
内存管理系统位于操作系统内核的最底层，为上层提供内存分配和回收机制．在航天器这类安全攸关的关键系统中，其可靠性和安全性至关重要，必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束，因此，系统通常采用较为复杂的数据结构和算法来管理内存空间，同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性．对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题，主要体现在：内存管理模块中的复杂数据结构的形式化描述，操作的规范语义，行为的建模，内部函数的规范及断言定义与循环不变式的定义，实时性验证等方面．针对这些问题，深入分析实际的航天器操作系统内存管理系统的特性：探索基于分层迭代的语义描述与验证的一般性方法与理论，并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统．该研究成果有望直接应用于我国新一代的航天器系统．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 下次火星之旅前，您需要了解的七个航天器子系统
- 基于代理的航天器自主健康故障仿真验证系统 11次下载
- 多航天器交会对接精密时间基准方法研究 7次下载
- 多航天器交会对接的联合闭环测试系统 7次下载
- 航天器在轨状态基线控制系统设计方案 14次下载
- 通用高可靠性航天器供配电测试设备的设计方案 21次下载
- 基于图像轮廓检测的航天器目标跟踪控制系统 34次下载
- 基于CPCI总线的航天器通信信号设备故障检测 12次下载
- 基于物联网和ADRC的航天器在轨姿态监测系统 13次下载
- 基于业务/数据中台的多航天器综合评估系统架构 6次下载
- 航天器姿态动力学与控制的详细资料说明 2次下载
- 航天器姿态跟踪系统自适应滑模控制_李隆 4次下载
- 面向航天器舱布局CAD系统的公理化设计研究 0次下载
- 航空航天器供电系统
- 基于模型的航天器在轨传感器故障诊断方法
- 太阳光模拟如何增强航天器地面测试？ 244次阅读
- 太阳光模拟器在航天器热试验中的应用 306次阅读
- 航天器电源测试丨基于AM0太阳模拟器实现三波段光谱独立调节设计 877次阅读
- 航天器应用丨太阳模拟器的原理、性能及国内外设备现状 580次阅读
- 太空环境地面复现：太阳能模拟器如何验证航天器极端光照耐久性 633次阅读
- 航空航天领域中的GaN功率器件（上） 2.9k次阅读
- 航空航天电线电缆的应用 1.8k次阅读
- 内存的基本概念以及操作系统的内存管理算法 2.7k次阅读
- 太空任务的热管理设计 2.5k次阅读
- Linux内存管理体系介绍 2.4k次阅读
- Linux内存管理之伙伴系统 1.6k次阅读
- 可重复使用航天器都有哪些类型？浅谈航天器的发展过程 3.4k次阅读
- 基于仪器总线平台和传感器技术设计航天器动力学综合测试系统 1.1k次阅读
- 嵌入式系统内存管理机制详解 4.9k次阅读
- Linux系统内存管理的特点详解 4.5k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论