实时嵌入式软件

作品数：36被引量：164H指数：6
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：刘斌殷永峰阮镰钟德明陆民燕更多>>
相关机构：北京航空航天大学中国航天标准化研究所大连理工大学中国电子科技集团第十研究所更多>>
相关期刊：《电子测试》《无线电工程》《小型微型计算机系统》《计算机光盘软件与应用》更多>>
相关基金：国家自然科学基金中国航空科学基金国防科技技术预先研究基金“九五”国家科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
实时嵌入式软件时间抽象状态机的扩展被引量：5
《北京大学学报（自然科学版）》2019年第2期197-208,共12页单锦辉 张路 王金波 张涛 
国家自然科学基金(61225007)资助
针对时间抽象状态机(TASM)存在的不足,对TASM进行扩展,增加数组数据类型、while循环处理规则以及"%","&","|","^",">>"和"<<"等运算符,定义扩展后TASM的语法和语义。采用扩展后的TASM为实际的实时嵌入式软件需求建模,通过实验,验证了采...
关键词：需求建模语言 实时 嵌入式软件 形式化定义 扩展 时间抽象状态机 
实时嵌入式软件的测试技术被引量：5
《电子测试》2018年第10期88-89,共2页葛德明 
本文主要描述了现在的实时嵌入软件的应用市场状况和面临的测试问题,并通过这些状况和问题分析实时嵌入式软件的行业现状,和未来面临的问题,并展望了实时嵌入式软件的未来前景。
关键词：软件测试效率 实时嵌入式软件 测试质量 
实时嵌入式软件测试策略研究被引量：1
《信息通信》2016年第4期166-167,共2页皮明峰 陈侃 
随着社会的不断进步,经济的快速发展,我国人们的物质生活水平不断提高,各种软件系统也开始涌入人们的生产、生活。嵌入式软件系统主要是指能够独立的执行特定功能的专用的计算机系统,它主要是由微型处理器、定时器以及微型控制、存储器...
关键词：实时嵌入式软件 测试策略 研究 
基于时间STM的软件形式化建模与验证方法被引量：6
《软件学报》2015年第2期223-238,共16页侯刚 周宽久 常军旺 王洁 李明楚 
国家自然科学基金(61402073;61272174)
状态迁移矩阵(state transition matrix,简称STM)是一种基于表结构的状态机建模方法,前端为表格形式,后端则具有严格的形式化定义,用于建模软件系统行为.但目前STM不具有时间语义,这极大地限制了该方法在实时嵌入式软件建模方面的应用....
关键词：时间STM 界限模型检测 时间计算树逻辑 实时嵌入式软件 
基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估被引量：4
《兵工学报》2015年第2期363-373,共11页许玉堂 殷永峰 孙静 张弛 刘斌 
航空科学基金项目(20140751008);中央高校基本科研业务费专项资金项目(YWF-11-03-Q-114)
软件可靠性是软件质量评估最重要的指标之一,随着软件工程和组件重用技术的发展,近年来基于体系结构的软件可靠性评估已经成为工程研究的热点之一。为有效地提高软件可靠性,调研现有体系结构的可靠性评估模型,给出了现有体系结构模型的...
关键词：计算机软件 软件体系结构 可靠性评估 时间扩展Petri网 
浅析实时嵌入式软件的测试技术
《中国科技期刊数据库 科研》2015年第1期00171-00171,共1页吴敏 
在当前计算机软件发展领域中,实时嵌入式软件的开发和应用为其中一个热点内容,因此,为了能够将实时嵌入式软件的质量提升上来,需要我们对这方面的测试技术扎实的进行掌握,所以,对于这方面的工作,需要我们高度的重视起来,进而为提升软件...
关键词：实时 嵌入式软件 测绘技术 
Cirrus Logic CS35L32 D类扩音器提升LG高端智能手机性能
《单片机与嵌入式系统应用》2014年第10期88-88,共1页
Cirrus Logic公司宣布将其产品CS35L32D类扩音器置入LG全新旗舰智能手机G3内部。CS35L32高性能扩音器解决方案包括带有专属、自适应实时嵌入式软件的先进扩音器硬件，能够监测并保护扬声器、增强音质，以确保优化的音频性能及音质。
关键词：CIRRUS 手机性能 智能手机 扩音器 LG D类 Logic公司 实时嵌入式软件 
基于故障注入的实时嵌入式软件仿真测试技术研究被引量：3
《导航定位与授时》2014年第3期69-73,共5页苏银科 李艳雷 周平 常晓航 
由于强实时性、参与闭环控制、软硬件耦合及可靠性要求高等特点,飞行控制系统嵌入式软件在软件研制、测试及验收阶段往往缺少动态测试环境。本文在仿真测试技术基础上,针对飞行控制系统嵌入式软件的特点与测试需求,进行了基于故障注入...
关键词：实时嵌入式软件 软件测试 故障注入 仿真测试 
实时嵌入式软件测试策略研究被引量：1
《计算机光盘软件与应用》2011年第18期198-199,共2页张峰 贺英杰 王斌 
实时嵌入式软件的应用与开发是当今计算机软件发展领域的一个热点，要保证实时嵌入式软件的质量是非常重要的。本文首先分析了实时嵌入式软件的特点，接着分析了实时嵌入式软件测试的总体结构和宿主机及目标机的体系结构，探讨了脚本语...
关键词：实时嵌入式软件 软件测试 脚本 
基于Python的实时嵌入式软件测试脚本被引量：3
《信息与电脑（理论版）》2011年第7期27-28,共2页董宇晖 
计算机技术应用的不断普及,使得实时嵌入式软件在航空、航天、工业控制、交通、医疗和军事安全等诸多领域发挥着愈来愈重要的作用。不难看出,这些领域对软件的可靠性有很严格的要求,因为该领域的软件一旦失败,就会直接或间接影响人类的...
关键词：嵌入式 PYTHON 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部