实时分布系统嵌入软件使能控制研究

嵌入软件使能控制是一类重要的实时软件技术 ,实时软件建模技术和控制算法相结合是解决嵌入软件使能控制的关键 .讨论了控制算法和实现平台———软件和硬件的交互作用和统一 ,函数性和非函数性功能的模型设计关系 。

航空装备系统如何嵌入软件管理

随着我国航空事业的逐渐发展,为了进一步提升我国的航空实力,消除在研制中出现的系统错误、保证即使发生故障状态也能够得到识别,让航空装备系统真正实现安全、可靠、经济的适用体感。鉴于此,本文对系统安全新理念进行分析,通过对研制阶段系统安全工作思路进行阐述,旨在为我国航空装备系统嵌入软件管理的质量献力。

基于Qt对Linux系统下嵌入软件的研究与应用

本文基于Qt平台提供的C++应用程序框架,开发运行于Linux操作系统的嵌入式信息管理软件。具体实现与信息汇总模块的UDP组播通讯、与音视频采集模块的TCP通讯、对BMC模块的串口通讯、对计算机及图形模块和智能交互模块健康信息的CLI获取,以及通过对各模块的信息处理,实现对各模块的健康情况的监控管理工作。主要研究复杂嵌入式系统下,多模块的协同工作机制。在设计实现中,软件基于模块化设计思想,采用分层实现的软件架构。

强化数控机床产业集聚 促进嵌入软件平台发展——邗江区数控机床及嵌入软件产业探究

本文从政府改变服务理念、科学规划产业角度,通过对扬州市邗江区数控机床及嵌入式软件产业发展的探究,对政府如何正确引导区域产业实现可持续发展、孵化关联产业、振兴区域经济方面,作出了一些有益的调研和总结。

轻量级嵌入式软件自动化测试框架设计

为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,构建数据与关键字驱动模型并对其生成与输入算法进行设计,根据模型实现复杂多接口测试数据的快速生成与输入。采用模块化思想,利用多线程原理对该轻量级测试框架进行设计与实现,通过实例验证该框架能够实现测试数据的自动生成与快速输入,提升测试效率。

星载嵌入式软件全数字仿真开发验证平台

为了应对当前航天器软件功能日趋复杂与软件研制周期短、对软件可靠性和安全性要求高的矛盾,同时为了满足国产化自主可控的需求,在国产Linux操作系统下,以QEMU的SPARC V8指令集模拟器为基础,解决了SOC2012片内外设与A6017仿真等关键问题,搭建了一种星载嵌入式软件全数字仿真开发验证平台;提出了通过共享内存解决方案,提高QEMU指令集仿真内核对外围IO空间读写仿真效率;该平台已经用于某卫星型号控制分系统软件和星务软件测试,相较于基于硬件的测试平台,该平台具有更好的可重用性和快速搭建性,能够大大降低硬件测试的风险和成本,同时具备更强的可控性以及更丰富的调试和测试手段。

关于嵌入式软件测试关键技术的研究

随着信息产业的发展,以及各行业在信息化处理设备方面的具体需求不断提出,嵌入式系统越来越普及。嵌入式系统以应用为中心,以当前通用计算机为基础,根据用户具体需求(包括不限于功能、性能、可靠性、成本等)对计算机软硬件进行深度而灵活的剪裁,从而得到一个专用计算机,满足了不同行业的用户各自的特定功能需求。嵌入式系统的专用性更强,但在对嵌入式系统进行软件测试时,其难度也更大。对嵌入式系统及其软件测试进行描述,并对其软件测试关键技术进行研究,以期能进一步提高嵌入式软件的稳定性。

嵌入式软件安全性测试研究

安全性测试作为一种常见的测试类型,在嵌入式软件测试中发挥着重要作用,可以有效保证嵌入式软件稳定、安全运行。本文对常见的安全性测试要点和测试方法进行研究和介绍,为软件开发人员和测试人员提供参考。

面向嵌入式软件平台的系统测试研究

针对面向嵌入式软件平台的系统测试阶段研究,首先,概述了嵌入式软件测试,尤其是其相对于一般软件测试的特殊性;然后针对嵌入式软件测试的系统测试阶段,总结分析了系统测试的测试流程、常用的测试方法,并介绍了一些主流的测试工具;最后进行了总结分析。上述工作为进一步的具体案例测试提供了理论依据和实践参考。

基于协议模型的嵌入式软件接口测试数据生成

随着嵌入式软件的广泛应用,嵌入式软件接口测试成为软件测试领域的研究重点。针对传统的接口测试采用人工方式创建测试数据且测试工具不支持通用化的问题,围绕接口测试数据的设计和生成两个方面,设计了一种通用化接口协议帧格式建模工具,辅助测试人员完成协议帧格式的构建。在此基础上,进一步制定数据生成的扰动规则,自动生成测试数据。实验结果表明,所提方法可实现嵌入式软件接口测试数据的自动生成,提升测试效率,提高数据的准确率与缺陷覆盖率。

“推拉式”嵌入式软件项目群规模评价研究——基于COSMIC模型

针对常规COSMIC模型无法适应推拉式嵌入式软件规模评价的不足,提出一种经本地化扩展的改进COSMIC规模评价方法。通过WBS来增强对用户功能需求、嵌入式软件工程结构及组件间依赖性的理解,基于项目群基线功能集合与待估项目功能组件差异,度量出待估项目的功能点,接着引入组件逻辑复杂度调整因子,对COSMIC实施本地化扩展。最后,基于某AIoT蓝牙语音遥控器项目实施验证,结果表明,该方法保证度量效率前提下,提高规模评价的准确度和实用性,为项目进度管理和成本估算提供可靠依据。

