论文部分内容阅读
以软件中数据为核心，通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例，提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部共享数据的并发使用情况，可有效发现实时软件中因数据耦合和并发执行引起的共享数据冲突，消除软件的质量隐患。
软件数据耦合影响分析方法
【摘 要】
：
以软件中数据为核心，通过分析一个具有高度数据耦合、实时并发进程特点的武器装备飞行控制软件实例，提出一种实时软件数据耦合影响分析方法。该方法通过静态分析实时软件中全部
【机 构】
：
中国航空计算技术研究所
【出 处】
：
航空计算技术
【发表日期】
：
2008年3期
其他文献
党的十六大报告中指出:"要加强职业教育和培训,发展继续教育,构建终身教育体系".终身教育是社会经济文化发展到一定历史阶段的客观要求和共同趋势.随着社会的进步,科技的发展
期刊
红豆杉树皮是一种最重要的提取紫杉醇的原料,但其生长缓慢,资源匮乏,而曼地亚红豆杉的自然杂交品种叶片中的紫杉醇的含量很高,生长迅速,可通过大力栽培解决原料不足的问题.在
设计了以PC104工控计算机为硬件、μC／OS—Ⅱ实时操作系统为软件平台的水下航行器（AUV）导航系统，给出了导航系统的工作原理及基本硬件组成，实现了μC／OS-Ⅱ操作系统在PC104上的移植
单侧问题是一类重要的数学物理问题,它可以转化为互补问题进行求解.由于单侧问题的互补条件位于边界之上,特别适用于边界元法.基于Aitchison提出的关于Laplace算子的开关算法
在刑事法律援助领域，被害人依然被遗忘的现象始终没有得到改观。在刑事诉讼中，如何更多地关注刑事被害人的权利，已成为当前司法实践中的难点。本文拟就从刑诉法应明确规定被害人
政府诚信是近年来人们越来越关注的社会问题。伴随政府职能范围的日益扩大。政府享有的自由裁量也不断的增加，尤其执法中的自由裁量，它对行政相对人的利益和政府形象的影响最直
由于知识的粗糙性和信息熵的密切关系，基于互信息的属性约简一直以来都是粗糙集研究的热点，但现有方法都不同程度地依赖于属性值的分布情况，从而影响最终约简结果。为解决此问题
针对应用总线后导弹控制系统测试及故障诊断体制发生的深刻变革，提出了建立故障诊断仿真平台的思想。围绕构建此数字化平台，着重阐述了如何进行故障仿真、1553B总线及子系统的
有效排痰对慢性阻塞性肺部疾病的治疗将起积极有效作用。而胸部物理排痰法和湿化呼吸道是促进慢性阻塞性肺疾病患者痰液排出,为呼吸道炎症治疗起积极有效作用。慢性阻塞性肺
直接内存存取(DMA)是数字信号处理器(DSP)中用于快速数据交换的重要技术,它具有独立于CPU的后台批量数据传输能力,能够满足实时图像处理中高速数据传输要求。以TI公司的TMS32