嵌入式软件资源冲突自动检测系统设计

来源 :电子设计工程 | 被引量 : 2次 | 上传用户:john0620
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
由于在众多的软件测试工具中,能自动检测共享资源冲突的软件非常少,而共享资源冲突问题是嵌入式软件研制中最常犯的、最不易发现、隐藏最深的问题之一,同时该问题一旦发生,带来的影响后果也极为严重,可能导致软件无法正常运行。为了解决这一问题,本文分析了共享资源冲突情况,并提出了一种针对嵌入式软件共享资源冲突问题检测的方案,使用C#语言编程,实现了自动检测系统,并进行了相关验证。
其他文献
技术扩散是解决软件产业技术落后的重要解决途径,并在扩散路径上呈现出“S”形特征。网络效应,作为网络经济时代的一个重要特征.会不同程度影响技术扩散。以“结构-行为-绩效”
测绘是许多机器人应用的一个重要组成部分.为了评估测绘步骤的表现,需要对其得出的地图的质量进行衡量.地图对定位与路径规划而言都至关重要.本文以先前比较机器人所生成地图
我国老龄化趋势显著,60岁及以上人口已达2.4亿,并且有近1.5亿老年人患有慢性病,4000万老人失能或部分失能,急需护理服务。2020年我国老年人护理服务和生活照料的潜在市场规模将超过5000亿元。我国还有大量“空巢老人”“失独老人”和高龄老人,老年人问题凸显。  医养康养的养老模式是大势所趋  党的十九届四中全会提出居家社区机构协调、医养康养相结合发展思路,并对养老服务体系建设提出了新的构建:
随着中国经济的飞速发展,人们对生活水平的要求也逐渐提高,不仅在身体健康上注重医疗保养,还加强了对自身的体育锻炼,以强身健体来实现身体健康的目标。然而我国目前的体育产业仍
根据复合热成像侦测系统的配置和特点,需要高分辨力系统实时地提供来袭目标的准确位置,即目标的方位角和俯仰角来引导伺服系统完成对来袭目标的精确跟踪,保证系统实施战术干扰对
在分析嵌入式网络安全的特点和研究IPSec协议的基础上,提出了基于IPSec的嵌入式网络的安全机制的结构、模式以及它的实现方式.
针对高校数字化校园建设中,各个业务系统之间,不能实现统一身份认证的问题,以SSO实现技术及MD5的加解密算法为基本方法,结合各业务系统的体系结构,理清实现统一身份认证的需
人口老龄化已成为我国的基本国情,在对经济社会发展产生重大影响的同时,也蕴含着巨大的市场潜力。据统计,我国60岁以上人口已达2.5亿人,其中有4000万失能老人。而近年来,数字化、智能化为民生保障插上“新翅膀”,也让养老心态更积极,养老方案更为多元。在此背景下,湖州普康智慧养老产业科技有限公司(以下简称“普康”)积极拥抱新技术,以为市场提供更智能化、精确化、标准化的养老服务为使命。  普康自主开发了
正弦信号激励下的RL一阶电路,正弦激励信号的初相位角和电路的阻抗角满足一定关系时其换路瞬间的暂态过程会出现过电流现象。由于硬件实验仪器的正弦信号发生器不能随意设置初
对3种规格的羊毛包芯纱在不同负荷作用下的延伸特性进行了分析,并利用数码显微镜观察了经过拉伸负荷作用后纱线的外观形态。由测试结果可知,在相同的负荷作用时间条件下,包芯纱