返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:
本店所有商品

  • 醉染图书航天高可靠嵌入式实时操作系统原理与技术9787515902548
  • 正版全新
    • 作者: 程胜,蔡铭 著著 | 程胜,蔡铭 著编 | 程胜,蔡铭 著译 | 程胜,蔡铭 著绘
    • 出版社: 中国宇航出版社
    • 出版时间:2012-08-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 程胜,蔡铭 著著| 程胜,蔡铭 著编| 程胜,蔡铭 著译| 程胜,蔡铭 著绘
    • 出版社:中国宇航出版社
    • 出版时间:2012-08-01
    • 开本:大32开
    • ISBN:9787515902548
    • 版权提供:中国宇航出版社
    • 作者:程胜,蔡铭 著
    • 著:程胜,蔡铭 著
    • 装帧:精装
    • 印次:暂无
    • 定价:88.00
    • ISBN:9787515902548
    • 出版社:中国宇航出版社
    • 开本:大32开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2012-08-01
    • 页数:暂无
    • 外部编号:1200342861
    • 版次:暂无
    • 成品尺寸:暂无


    章 高可靠实时操作系统 1.1 高可靠实时操作系统概述 1.2 高可靠RTOS发展现状及趋势 1.3 航天对高可靠RTOS的需求 1.4 本书的结构 第2章 安全关键软件设计标准及规范概述 2.1 软件可靠 21.1 软件可靠概念 2.1.2 软件可靠评 2.2 高可靠软件设计 2.2.1 软件可靠工程 2.2.2 软件可靠设计技术 . 软件可靠与防危区 2.4 国外安全关键软件研制标准 2.4.1 DO-178B标准 2.4.2 ARINC653标准 2.4.3 NASA标准 2.4.4 ECSS标准 2.4.5 DOD标准 2.5 国内安全关键软件研制标准 2.5.1 GJB 2786-96标准 2.5.2 GJB/Z 102-97标准 2.5.3 GJB 438A-97标准 第3章 RTOS基本概念和原理 3.1 RTOS总体结构 3.2 RTOS内核 3.2.1 RTOS内核概述 3.2.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.2 Flas件系统 第4章 国外航天应用的RTOS产品 4.1 VxWorks产品介绍 4.1.1 VxWorks基本结构 4.1.2 VxWorks主流版本 4.2 Integrity产品介绍 4.2.1 Integrity-178B RTOS 4.2.2 Integrity RTOS 4.. Integrity PC 4.3 RTEMS产品介绍 4.3.1 RTEMS内核结构及功能特点 4.3.2 RTEMS版本发展 4.4 NX产品介绍 4.4.1 NX Neutrino RTOS 4.4.2 NX Neutrino RTOS Secure Kernel 4.4.3 NX Neutrino RTOS Safe Kernel 4.4.4 NX RTOS v4 4.5 LynxOS产品介绍 4.5.1 LynxOS 4.5.2 LynxOS-178B 4.5.3 LynxOS-SE 第5章 高可靠RTOS设计原理 5.1 RTOS可靠设计理念 5.1.1 RTOS可靠设计面临问题 5.1.2 高可靠RTOS设计模型 5.1.3 可靠与能的权衡设计 5.2 高可靠RTOS设计范例 5.2.1 分区操作系统 5.2.2 基于虚拟化的安全操作系统 5.. 基于二代微内核的安全操作系统 5.3 RTOS验技术 第6章 高可靠RTOS内核实现技术 6.1 容错实时调度 6.1.1 容错实时调度概述 6.1.2 容错实时调度算法介绍 6.2 内存保护 6.2.1 内存保护的重要 62.2 多层次内存保护技术 6.. 内存泄露的动态监测及回收 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.. 错误屏蔽策略 7.2.4 错误恢复策略 7.2.5 RTOS容错实现技术 7.3 RTOS健康管理 7.3.1 健康管理 7.3.2 ASAAC中的系统管理 7.3.3 ARINC653中的健康管理 7.3.4 基于模型的健康管理技术 第8章 RTOS测试技术和方法 8.1 RTOS测试技术概述 8.1.1 软件测试是RTOS可靠保障的重要手段 8.1.2 RTOS测试方法分类 8.2 RTOS覆盖率测试 8.2.1 覆盖率测试 8.2.2 覆盖率测试工具简介 8.. 目标码覆盖率测试 8.3 RTOS综合功能测试 8.3.1 RTOS功能点 8.3.2 RTOS综合功能测试模型 8.3.3 多维测试模型 8.4 RTOS能测试 8.4.1 时间参考 8.4.2 能指标 8.4.3 关中断时间比较方法 8.5 RTOS基准测试 8.5.1 RTOS基准测试套件 8.5.2 Rhealstone 8.5.3 ThreadMetric 8.5.4 HartStone 8.5.5 混合负载基准测试 8.6 RTOS测试支撑技术 8.6.1 RTOS接口测试自动化技术 8.6.2 RTOS可移植接口技术 参考文献
    【内容简介】


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


    【目录】

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






    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购