电子发烧友App

硬声App

0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示
电子发烧友网>电子资料下载>电子论文>嵌入式技术论文>基于Event-B的航天器内存管理系统

基于Event-B的航天器内存管理系统

2017-12-29 | rar | 2.33 MB | 次下载 | 2积分

资料介绍

  内存管理系统位于操作系统内核的最底层,为上层提供内存分配和回收机制.在航天器这类安全攸关的关键系统中,其可靠性和安全性至关重要,必须要考虑到强实时性、有限空间限制、高分配效率以及各种边界条件约束,因此,系统通常采用较为复杂的数据结构和算法来管理内存空间,同时需要采用非常严格的形式化方法来保证航天器这类安全攸关系统的高可信性.对复杂内存管理系统的形式化验证也会比之前的验证工作带来更多难题,主要体现在:内存管理模块中的复杂数据结构的形式化描述,操作的规范语义,行为的建模,内部函数的规范及断言定义与循环不变式的定义,实时性验证等方面.针对这些问题,深入分析实际的航天器操作系统内存管理系统的特性:探索基于分层迭代的语义描述与验证的一般性方法与理论,并应用这些理论方法来验证一个具有实际应用的航天嵌入式操作系统的内存管理系统.该研究成果有望直接应用于我国新一代的航天器系统.

基于Event-B的航天器内存管理系统

下载该资料的人也在下载 下载该资料的人还在阅读
更多 >

评论

查看更多

下载排行

本周

  1. 1HFSS电磁仿真设计应用详解PDF电子教程免费下载
  2. 24.30 MB   |  126次下载  |  1 积分
  3. 2H桥中的电流感测
  4. 545.39KB   |  7次下载  |  免费
  5. 3雷达的基本分类方法
  6. 1.25 MB   |  4次下载  |  4 积分
  7. 4I3C–下一代串行通信接口
  8. 608.47KB   |  3次下载  |  免费
  9. 5电感技术讲解
  10. 827.73 KB  |  2次下载  |  免费
  11. 6从 MSP430™ MCU 到 MSPM0 MCU 的迁移指南
  12. 1.17MB   |  2次下载  |  免费
  13. 7有源低通滤波器设计应用说明
  14. 1.12MB   |  2次下载  |  免费
  15. 8RA-Eco-RA2E1-48PIN-V1.0开发板资料
  16. 35.59 MB  |  2次下载  |  免费

本月

  1. 12024年工控与通信行业上游发展趋势和热点解读
  2. 2.61 MB   |  763次下载  |  免费
  3. 2HFSS电磁仿真设计应用详解PDF电子教程免费下载
  4. 24.30 MB   |  126次下载  |  1 积分
  5. 3继电保护原理
  6. 2.80 MB   |  36次下载  |  免费
  7. 4正激、反激、推挽、全桥、半桥区别和特点
  8. 0.91 MB   |  32次下载  |  1 积分
  9. 5labview实现DBC在界面加载配置
  10. 0.57 MB   |  21次下载  |  5 积分
  11. 6在设计中使用MOSFET瞬态热阻抗曲线
  12. 1.57MB   |  15次下载  |  免费
  13. 7GBT 4706.1-2024家用和类似用途电器的安全第1部分:通用要求
  14. 7.43 MB   |  13次下载  |  免费
  15. 8PADS-3D库文件
  16. 2.70 MB   |  10次下载  |  2 积分

总榜

  1. 1matlab软件下载入口
  2. 未知  |  935113次下载  |  10 积分
  3. 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
  4. 1.48MB  |  420061次下载  |  10 积分
  5. 3Altium DXP2002下载入口
  6. 未知  |  233084次下载  |  10 积分
  7. 4电路仿真软件multisim 10.0免费下载
  8. 340992  |  191360次下载  |  10 积分
  9. 5十天学会AVR单片机与C语言视频教程 下载
  10. 158M  |  183329次下载  |  10 积分
  11. 6labview8.5下载
  12. 未知  |  81578次下载  |  10 积分
  13. 7Keil工具MDK-Arm免费下载
  14. 0.02 MB  |  73804次下载  |  10 积分
  15. 8LabVIEW 8.6下载
  16. 未知  |  65985次下载  |  10 积分