实名认证领苏宁支付券立即领取 >
¥
提前抢
SUPER会员专享
由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
欢迎光临本店铺
点我可查看更多商品哦~
100%刮中券,最高50元无敌券,券有效期7天
亲,今日还有0次刮奖机会
我的云钻:0
您的云钻暂时不足,攒足云钻再来刮
恭喜获得1张券!
今天的机会已经全部用完了,请明天再来
恭喜刮出两张券,请选择一张领取
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
音像可信的航天嵌入式控制软件开发技术杨孟飞 等 著
¥ ×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 工具集成与应用举例缩略语参考文献
抢购价:¥ 38.00
易购价:¥ 38.00
注:参加抢购将不再享受其他优惠活动
亲,很抱歉,您购买的宝贝销售异常火爆,让小苏措手不及,请稍后再试~
验证码错误
看不清楚?换一张
确定关闭
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
查看我的收藏夹
非常抱歉,您前期未参加预订活动,无法支付尾款哦!
关闭
抱歉,您暂无任性付资格
继续等待
0小时0分
立即开通
SUPER会员