检索结果-南通市图书馆

电子设计应用 2008年第3期 128-128页

风河推出开发调试工具Wind River Workbench3．0；The MathWorks发布Embedded IDE Link MU。

关键词：嵌入式软件 Embedded 调试工具 Link IDE

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

嵌入式软件

软件世界 2007年第24期 54-54页

MiniGUI是为嵌入式设备开发人员用于构建嵌入式图形用户界面的工具，是一种面向实时嵌入式系统的轻量级GUI，作为一款根据嵌入式系统应用特点量身定做的完整的图形支持系统MiniGUI将底层操作系统及硬件平台差别隐藏了起来，并对上层应... 详细信息

MiniGUI是为嵌入式设备开发人员用于构建嵌入式图形用户界面的工具，是一种面向实时嵌入式系统的轻量级GUI，作为一款根据嵌入式系统应用特点量身定做的完整的图形支持系统MiniGUI将底层操作系统及硬件平台差别隐藏了起来，并对上层应用程序提供了一致的功能特性。

关键词：嵌入式软件嵌入式图形用户界面 MiniGUI 实时嵌入式系统应用程序设备开发硬件平台操作系统

在线全文

学校读者我要写书评

暂无评论

嵌入式软件可靠性仿真测试环境框架

计算机工程 2006年第19期32卷 43-45,48页

作者：王轶辰刘斌阮镰北京航空航天大学工程系统工程系北京100083

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍,对测试环境中的测试运行时组件进行了功能需求的分析,构建出测试运行时组件的框架实现,借助于UML中的抽象类图和顺... 详细信息

提出了一种针对嵌入式软件进行可靠性测试的仿真测试环境框架。分析了仿真测试环境的系统特性并对其功能组件进行了介绍,对测试环境中的测试运行时组件进行了功能需求的分析,构建出测试运行时组件的框架实现,借助于UML中的抽象类图和顺序图描述对框架的静态特征和动态特征作了介绍,总结了利用框架实现仿真测试环境的优势。

关键词：嵌入式软件软件可靠性测试可靠性测试环境半实物仿真测试

在线全文

学校读者我要写书评

暂无评论

嵌入式软件算法级功耗BP网络模型研究

电子科技大学学报 2011年第6期40卷 921-926页

作者：刘啸滨郭兵沈艳王继禾伍元胜四川大学计算机学院成都610065 成都信息工程学院控制工程学院成都610225

从算法级分析软件功耗和软件特征的关联关系,对嵌入式软件的时间复杂度、空间复杂度和输入规模3个特征进行度量,提出一种基于算法复杂度的嵌入式软件功耗宏模型。设计、训练一种BP神经网络,用于实现功耗函数逼近。仿真实验表明,该功耗... 详细信息

从算法级分析软件功耗和软件特征的关联关系,对嵌入式软件的时间复杂度、空间复杂度和输入规模3个特征进行度量,提出一种基于算法复杂度的嵌入式软件功耗宏模型。设计、训练一种BP神经网络,用于实现功耗函数逼近。仿真实验表明,该功耗函数的估算结果和真实值误差在10%以内,可用于快速估算软件算法在一定输入规模情况下的功耗值,为下一步开展功耗优化工作打下基础。

关键词：算法级 BP神经网络复杂度嵌入式软件功耗模型

在线全文

学校读者我要写书评

暂无评论

嵌入式软件开发平台抽象层设计的一种思路

计算机工程 2006年第6期32卷 59-60,63页

作者：丁英丽殳国华上海交通大学电子信息与电气工程学院上海200240

能否设计一个可屏蔽不同嵌入式RTOS差异的平台抽象层,对于软件产品能否迅速向新的RTOS平台移植、能否迅速提供多平台的支持,以较低成本快速应对技术的改进和市场的变化等方面都非常关键。平台抽象层设计的原理及设计过程中需要考虑的因... 详细信息

能否设计一个可屏蔽不同嵌入式RTOS差异的平台抽象层,对于软件产品能否迅速向新的RTOS平台移植、能否迅速提供多平台的支持,以较低成本快速应对技术的改进和市场的变化等方面都非常关键。平台抽象层设计的原理及设计过程中需要考虑的因素是讨论的主题。

关键词：平白抽象层实时操作系统嵌入式软件

在线全文

学校读者我要写书评

暂无评论

嵌入式软件测试开发环境的框架设计

北京航空航天大学学报 2005年第3期31卷 336-340页

作者：章亮刘斌陆民燕北京航空航天大学工程系统工程系北京100083

采用软件设计上的复用思想 ,对嵌入式软件仿真测试环境进行框架的设计 ,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件 ,节省设计的时间和费用 .论述了由框架开发软件的过程 ,并把此过程应用于测试环境 ;对嵌入式软件仿真... 详细信息

