航天高可靠嵌入式实时操作系统原理与技术

售价 降价通知
市场价 ¥133.36
会员等级价格
  • 上架时间
    2022-04-16
  • 累积评价0人评价

  • 累计销量

  • 赠送积分95

  • 数量
    减少数量 增加数量   有货
平台自营
商家名称:
标准查询网
客服邮件:
2591325828@qq.com
客服电话:
010-62993931
在线客服:
QQ

扫一扫,手机访问微商城

推荐精品

同类品牌

最近上新

  • 商品名称:航天高可靠嵌入式实时操作系统原理与技术
  • 商品编号:11072464
  • 品牌:
  • 上架时间:2022-04-16
内容简介:

     嵌入式软件是航天型号软件系统的关键组成部分。随着航天型号的快速发展,嵌入式软件规模及复杂度呈快速递增态势。为了降低软件开发复杂度,提高系统可靠性,采用高可靠嵌入式实时操作系统已经成为了航天型号研制的必然选择和迫切需求,嵌入式实时操作系统已经成为航天型号发展的关键支撑技术之一。国内对高可靠嵌入式实时操作系统的研究和应用还比较少,《航天高可靠嵌入式实时操作系统原理与技术》全面分析了国内外高可靠嵌入式实时操作系统理论、技术、产品研发和应用进展,并对研发航天高可靠嵌入式实时操作系统的理论、方法和相关技术进行了深入阐述,其中很多成果尚属国内。《航天高可靠嵌入式实时操作系统原理与技术》主要面向的读者是型号软件的开发人员、调试人员、测试人员以及管理人员,也可作为相关专业高等院校师生的参考书。

目录:
第1章 高可靠实时操作系统
1.1高可靠实时操作系统概述
1.2高可靠RTOS发展现状及趋势
1.3航天对高可靠RTOS的需求
1.4本书的结构

第2章 安全关键软件设计标准及规范概述
2.1软件可靠性
2.1.1软件可靠性概念
2.1.2软件可靠性评价
2.2高可靠软件设计
2.2.1软件可靠性工程
2.2.2软件可靠性设计技术
2.3软件可靠性与防危性区别
2.4国外安全关键软件研制标准
2.4.1DO-178B标准
2.4.2ARINC653标准
2.4.3NASA标准
2.4.4ECSS标准
2.4.5DOD标准
2.5国内安全关键软件研制标准
2.5.1GJB 2786-96标准
2.5.2GJB/Z 102-97标准
2.5.3GJB 438A-97标准

第3章 RTOS基本概念和原理
3.1RTOS总体结构
3.2RTOS内核
3.2.1RTOS内核概述
3.2.2任务调度管理
3.2.3内存管理
3.2.4同步与通信
3.2.5中断/异常管理
3.2.6时钟定时器
3.3设备管理与驱动
3.3.1设备管理
3.3.2设备驱动
3.4嵌入式文件系统
3.4.1概述
3.4.2Flash文件系统

第4章 国外航天应用的RTOS产品
4.1VxWorks产品介绍
4.1.1VxWorks基本结构
4.1.2VxWorks主流版本
4.2Integrity产品介绍
4.2.1Integrity-178B RTOS
4.2.2Integrity RTOS
4.2.3Integrity PC
4.3RTEMS产品介绍
4.3.1RTEMS内核结构及功能特点
4.3.2RTEMS版本发展
4.4QNX产品介绍
4.4.1QNX Neutrino RTOS
4.4.2QNX Neutrino RTOS Secure Kernel
4.4.3QNX Neutrino RTOS Safe Kernel
4.4.4QNX RTOS v4
4.5LynxOS产品介绍
4.5.1LynxOS
4.5.2LynxOS-178B
4.5.3LynxOS-SE

第5章 高可靠RTOS设计原理
5.1RTOS可靠性设计理念
5.1.1RTOS可靠性设计面临问题
5.1.2高可靠RTOS设计模型
5.1.3可靠性与性能的权衡设计
5.2高可靠RTOS设计范例
5.2.1分区操作系统
5.2.2基于虚拟化的安全操作系统
5.2.3基于二代微内核的安全操作系统
5.3RTOS验证技术

第6章 高可靠RTOS内核实现技术
6.1容错实时调度
6.1.1容错实时调度概述
6.1.2容错实时调度算法介绍
6.2内存保护
6.2.1内存保护的重要性
6.2.2多层次内存保护技术
6.2.3内存泄露的动态监测及回收
6.2.4蒙德里安内存保护
6.3空间辐照环境下的内存数据可靠存储
6.3.1空间辐照概述
6.3.2冗余内存分配技术
6.3.3内存冗余编码技术
6.4资源竞争防护
6.4.1资源竞争问题及防护技术
6.4.2动态检测算法
6.4.3静态检测算法

