电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
内存管理系统位于操作系统内核的最底层，为上层提供内存分配和回收机制．在航天器这类安全攸关的关键系统中，其可靠性和安全性至关重要，必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束，因此，系统通常采用较为复杂的数据结构和算法来管理内存空间，同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性．对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题，主要体现在：内存管理模块中的复杂数据结构的形式化描述，操作的规范语义，行为的建模，内部函数的规范及断言定义与循环不变式的定义，实时性验证等方面．针对这些问题，深入分析实际的航天器操作系统内存管理系统的特性：探索基于分层迭代的语义描述与验证的一般性方法与理论，并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统．该研究成果有望直接应用于我国新一代的航天器系统．
声明：本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人，不代表电子发烧友网立场。文章及其配图仅供工程师学习之用，如有内容侵权或者其他违规问题，请联系本站处理。 举报投诉
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 下次火星之旅前，您需要了解的七个航天器子系统
- 基于代理的航天器自主健康故障仿真验证系统 11次下载
- 多航天器交会对接精密时间基准方法研究 7次下载
- 多航天器交会对接的联合闭环测试系统 7次下载
- 航天器在轨状态基线控制系统设计方案 14次下载
- 通用高可靠性航天器供配电测试设备的设计方案 21次下载
- 基于图像轮廓检测的航天器目标跟踪控制系统 34次下载
- 基于CPCI总线的航天器通信信号设备故障检测 12次下载
- 基于物联网和ADRC的航天器在轨姿态监测系统 13次下载
- 基于业务/数据中台的多航天器综合评估系统架构 6次下载
- 航天器姿态动力学与控制的详细资料说明 2次下载
- 航天器姿态跟踪系统自适应滑模控制_李隆 4次下载
- 面向航天器舱布局CAD系统的公理化设计研究 0次下载
- 航空航天器供电系统
- 基于模型的航天器在轨传感器故障诊断方法
- 航空航天领域中的GaN功率器件（上） 1409次阅读
- Linux内核内存管理架构解析 686次阅读
- 航空航天电线电缆的应用 917次阅读
- 卫星抗辐射加固设计方案 3531次阅读
- 使用MM32F3270基于Azure RTOS动态内存管理的应用 992次阅读
- 内存的基本概念以及操作系统的内存管理算法 1794次阅读
- 太空任务的热管理设计 1889次阅读
- Linux内存管理体系介绍 1670次阅读
- Linux内存管理之伙伴系统 1335次阅读
- 可重复使用航天器都有哪些类型？浅谈航天器的发展过程 2895次阅读
- 基于仪器总线平台和传感器技术设计航天器动力学综合测试系统 775次阅读
- 嵌入式系统内存管理机制详解 4553次阅读
- 如何管理Linux 的内存分页？ 3818次阅读
- 一文读懂 Spark 内存管理 974次阅读
- Linux系统内存管理的特点详解 4048次阅读
上传资料赚积分 广告![]()
下载排行
本周
- 1DC电源插座图纸
- 0.67 MB | 2次下载 | 免费
- 2AN158 GD32VW553 Wi-Fi开发指南
- 1.51MB | 2次下载 | 免费
- 3AN148 GD32VW553射频硬件开发指南
- 2.07MB | 1次下载 | 免费
- 4AN111-LTC3219用户指南
- 84.32KB | 次下载 | 免费
- 5AN153-用于电源系统管理的Linduino
- 1.38MB | 次下载 | 免费
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下载 | 免费
- 7SM2018E 支持可控硅调光线性恒流控制芯片
- 402.24 KB | 次下载 | 免费
- 8AN-1308: 电流检测放大器共模阶跃响应
- 545.42KB | 次下载 | 免费
本月
- 1ADI高性能电源管理解决方案
- 2.43 MB | 450次下载 | 免费
- 2免费开源CC3D飞控资料（电路图&PCB源文件、BOM、
- 5.67 MB | 138次下载 | 1 积分
- 3基于STM32单片机智能手环心率计步器体温显示设计
- 0.10 MB | 130次下载 | 免费
- 4使用单片机实现七人表决器的程序和仿真资料免费下载
- 2.96 MB | 44次下载 | 免费
- 53314A函数发生器维修手册
- 16.30 MB | 31次下载 | 免费
- 6美的电磁炉维修手册大全
- 1.56 MB | 24次下载 | 5 积分
- 7如何正确测试电源的纹波
- 0.36 MB | 17次下载 | 免费
- 8感应笔电路图
- 0.06 MB | 10次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935121次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420062次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233088次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191367次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183335次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81581次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73810次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65988次下载 | 10 积分
工商网监
评论