AADL端对端数据流一致性验证方法

来源 :计算机技术与发展 | 被引量 : 0次 | 上传用户:arigadordor
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
复杂嵌入式实时系统的端对端数据流的时延分析是一种有效的实时系统实时性评估方法。体系结构分析与设计语言(Architecture Analysisand Design Language,AADL)是描述实时系统(嵌入式系统)的标准语言,端对端的数据流描述系统组件问的消息传递。提出一种基于Prolog的端对端数据流分析方法,解决嵌入式实时系统的AADL模型时延验证问题。针对AADL模型缺乏时延验证的现状,分析讨论了AADL模型的端对端数据流并提出了端对端数据流的路径一致性的定义;针对单一型端对端数据流和混合型
其他文献
三聚氰胺(melamine),简称三胺,学名三氨三嗪,别名蜜胺、三聚氰酰胺、氰脲三酰胺,是一种三嗪类含氮杂环有机化工原料。蛋白质平均含氮量为16%左右,而三聚氰胺含氮量为66.6%(三聚氰胺分子
近日,省农业厅副厅长、畜牧兽医局局长陈福林在省饲料工作办公室、省饲料行业协会负责人的陪同下,到广东通威饲料集团有限公司、广东旺大生物科技集团有限公司进行调研。调研组
限额指导下的资产负债比例管理,是指我国专业银行在向国有商业银行过渡时期实行的将信贷指标计划控制和资产负债比例基本平衡结合的信贷资金管理制度。这种制度,宏观上根据国
在岩石薄片序列图像连续采集过程中,由于相机成像环境条件、岩石薄片自身性能等因素的限制,常常会出现序列图像间色彩亮度不一致的情况。此时,采用原始图像直接进行拼接后会出现许多含有色差的拼接"块"。针对这一问题,提出了对两幅图像重叠区域利用Wallis滤波器进行色差校正,使两幅图像的色彩亮度趋于一致,而对于多行多列的序列图像,采用类"王"字型调整顺序逐个利用Wallis滤波器进行校正,使其序列图像两两之
基于光学图像特征的显著性检测在光照条件发生变化的情况下易受到影响,为保证在深空探测等特殊场景中进行准确检测,研究了一种基于光学图像与深度图的显著性融合检测方法。对于经过配准的光学图像与深度图,分别计算光学图像的显著性图与深度图的显著性图,将计算得到的两类显著性图进行融合,确定所包含的共同显著性区域,消除单类显著图计算过程中存在的异常显著区域,形成新的显著性图。根据形成的显著性图,按设定阈值转化为二
本文介绍了基于临床数据采集系统REDCap建立的多中心临床研究应用网络,从REDCap系统应用于临床实践出发,详细阐述了在应用过程中设置管理员和普通用户权限及相关细节,旨在提
AETA多分量地震监测系统已经在中国四川、云南、河北、广东、西藏、台湾等地区布设200余套。一套AETA设备每个月产生7 G数据,查看200套设备的数据需要花费大量的时间和精力,而且人工判断异常容易漏检。利用人工免疫算法中负向选择的思想,通过对正常数据的学习获得相应的抗体库,根据待测数据与抗体库中抗体的匹配程度对设备数据进行异常检测。另外,结合AETA设备数据特点,改进了人工免疫算法中的亲和力函数
工业控制网络已经进入了快速发展期,针对智能电网等工业控制网络的安全威胁不断升级。智能变电站作为智能电网的核心设施,正在成为恶意攻击行为的重要目标。因此以智能电网中