第7章 设备驱动及可靠性增强技术
7.1高可靠RTOS设备驱动技术
7.1.1设备驱动概述
7.1.2设备驱动出现问题分析
7.1.3提高驱动可靠性的技术概述
7.1.4设备驱动加固技术介绍
7.2高可靠RTOS容错技术
7.2.1高可靠RTOS容错技术意义
7.2.2容错技术
7.2.3错误屏蔽策略
7.2.4错误恢复策略
7.2.5RTOS容错实现技术
7.3RTOS健康管理
7.3.1健康管理
7.3.2ASAAC中的系统管理
7.3.3ARINC653中的健康管理
7.3.4基于模型的健康管理技术

第8章 RTOS测试技术和方法
8.1RTOS测试技术概述
8.1.1软件测试是RTOS可靠性保障的重要手段
8.1.2RTOS测试方法分类
8.2RTOS覆盖率测试
8.2.1覆盖率测试
8.2.2覆盖率测试工具简介
8.2.3目标码覆盖率测试
8.3RTOS综合功能测试
8.3.1RTOS功能点
8.3.2RTOS综合功能测试模型
8.3.3多维测试模型
8.4RTOS性能测试
8.4.1时间参考
8.4.2性能指标
8.4.3最大关中断时间比较方法
8.5RTOS基准测试
8.5.1RTOS基准测试套件
8.5.2Rhealstone
8.5.3ThreadMetric
8.5.4HartStone
8.5.5混合负载基准测试
8.6RTOS测试支撑技术
8.6.1RTOS接口测试自动化技术
8.6.2RTOS可移植接口技术

参考文献
商品评价
  • 0%

    好评度

  • 好评(0%)
    中评(0%)
    差评(0%)
  • 全部评价(0)
  • 好评(0)
  • 中评(0)
  • 差评(0)
  • 用户晒单(0)
售后保障
售前服务电话:010-62993931
售后服务电话:010-62993931
本商城向您保证所售商品均为正品行货。本商城还为您提供具有竞争力的商品价格和运费政策,请您放心购买!

注:因厂家会在没有任何提前通知的情况下更改产品包装、产地或者一些附件,本司不能确保客户收到的货物与商城图片、产地、附件说明完全一致。只能确保为原厂正货!若本商城没有及时更新,请大家谅解!
权利声明:
本商城上的所有商品信息、客户评价、商品咨询、网友讨论等内容,是标准查询网重要的经营资源,未经许可,禁止非法转载使用。

注:本站商品信息均来自于厂商,其真实性、准确性和合法性由信息拥有者(厂商)负责。本站不提供任何保证,并不承担任何法律责任。

常见问题
下单后可以修改订单吗?

由本网站发货的订单,在订单发货之前可以修改,打开“订单详情”页面,若已经出现物流信息,则表示订单无法修改。

无货商品几天可以到货?

您可以通过以下方法获取商品的到货时间:若商品页面中,显示“无货”时:商品具体的到货时间是无法确定的,您可以通过商品页面的“到货通知”功能获得商品到货提醒。

订单如何取消?

如订单处于暂停状态,进入“我的订单"页面,找到要取消的订单,点击“取消订单”按钮,若已经有物流信息,则不能取消订单。

可以开发票吗?

本网站所售商品都是正品行货,均开具正规发票(图书商品用户自由选择是否开发票),发票金额含配送费金额,另有说明的除外。

如何联系商家?

在商品页面右则,您可以看到卖家信息,点击“联系客服”按钮,咨询卖家的在线客服人员,您也可以直接致电。

收到的商品少了/发错了怎么办?

同个订单购买多个商品可能会分为一个以上包裹发出,可能不会同时送达,建议您耐心等待1-2天,如未收到,本网站自营商品可直接联系标准查询网在线客服。

如何申请退货/换货?

登陆网站,进入“我的订单”,点击客户服务下的返修/退换货或商品右则的申请返修/退换货,出现返修及退换货首页,点击“申请”即可操作退换货及返修,提交成功后请耐心等待,由专业的售后工作人员受理您的申请。

退/换货需要多长时间?

一般情况下,退货处理周期(不包含检测时间):自接收到问题商品之日起 7 日之内为您处理完成,各支付方式退款时间请点击查阅退款多久可以到账;
换货处理周期:自接收到问题商品之日起 15 日之内为您处理完成。

温馨提示

确定取消
温馨提示

关闭
您尚未登录

用户登陆

立即注册
忘记密码?