资料介绍
内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束,因此,系统通常采用较为复杂的数据结构和算法来管理内存空间,同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性.对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题,主要体现在:内存管理模块中的复杂数据结构的形式化描述,操作的规范语义,行为的建模,内部函数的规范及断言定义与循环不变式的定义,实时性验证等方面.针对这些问题,深入分析实际的航天器操作系统内存管理系统的特性:探索基于分层迭代的语义描述与验证的一般性方法与理论,并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统.该研究成果有望直接应用于我国新一代的航天器系统.
- 下次火星之旅前,您需要了解的七个航天器子系统
- 基于代理的航天器自主健康故障仿真验证系统 11次下载
- 多航天器交会对接精密时间基准方法研究 7次下载
- 多航天器交会对接的联合闭环测试系统 7次下载
- 航天器在轨状态基线控制系统设计方案 14次下载
- 通用高可靠性航天器供配电测试设备的设计方案 21次下载
- 基于图像轮廓检测的航天器目标跟踪控制系统 34次下载
- 基于CPCI总线的航天器通信信号设备故障检测 12次下载
- 基于物联网和ADRC的航天器在轨姿态监测系统 13次下载
- 基于业务/数据中台的多航天器综合评估系统架构 6次下载
- 航天器姿态动力学与控制的详细资料说明 1次下载
- 航天器姿态跟踪系统自适应滑模控制_李隆 4次下载
- 面向航天器舱布局CAD系统的公理化设计研究 0次下载
- 航空航天器供电系统
- 基于模型的航天器在轨传感器故障诊断方法
- 航空航天领域中的GaN功率器件(上) 773次阅读
- Linux内核内存管理架构解析 539次阅读
- 航空航天电线电缆的应用 570次阅读
- 卫星抗辐射加固设计方案 2795次阅读
- 使用MM32F3270基于Azure RTOS动态内存管理的应用 792次阅读
- 内存的基本概念以及操作系统的内存管理算法 1486次阅读
- 太空任务的热管理设计 1639次阅读
- Linux内存管理体系介绍 1461次阅读
- Linux内存管理之伙伴系统 1229次阅读
- 可重复使用航天器都有哪些类型?浅谈航天器的发展过程 2753次阅读
- 基于仪器总线平台和传感器技术设计航天器动力学综合测试系统 677次阅读
- 嵌入式系统内存管理机制详解 4430次阅读
- 如何管理Linux 的内存分页? 3713次阅读
- 一文读懂 Spark 内存管理 914次阅读
- Linux系统内存管理的特点详解 3931次阅读
下载排行
本周
- 1HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 2H桥中的电流感测
- 545.39KB | 7次下载 | 免费
- 3雷达的基本分类方法
- 1.25 MB | 4次下载 | 4 积分
- 4I3C–下一代串行通信接口
- 608.47KB | 3次下载 | 免费
- 5电感技术讲解
- 827.73 KB | 2次下载 | 免费
- 6从 MSP430™ MCU 到 MSPM0 MCU 的迁移指南
- 1.17MB | 2次下载 | 免费
- 7有源低通滤波器设计应用说明
- 1.12MB | 2次下载 | 免费
- 8RA-Eco-RA2E1-48PIN-V1.0开发板资料
- 35.59 MB | 2次下载 | 免费
本月
- 12024年工控与通信行业上游发展趋势和热点解读
- 2.61 MB | 763次下载 | 免费
- 2HFSS电磁仿真设计应用详解PDF电子教程免费下载
- 24.30 MB | 126次下载 | 1 积分
- 3继电保护原理
- 2.80 MB | 36次下载 | 免费
- 4正激、反激、推挽、全桥、半桥区别和特点
- 0.91 MB | 32次下载 | 1 积分
- 5labview实现DBC在界面加载配置
- 0.57 MB | 21次下载 | 5 积分
- 6在设计中使用MOSFET瞬态热阻抗曲线
- 1.57MB | 15次下载 | 免费
- 7GBT 4706.1-2024家用和类似用途电器的安全第1部分:通用要求
- 7.43 MB | 13次下载 | 免费
- 8PADS-3D库文件
- 2.70 MB | 10次下载 | 2 积分
总榜
- 1matlab软件下载入口
- 未知 | 935113次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420061次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233084次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191360次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183329次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81578次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73804次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65985次下载 | 10 积分
评论
查看更多