数字经济下含嵌入式软件产品增值税即征即退计算方法研究

目前,嵌入式软件产品的增值税即征即退政策被广泛应用于软件产业,旨在提供税收激励,促进产业创新和竞争力。然而,该政策的复杂计算方法和应用过程中的差异性问题限制了其有效性和可操作性。为了解决这一问题,文章提出了一种仅需通过嵌入式软件产品的销售收入、硬件全成本总额和无法划分为专属软件的进项税税额等少量数据就能进行较为精确的计算方法,以快速确定增值税即征即退退税金额。文章的研究结果对政策制定者、税务部门和软件开发企业具有重要意义,能够为改进政策和企业税务管理提供依据。

嵌入式软件中断程序综合测试方法

中断驱动型嵌入式系统在汽车电子、航空航天、医疗电子和无线传感器等领域广泛应用,发生错误可能导致任务失败或系统崩溃,甚至带来安全风险,但由于中断事件触发响应机制的特殊性,常规测试方法难以实现充分测试。为了解决上述问题,提出了一种嵌入式软件中断程序综合测试方法,通过静态方法检查中断代码设计简洁性、优先级结构设置、资源访问冲突和现场备份及恢复,通过动态方法测试中断程序响应时间、处理时间和中断触发异常,静/动结合完成嵌入式软件中断程序的专项测试。经工程应用验证,与传统测试相比,该方法能够更精准地发现嵌入式软件中断程序中存在的问题,提高中断测试的有效性和充分性。

浅析嵌入式软件失效模式与影响分析

为提高嵌入式软件的可靠性和安全性,在嵌入式软件的整个生命周期内采用软件失效模式与影响分析的方法,旨在根据软件的失效模式,识别出软件失效模式产生的原因和影响,尽最大可能降低其带来的有害影响。阐述了开展嵌入式软件失效模式与影响分析的目标、适用对象和时机,列举了嵌入式软件失效模式与影响分析的工作原则,重点分析了系统级和详细级软件失效模式与影响分析的工作流程,提出了实施软件失效模式与影响分析的具体要求。

嵌入式软件安全性测试技术方法分析

本文以嵌入式软件安全性测试技术方法为重点展开分析,对嵌入式软件发展历程和特点进行简述,在此基础上研究其安全性测试的要求、方法,包括故障模型分析法、故障树分析法等。以故障模型分析法为例,就嵌入式软件安全性测试的流程进行论述,分析系统功能描述和定位、潜在安全问题评估、安全问题破坏性评估、风险监控等重点环节实践方式,为未来嵌入式软件安全性测试工作提供参考。

嵌入式软件内存管理方法研究

为提高嵌入式系统内存的利用率,有效解决内存碎片和内存泄露的问题,并实现内存的快速分配和释放,提出一种嵌入式软件内存管理方法。该方法采用静态分配的方式,首先设置内存区的分区个数及每个分区内各内存块的大小和数量,然后基于池式内存管理机制对用户内存区采用动态内存分配的方式,利用内存分配器来实现动态内存的申请和释放,最后对传统的内存申请、分配和回收算法进行了改进。

基于ISYSTEM嵌入式软件的时间优化

嵌入式软件的时间分析是在日益复杂的嵌入式系统中至关重要的领域。本论文旨在概括时间分析的关键概念和方法,以及其在嵌入式系统开发中的重要性。时间分析旨在确保嵌入式软件在实时系统中满足严格的时间约束,从而保证系统的可靠性和可预测性。本文首先介绍了嵌入式软件的几种参数,探讨了以上时间参数基于ISYSTEM的获取方法,采用动态分析法则通过运行时监测来获取实际的执行时间数据。然后本文根据样例工程的测试结果,给出了几种优化改进方法,最后根据以上优化方法重新测试了对软件运行结果的改进。总之,本论文的研究给嵌入式软件开发者和工程师提供一些思路,有助于确保嵌入式系统能够按时响应各种任务,从而满足实时性要求。

基于Java技术的机器人嵌入式软件多任务自动分配模型研究

为了使机器人最大程度发挥自身作用,增强任务分配合理性,构建基于Java技术的机器人嵌入式软件多任务自动分配模型。利用Java技术为目标分配对应管程,制定互斥机制,建立协同通信机制,避免通信堵塞,最大程度实现通信同步;将机器人数量、电量约束情况与任务载荷作为约束条件,通过收益、代价与罚函数建立性能指标,将其当作目标函数;确定机器人与任务集合,将多任务分配转换为机器人与任务之间的单映射问题,计算机器人与任务之间的适应度,完成多任务自动分配。仿真实验证明,该模型可增强任务分配的灵活性与合理性,提高任务完成效率。

学校召开中德(保定)嵌入式软件产教融合基地洽谈会

为全面深化产教融合、强化校企合作,进一步推动嵌入式技术的人才培养与推广,1月27日,我校与德国希思软件(SiSy)有限公司、中德职业教育产教融合联盟(SGAEE)召开中德(保定)嵌入式软件产教融合基地合作洽谈会。学校党委副书记、院长马志峰,德国希思软件创始人亚历山大·胡瓦特、中德职业教育产教融合联盟中方理事会秘书长刘宇、常务副秘书长李杏丽出席会议。学校相关系部负责人和专业教师、德国希思软件相关负责人参加会议。

一种适用于新能源商用车嵌入式控制软件产品的质量保障体系

为保证新能源商用车智能化、网联化软件产品安全、高效落地,提出一种适用于新能源商用车嵌入式控制软件产品的质量保障体系。该质量保障体系打破传统软件产品管理模式,设计了软件产品质量保障流程体系及智能化平台,实现了嵌入式控制软件全生命周期管理,保证了软件产品开发规范、高效、可靠。