电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
内存管理系统位于操作系统内核的最底层，为上层提供内存分配和回收机制．在航天器这类安全攸关的关键系统中，其可靠性和安全性至关重要，必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束，因此，系统通常采用较为复杂的数据结构和算法来管理内存空间，同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性．对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题，主要体现在：内存管理模块中的复杂数据结构的形式化描述，操作的规范语义，行为的建模，内部函数的规范及断言定义与循环不变式的定义，实时性验证等方面．针对这些问题，深入分析实际的航天器操作系统内存管理系统的特性：探索基于分层迭代的语义描述与验证的一般性方法与理论，并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统．该研究成果有望直接应用于我国新一代的航天器系统．
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 基于代理的航天器自主健康故障仿真验证系统 11次下载
- 多航天器交会对接精密时间基准方法研究 7次下载
- 多航天器交会对接的联合闭环测试系统 7次下载
- 航天器在轨状态基线控制系统设计方案 13次下载
- 通用高可靠性航天器供配电测试设备的设计方案 21次下载
- 基于图像轮廓检测的航天器目标跟踪控制系统 34次下载
- 基于CPCI总线的航天器通信信号设备故障检测 12次下载
- 基于物联网和ADRC的航天器在轨姿态监测系统 13次下载
- 基于业务/数据中台的多航天器综合评估系统架构 6次下载
- 一种DSP软件的航天器在轨动态维护 0次下载
- 航天器姿态跟踪系统自适应滑模控制_李隆 4次下载
- 挠性航天器轨控期间姿态容错控制_杨婧 0次下载
- 面向航天器舱布局CAD系统的公理化设计研究 0次下载
- 航空航天器供电系统 32次下载
- 基于模型的航天器在轨传感器故障诊断方法 15次下载
- Linux内核内存管理架构解析 281次阅读
- 航空航天电线电缆的应用 265次阅读
- Systemverilog event的示例 1030次阅读
- 内存的基本概念以及操作系统的内存管理算法 1265次阅读
- 太空任务的热管理设计 1227次阅读
- Linux内存管理体系介绍 1191次阅读
- Linux内存管理之伙伴系统 1026次阅读
- 可重复使用航天器都有哪些类型？浅谈航天器的发展过程 2607次阅读
- 数据存储内存管理是为了什么 1359次阅读
- 基于仪器总线平台和传感器技术设计航天器动力学综合测试系统 576次阅读
- 嵌入式系统内存管理机制详解 4308次阅读
- 一文读懂 Spark 内存管理 818次阅读
- 两种常见的内存管理方法：堆和内存池 1.3w次阅读
- LWIP内存管理知识汇总 6487次阅读
- Linux系统内存管理的特点详解 3669次阅读
上传资料赚积分下载排行
本周
- 1电子电路原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能电路详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成电路应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口电路图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6电路仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论