基于POOSL的系统级建模方法研究

针对复杂嵌入式系统,提出了基于POOSL的系统级建模方法,包括层次化建模方法、面向对象建模技术和基于Y-Chart的资源建模方法.为了验证这些方法的正确性和有效性,以无线接入系统为例,使用POOSL语言建立了它的系统级模型,根据模型的仿真执行结果,分析了活跃站点数和最小竞争窗口等参数对有效吞吐量、平均延时及CPU利用率等性能指标的影响.仿真结果表明,所提系统级建模方法能有效地应用于复杂嵌入式系统的建模.     

基于Ptolemy的嵌入式计算系统级建模与仿真

嵌入式系统通常由具有不同特性的子系统组成,它的异构性给设计与仿真工具提出了很高的要求。本文探讨了目前建模仿真平台的不足,介绍了Ptolemy如何运用层次异构设计思想解决嵌入式系统的异构问题,以及该设计原理在其第二代建模仿真平台PtolemyII中的实现方法。并基于PtolemyII对一复杂控制系统进行了建模与仿真。     

分析模式在嵌入式系统建模中的应用研究

面向对象建模语言UML（Unified Modeling Language）已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在模型重用性不高、概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出了对象分析模式与实时规范模式相结合的新思想,并给出了使用对象分析模式和实时描述模式进行嵌入式系统建模及模型分析、验证的方法,然后介绍了基于UML的模式驱动的嵌入式系统建模及分析的实现步骤,最后以一个实际应用进行了详细说明。     

面向自主飞行器的嵌入式计算平台

基于模型的设计方法是目前嵌入式控制系统开发与设计的主流方法,而对嵌入式控制系统模型及其代码正确性的检验是亟待解决的问题。基于平台的设计理论,提出一种面向自主飞行器的嵌入式计算平台,该平台以基于模型的设计方法实现对复杂实时控制系统建模,并且在同一框架下完成模型到代码的自动生成以及对实时控制系统进行不同粒度的检验,即X在环仿真,包括模型在环仿真、软件在环仿真、硬件在环仿真。该平台的提出为嵌入式实时控制系统的开发与设计提供了建模及模型检验的一体化环境,提高嵌入式实时控制系统的开发效率。     

语音信号倒谱特征提取建模与仿真

随着嵌入式语音识别的应用形式和领域的不断拓展，系统设计的复杂性也随之增加，仅仅支持单一数学模型的系统级设计工具已经不能满足这类复杂系统设计的需求。为了在系统执行这个层面之上更精确定义提取语音信号特征的行为，研究了面向角色的系统级建模方法，分析和论述了如何利用线性预测分析方法提取语音倒谱特征参数的基本原理，介绍了嵌入式系统级建模和仿真平台PtolemyⅡ，最后在PtolemyⅡ平台上完成语音信号倒谱特征提取的建模，并对模型中的预处理、端点检测等进行了仿真实验。     

基于Ptolemy II嵌入式防火墙系统级设计与仿真研究

传统的防火墙难以抵御网络内部用户的攻击,而分布式防火墙又过分依赖于主机的操作系统,嵌入式防火墙研究已成为当前防火墙研究主流。本文提出了一种嵌入式防火墙的体系结构,介绍了嵌入式系统级建模仿真平台Ptolemy II,在该仿真平台上进行了嵌入式防火墙的建模,并对系统模型中的RTOS实时调度和包过滤算法等主要部分进行了仿真和分析。     

一种基于UML的嵌入式设备驱动实现方法

由于嵌入式Linux系统中设备驱动软件体系结构和设备驱动之间关系复杂和依赖性强,仅从代码层面考虑设备驱动的开发,不但会增加开发的复杂度,而且不利于驱动程序的移植.为了能够正确的开发设备驱动程序,提出了一种设备驱动的UML(统一建模语言)建模分析方法.该方法使用UML首先对Linux中的相关设备体系建立结构模型,然后再建立设备驱动的功能模型、架构模型和动态行为模型.以嵌入式设备中电池管理芯片的驱动实现的过程为例,阐述了使用UML建模方法,达到简化驱动程序的设计与实现,提高驱动程序的可移植性,方便生成测试用例等目的.     

复杂大系统建模的模糊神经网络方法

提出了一种新的复杂大系统建模方法。采用模糊神经网络对复杂大系统对象中的结构不确定性因素进行建模,并利用同步扰动随机近似算法对模型参数进行在线调整。将该方法应用于直升飞机旋翼自转着陆过程中的仿真建模中,给出了全量模型和模型调整过程。仿真结果表明,该方法是切实可行的。     

基于DEVS-SYSML-CPN的复杂武器体系建模方法研究

提出了一种基于DEVVSy-SysML-CPN的层次化武器体系建模与分析方法,该方法通过系统构件的逐层分解,以及系统静态模型、逻辑模型、可执行模型逐级映射的途径,能有力地应对集成复杂武器体系结构的分析问题,很好地支持了DoDAF的建模规范.重点阐述了DoDAF建模规范在复杂体系结构建模方面的不足,以及DEVS、SysML所做的改进.     

基于工序排队的RCC坝施工Petri网耦合模型仿真

在分析了碾压混凝土施工系统的特点基础上,针对碾压混凝土施工系统的复杂和动态离散特性,建立碾压混凝土施工工序排队网络和Petri网模型,将排队模型嵌入Petri网,为Petri网模型提供有效Token和时间约束,耦合生成施工过程的Petri网模型.该建模方法有效地克服了单一排队模型表达能力不足和单一Petri网仿真建模复杂性.通过工程实例验证了该建模方法大大简化Petri网建模过程,提高Petri网针对性和分析效率.