一种嵌入式系统设计的建模方法研究

来源 :计算机仿真 | 被引量 : 4次 | 上传用户：liushuaimin

【摘要】

：

针对在嵌入式系统设计中,目前常用的VHDL建模方法方法存在不易理解、模型描述困难、工作量大的问题,UML建模方法存在模型需形式化、验证难等问题,提出了一种基于SpecCharts语言的嵌入式系统建模方法--使用SpecCharts语言语法、文字和图形相结合来描述嵌入式系统,能满足嵌入式系统设计的描述要求,建模效率是VHDL方法的2.82倍,是UML方法的1.25倍,并且具有容易理解、容易描述、能利

【作者】

：

段盛李仁发谢桂芳

【机构】

：

湖南大学计算机与通信学院,湘南学院计算机系

【出处】

：

计算机仿真

【发表日期】

：

2007年07期

【关键词】

：

嵌入式系统建模建模语言模型验证 Embedded system Modeling Modeling language Mmodel Verifi

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

第三届中国系统建模与仿真技术高层论坛闭幕词

期刊

仿真技术论坛建模系统中国闭幕词

军械装备维修资源需求仿真系统研究与实现

从军械装备维修保障的实际需求出发,在对维修保障系统及其运行过程分析的基础上,利用面向事件的仿真时钟推进机制建立了仿真模型,并给出了相关算法。介绍了软件系统的结构组成和数据库设计方法,并利用VB6．0和ACCESS2000实现了该系统。该系统可实现对一定编制装备群平时的维修保障过程进行快速仿真,得到各保障级别上维修资源的需求以及装备完好率信息,为维修保障决策提供科学依据。最后的案例应用验证了系统的有

期刊

维修资源仿真装备完好率剩余寿命Maintenance resource Simulation Equipment readiness Resid

大型M／P／C／C排队系统仿真研究

理论上推测Erlang B公式对服务时间为任意分布的M/G/C/C系统的呼叫损失概率是有效的但缺乏严格证明。据此,对服务时间呈Pareto分布的M/P/C/C排队系统的仿真问题进行了研究,特别是对排队系统中服务装置数目很大的情况进行了研究。采用一种名为红黑树的数据结构较好地解决了超长序列、超大C值所造成的计算时间问题,并采用基于事件驱动的时间调度法进行排队仿真,结果与Erlang-B公式相符。表明

期刊

自相似公式红黑树Self - similar Formula Red - black tree

基于DCME算法的RS译码器设计

研究了一种改进的RS(Reed-Solomon)时域译码器。分别使用MATLAB和QuartusⅡ软件设计了GF(2M)上的加法、乘法、求逆运算模块,并以这些模块为基础,采用修正的欧几里得算法DCME(Degree Computationless Modified Euclid)与有限域上快速傅立叶变换算法相结合的思想,实现了RS的软、硬件译码。在此基础上以具有3个符号纠错能力的RS(15,9)译

期刊

修正欧几里德算法里德-索罗蒙译码现场可编程逻辑门阵列DCME Reed - Solomon decoder FPGA

双星系统实时导航定位仿真

通过对双星系统的星座、工作过程以及定位误差的模拟,构建了一个用于评估双星定位系统对在其覆盖范围内任意时刻任意位置运动载体所提供的导航定位结果的仿真分析平台。在仿真系统初始化时,用户可以自由设定双星系统的星座、中心站位置、自定义坐标系、误差等级、仿真频率以及运动载体的姿态和航迹。该仿真系统为用户提供了运动载体分别在地理坐标系、WGS84坐标系、当地地理坐标系、用户自定义坐标系中的位置、速度、误差、几

期刊

双星定位系统北斗系统导航仿真Double - star positioning system Beidou system Navigation S

火箭炮装填训练视景仿真系统的设计与实现

箭炮装填训练是炮兵(火箭炮)部队训练的重要内容。根据炮兵实装训练噪声大、费用高等实际情况,提出了火箭炮装填训练混合仿真系统的总体设计,系统由实物仿真子系统和视景仿真子系统组成。着重介绍了视景仿真子系统的开发过程。利用三维建模软件Mu ltigen C reator采用实时仿真不可缺少的DOF(D egrees of Freedom)技术建立了火箭炮、装填车等几何模型,然后利用Lynx的图形用户界面

期刊

火箭炮装填仿真训练Rocket launcher Loading Simulation Training

对角加载技术在多目标检测中的应用

文章重点研究了在不同噪声背景下的多目标检测(判阶)技术,主要包括AIC、EDC、EGM、GDE和EIT多目标检测算法,并进行了理论分析、统计性能仿真和水池试验验证。针对在实际系统中由于阵列误差和环境噪声的影响使算法的检测性能下降的问题,提出了一种对角加载修正算法,通过调整修正量的大小来改善算法的统计性能。统计结果表明,对角加载修正算法不但改善了多目标检测算法在低信噪比下的检测性能,而且提高了算法在

期刊

多目标检测阵列误差对角加载稳健性Multi - target detection Array error Diagonal - loaded Ro

一种嵌入式系统设计的建模方法研究

其他学术论文