诺森图书音像专营店
  • 扫码下单

  • 音像可信的航天嵌入式控制软件开发技术杨孟飞 等 著
  • 正版
    • 作者: 杨孟飞 等 著著 | 杨孟飞 等 著编 | 杨孟飞 等 著译 | 杨孟飞 等 著绘
    • 出版社: 国防工业音像出版社
    • 出版时间:2017-12-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    店铺装修中

    商家:
    诺森图书音像专营店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    诺森图书音像专营店

  • 商品参数
    • 作者: 杨孟飞 等 著著| 杨孟飞 等 著编| 杨孟飞 等 著译| 杨孟飞 等 著绘
    • 出版社:国防工业音像出版社
    • 出版时间:2017-12-01
    • 版次:1
    • 印次:1
    • 字数:477千字
    • 页数:176
    • 开本:16开
    • ISBN:9787118112665
    • 版权提供:国防工业音像出版社
    • 作者:杨孟飞 等 著
    • 著:杨孟飞 等 著
    • 装帧:精装
    • 印次:1
    • 定价:62.00
    • ISBN:9787118112665
    • 出版社:国防工业出版社
    • 开本:16开
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2017-12-01
    • 页数:176
    • 外部编号:1201711744
    • 版次:1
    • 成品尺寸:暂无

    章 嵌入式软件可信保障技术体系
    1.1 航天嵌入式控制系统的组成和特点
    1.2 航天嵌入式控制软件中的可信问题
    1.2.1 实时问题
    1.2.2 内存使用问题
    1.. 数据使用问题
    1.2.4 计算问题
    1.2.5 协议正确问题
    1.2.6 状态转换问题
    1.2.7 故障处理问题
    1.2.8 编译等价问题
    1.2.9 编码问题
    1.2.10 各阶段一致问题
    1.3 可信保障五维体系结构模型
    1.4 实例:时序保障问题分析
    1.4.1 需求分析阶段的保障
    1.4.2 设计阶段的保障
    1.4.3 编码阶段的保障
    1.4.4 测试阶段的保障
    1.4.5 方法、技术和工具
    1.4.6 度量
    第2章 航天控制软件需求建模与验
    2.1 需求建模语言
    2.1.1 建模语法定义
    2.1.2 建模语义解释
    2.2 需求质描述语言
    2.2.1 质描述语法定义
    2.2.2 质描述语义解释
    2.. 质描述模板
    . 分析与验方法
    ..1 类型检查
    ..2 数据流分析
    .. 原型生成与快速
    ..4 随机语义
    ..5 概率模型检查
    2.4 SPRADL应用框架
    第3章 程序实现正确保障
    3.1 可信编程规范
    3.1.1 禁止使用的C语言特
    3.1.2 语言使用规则
    3.1.3 领域相关规则
    3.1.4 环境相关规则
    3.1.5 检测工具介绍
    3.2 数值质分析技术
    3.2.1 基于抽象解释的数值质分析技术
    3.2.2 区间抽象域的基本定义及作3.. 区间抽象域的幂集拓展
    3.2.4 基于浮点区间幂集的程序分析方法
    3.3 数据竞争预防和检测技术
    3.3.1 典型数据竞争案例及分析
    3.3.2 避免数据竞争的设计策略
    3.3.3 数据竞争检测方法及工具
    3.4 单元测试用例自动生成技术
    3.4.1 测试技术
    3.4.2 应用实例
    3.5 数字虚拟测试技术
    3.5.1 数字虚拟测试平台的功能
    3.5.2 数字虚拟测试平台构建技术
    3.5.3 数字虚拟测试平台
    第4章 嵌入式软件形式化验
    4.1 模型检验
    4.1.1 软件模型检验技术
    4.1.2 嵌入式软件模型检验技术
    4.1.3 模型检验工具
    4.1.4 面向源程序的模型检验应用举例
    4.2 定理明
    4.2.1 定理明技术
    4.2.2 嵌入式操作系统的形式化验举例
    第5章 嵌入式软件可信保障集成环境
    5.1 集成环境的需求和功能
    5.2 集成环境的集成方法
    5.2.1 集成对象
    5.2.2 集成方法
    5.3 集成环境实现
    5.3.1 集成环境体系架构
    5.3.2 集成环境的实现技术
    5.3.3 设计实现
    5.3.4 工具集成与应用举例
    缩略语
    参考文献

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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