注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. 嵌入式系统/ARM技术中的基于UML 的嵌入式系统模型验证技术的研究

  2. 摘要：统一建模语言UML 在嵌入式系统设计建模中已经获得了广泛的认可，能对复杂嵌入式系统建模，并有很多成功的应用，但UML 是一种半形式化语言，存在时间约束描述能力不强和所建模型形式化复杂.验证难度大等问题.针对上述问题，本文提出了采用实时UML 对嵌入式系统UML 状态图进行建模；然后用状态- 约束- 事件矩阵方法来对模型进行形式化描述；最后利用SPIN 对模型进行验证.该方法解决了UML 在嵌入式系统建模和形式化验证过程中出现的问题，应用实例和结果证明了该方法的有效性和可行性. 　　0 引

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：174080
    • 提供者：weixin_38645266

  1. 嵌入式系统/ARM技术中的构建在中小规模CPU上的实时UML框架程序设计环境

  2. 摘要：为了能够同时在16位或8位中小型CPU上使用实时操作系统和基于UML的可视化图形程序设计方法进行应用程序设计，在此详细讨论了将一种新式嵌入式实时UML框架程序设计平台移植到TMS320LF2407上全部过程。 　　通过状态机部件、基础框架、任务管理内核和跟踪调试器的移植证明了这种平台在中小型CPU上运行的可行性、便捷性和高可靠性等优点。最后，通过航天相机控制器应用程序设计实例中各个任务线程的执行时间测量结果及可调度结果进一步验证了该平台的实用性。 　　0 引言 　　随着高级编程语言和

  3. 所属分类：其它

    • 发布日期：2020-10-20
    • 文件大小：204800
    • 提供者：weixin_38737335

  1. 嵌入式系统/ARM技术中的基于UML在嵌入式系统设计中的应用

  2. 嵌入式系统设计是一个软、硬件结合的协同设计（Hardware/Software Co-design），需要不同技术背景的人共同开发。 　　这就带来了一个问题，如何使这些具有不同技术背景和专长的人联合开发、协同设计。在软、硬件设计领域中，统一建模语言UML（Unified Modling Language）采用一种简单而直观的图形化方式描述系统设计中的各个问题和细节。不同技术背景的设计师只需懂得简单的 UML 符号就可以轻易地与对方交流、共同设计。正是因为这些特点，在嵌入式系统设计中使用 UML

  3. 所属分类：其它

    • 发布日期：2020-11-11
    • 文件大小：297984
    • 提供者：weixin_38678057

  1. 嵌入式系统/ARM技术中的高质量嵌入式系统开发的集成测试技术

  2. 探测故障的最佳时机是在开发过程的早期。如果使用统一建模语言(UML)，甚至在分析和设计期间就可以发现故障。 　　然而，软件的集成和测试十分困难，嵌入式系统更困难，由于输入和输出少，系统的可操作性和可见性都很有限。反常的系统状态尤其难以测试，因为在确定系统在某一状态下的行为前，必须使系统进入该状态。 　　本文提出将测试仪器(instrumentation)代码注入UML模型实现中的观点，目的是提升系统的可控性、可观察性和易测性。测试仪器可应用在开发和目标环境中，并可在模型级进行交互式系统调试。

  3. 所属分类：其它

    • 发布日期：2020-11-09
    • 文件大小：99328
    • 提供者：weixin_38731553

  1. 嵌入式系统/ARM技术中的基于仪表系统的嵌入式控制器的开发研究

  2. 把嵌入式系统应用到仪器仪表领域，让传统的仪表，Internet和微处理器相结合，已成为仪器仪表行业发展的趋势。 　　本文首先由基于嵌入式智能仪表的远程监控系统引出嵌入式控制器，然后结合嵌入式控制器，作者具体阐述了UML-RT和平台思想在嵌入式控制器系统设计中的运用，给出了嵌入式控制器设计的详细步骤和具体内容。 　　1 引言 　　在仪器仪表迅速发展的同时，计算机和网络技术也在迅速发展，PC机已经从高速增长进入到平稳发展时期，嵌入式系统的出现和广泛应用，使计算机和网络进入了后PC时代，基于嵌入

  3. 所属分类：其它

    • 发布日期：2020-11-08
    • 文件大小：168960
    • 提供者：weixin_38617615

  1. 嵌入式系统/ARM技术中的仪表系统的嵌入式控制器的开发研究

  2. 把嵌入式系统应用到仪器仪表领域，让传统的仪表，Internet和微处理器相结合，已成为仪器仪表行业发展的趋势。 　　本文首先由基于嵌入式智能仪表的远程监控系统引出嵌入式控制器，然后结合嵌入式控制器，作者具体阐述了UML-RT和平台思想在嵌入式控制器系统设计中的运用，给出了嵌入式控制器设计的详细步骤和具体内容。 　　1 引言 　　在仪器仪表迅速发展的同时，计算机和网络技术也在迅速发展，PC机已经从高速增长进入到平稳发展时期，嵌入式系统的出现和广泛应用，使计算机和网络进入了后PC时代，基于嵌

  3. 所属分类：其它

    • 发布日期：2020-11-19
    • 文件大小：149504
    • 提供者：weixin_38680764

  1. 嵌入式系统/ARM技术中的基于Rhapsody和VxWorks的自动取款机系统

  2. 摘要：介绍如何运用UML设计简单的自动取款机系统模型并在操作系统VxWorks上实现它：首先，介绍如何运用基于UML的嵌入式实时应用软件开发环境Rhapsody设计和实现自动取款机系统的模型，以使它能独立于实际的硬件和使用的操作系统；然后详细介绍上述模型如何在实时多任务操作系统VxWorks上实现。 关键词：Rhapsody VxWorks 自动取款机引 言　　随着嵌入式应用的不断增长，嵌入式系统需求的复杂性、不确定性不断提高，系统规模也逐步扩大；而产品的研发周期又在很快地缩短，给嵌入式

  3. 所属分类：其它

    • 发布日期：2020-12-10
    • 文件大小：117760
    • 提供者：weixin_38690508

  1. 嵌入式系统/ARM技术中的使用Rhapsody软件框架和UML的实时系统开发

  2. 摘要：UML已成为复杂系统建模的工业标准，并可借助代码自动生成工具实现从分析到编码的开发过程自动化。而实时系统的行为特征可以很好地用UML的状态机表示，从而成为自动代码生成、测试、分析和校验的最佳选择。Ilogix公司的Rhapsody是一个基于UML支持模型驱动开发的CASE工具，它使用一套为实时系统量身打造的软件框架实现实时系统软件的开发自动化。 关键词：实时系统 UML Rhapsody 状态机引言面向对象的软件设计方法推崇抽象、可重用且易维护的设计模式。其中，一个普遍采用的做法是

  3. 所属分类：其它

    • 发布日期：2020-12-10
    • 文件大小：95232
    • 提供者：weixin_38738005