采用软件设计上的复用思想 ,对嵌入式软件仿真测试环境进行框架的设计 ,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件 ,节省设计的时间和费用 .论述了由框架开发软件的过程 ,并把此过程应用于测试环境 ;对嵌入式软件仿真测试环境进行总体分析 ,确定了它的 3个主要组成部分 ;归纳出作为测试环境重要组成部分的测试开发环境的基本功能 ,并使用专门针对框架开发的UML F建模语言设计了一个框架 ;对已开发成功的测试开发环境框架 ,提出了具体的框架适配方案 .

关键词：嵌入式软件软件测试测试环境框架

在线全文

学校读者我要写书评

暂无评论

嵌入式软件模拟测试平台的设计与实现技术

计算机工程 2006年第15期32卷 247-249页

作者：王海晟楼文晓西安理工大学计算机学院西安710048 西安软件工程技术研究中心西安710075

总结了嵌入式软件模拟测试平台研制过程中所遇到的技术难点和相应的解决途径。该平台主要包括静态分析和动态模拟运行两个子系统,静态分析部分拥有逆向生成程序流程图的功能。介绍了生成“流程图图块文件”的思想。CPU模拟是该平台的核... 详细信息

总结了嵌入式软件模拟测试平台研制过程中所遇到的技术难点和相应的解决途径。该平台主要包括静态分析和动态模拟运行两个子系统,静态分析部分拥有逆向生成程序流程图的功能。介绍了生成“流程图图块文件”的思想。CPU模拟是该平台的核心,给出了CPU模拟的工作方式和流程,以及测试覆盖率的统计方案。采用了两种存储器体系结构,寻址方式的模拟不仅保证了正确地确定操作数,而且能够正确统计指令执行时间。介绍了模拟时钟的设计思想,以及中断控制模拟器的工作原理,描述了中断信号的发生、中断优先级的控制措施。

关键词：嵌入式软件模拟测试 ARM 中断时钟周期

在线全文

学校读者我要写书评

暂无评论

嵌入式软件智能合成框架及关键科学问题

中国空间科学技术 2022年第4期42卷 1-7页

作者：杨孟飞顾斌段振华金芝詹乃军董云卫田聪李戈董晓刚李晓锋中国空间技术研究院北京100094 空间智能控制技术国家级重点实验室北京100094 北京控制工程研究所北京100190 西安电子科技大学计算机科学与技术学院西安710071 北京大学计算机学院北京100871 中国科学院软件研究所天基综合信息系统重点实验室北京100190 西北工业大学计算机学院西安710072

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入... 详细信息

程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一。首先,概述了程序合成方法的国内外研究现状及其存在的问题。在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架。最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容。IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变。

关键词：嵌入式软件程序合成软件IP 软件需求人工智能

同方期刊数据库博看期刊

基于抽象解释的嵌入式软件模块化Cache行为分析框架

在线全文

学校读者我要写书评

暂无评论

计算机学报 2019年第10期42卷 2251-2266页

作者：喻垚慎黄志球沈国华王飞崔少轩南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工业和信息化部重点实验室(南京航空航天大学) 南京211106 软件新技术与产业化协同创新中心南京210093

程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此... 详细信息

程序最坏执行时间(Worst Case Execution Time,WCET)是嵌入式实时系统时间属性验证的基础,在采用静态分析技术的WCET估算中需要分阶段对不同的执行环境约束条件进行分析,并整合所有约束信息、结合程序控制流结构估算全局最坏路径,因此各阶段分析的中间结果对最终的WCET估算性能具有较大影响.在现代嵌入式系统中,硬件平台中的Cache机制成为对执行时间影响较大的硬件体系结构,对其进行精确的行为分析在WCET估算中具有重要的现实意义.采用抽象解释理论对Cache行为进行分析已有较为成熟的技术成果和相关工具,但由于静态分析技术具有较难理解和使用的特点,对于技术没有覆盖、工具没有支持的硬件架构,针对这类硬件架构进行相关研究和验证工具开发都具有较大难度和挑战.该文以抽象解释为理论基础,以复用Cache分析过程为目标,提出了基于抽象解释的模块化Cache行为分析框架,对Cache行为分析过程进行了层次划分,提出了易于复用的Cache行为分析方法设计,能够针对不同架构的Cache机制分析方法进行建模,并以统一的分析框架对分析过程进行复用.案例实验表明,该框架可支持采用抽象解释对使用LRU策略的Cache行为进行建模分析,并能够得到Cache命中情况标记信息以支持后续WCET的估算过程.

关键词：嵌入式软件 Cache行为分析静态代码分析模块化分析抽象解释

基于UML实时扩展的嵌入式软件测试用例生成技术

在线全文

学校读者我要写书评

暂无评论

系统工程与电子技术 2011年第3期33卷 694-699页

作者：殷永峰郑本焘陆民燕倪红英北京航空航天大学可靠性与系统工程学院北京100191 航空电子系统综合技术国防科技重点实验室上海200233

将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,... 详细信息

将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。

关键词：软件工程自动化测试统一建模语言嵌入式软件测试用例