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

搜索资源列表

  1. 嵌入式系统--体系结构.编程与设计.part1

  2. 本书是嵌入式系统的基础教程，主要面向初级系统设计人员。书中详细介绍了嵌入式系统最基本的软件和硬件要素，以及将代码嵌入到系统中的一些软件技术和接口技术。 本书主要特色： 全面介绍了嵌入式系统的编程原理、OS、RTOS函数和进程间同步； 单处理器和多处理器系统的程序建模和软件设计实践； 同时涵盖两种实时操作系统——mC/OS-II和VxWorks； 提供了关于消费电子产品、通信、汽车电子产品和片上安全事务系统的案例研究，同时阐述了RTOS编程原理； 每章包括插图、示例、关键词及其定义、问题回顾和实

  3. 所属分类：硬件开发

    • 发布日期：2009-08-06
    • 文件大小：14680064
    • 提供者：zhongguo0827

  1. 嵌入式系统--体系结构.编程与设计.part2

  2. 本书是嵌入式系统的基础教程，主要面向初级系统设计人员。书中详细介绍了嵌入式系统最基本的软件和硬件要素，以及将代码嵌入到系统中的一些软件技术和接口技术。 本书主要特色： 全面介绍了嵌入式系统的编程原理、OS、RTOS函数和进程间同步； 单处理器和多处理器系统的程序建模和软件设计实践； 同时涵盖两种实时操作系统——mC/OS-II和VxWorks； 提供了关于消费电子产品、通信、汽车电子产品和片上安全事务系统的案例研究，同时阐述了RTOS编程原理； 每章包括插图、示例、关键词及其定义、问题回顾和实

  3. 所属分类：硬件开发

    • 发布日期：2009-08-06
    • 文件大小：7340032
    • 提供者：zhongguo0827

  1. 实时uml与rational rose realtime建模案例

  2. 本代码光盘包含了本书相关章节的实时UML模型、代码，具体说明如下：1、自动取款机模型及源码2、纸牌游戏模型及源码3、电梯控制系统模型及源码4、咖啡机控制系统模型及源码

  3. 所属分类：硬件开发

    • 发布日期：2007-12-11
    • 文件大小：854016
    • 提供者：tianxie22008

  1. 嵌入式系统的微模块化程序设计

  2. 建模反应式系统而不使用重量级的工具，作者的量子编程（QP）是一种新的范型。它把状态图作为一种设计方法，而不是作为特殊工具来使用。在本书的第1部分，给出相关概念清晰而明确的叙述，包括传统的有限状态机和状态图，以及基于状态图的设计模式；给出了可运行代码，使读者能通过实际操作来学习量子编程，以及学到状态嵌套如何导致行为继承和如何通过按差异编程而实现重用。第2部分完整地叙述了量子框架的实现，以及说明如何在应用中使用它，并移植到所选用的RTOS。本书适于嵌入式系统、实时系统及UML状态图的相关工程设计人

  3. 所属分类：硬件开发

    • 发布日期：2007-12-16
    • 文件大小：2097152
    • 提供者：imjacob

  1. 基于模型驱动的嵌入式应用软件 Rhapsody5.0

  2. 第一章 业界领先的 I-Logix 公司.............................................................................3 第二章 Rhapsody 开发方法和功能特点.................................................................3 2.1 模型驱动的实时嵌入式应用软件开发方法.......................................

  3. 所属分类：硬件开发

    • 发布日期：2010-04-24
    • 文件大小：1048576
    • 提供者：sk009009

  1. 网络化测试系统及实时性研究

  2. 随着科学技术的现代化和工农业生产的规模化发展，以及计算机技术、网络技术与通信技术的高速发展与广泛应用，出现了将自动测试技术、计算机技术和通信技术相结合的分布式自动测试系统。分布式自动测试系统实现了测试的现场化、远程化、网络化，“网络就是仪器”概括了测试和仪器的网络化发展的趋势。网络化测试使测试跨越了空间的局限，与传统仪器和测试系统相比，是一个巨大的飞跃。网络化测试技术的内容非常广泛，本文主要从网络化测试系统的模型、实时性和组建技术三个方面进行了系统、深入的研究。本文首先论证了网络化测试系统的体

  3. 所属分类：网络基础

    • 发布日期：2010-05-19
    • 文件大小：648192
    • 提供者：aegeanmouse

  1. 嵌入式系统--体系结构.编程与设计

  2. 本书第1版获得了读者的一致好评和热销，第2版在此基础上进行了修订，并且结合新技术给予了补充，采用软硬件相结合的方式介绍嵌入式系统开发。全书从基础知识开始入手，逐步介绍嵌入式处理器体系结构、网络设备、驱动程序、进程间通信以及程序建模与编程方面的相关知识。本书是嵌入式系统初学人员的理想学习资料，也可以作为嵌入式系统设计人员非常好的参考资枓。 自底向上的方法——结合案例研究讨论了硬件和软件问题 详细讨论了两种流行的新实时操作系统(RTOS)——Windows CE和RTLinux 嵌入式系统设计过程

  3. 所属分类：硬件开发

    • 发布日期：2010-06-07
    • 文件大小：23068672
    • 提供者：imeduan

  1. 嵌入式软件测试用例的研究

  2. 自动化的嵌入式实时软件测试是当今软件测试领域中的一个热门。 本文首先介绍了统一建模语言（UML）和嵌入式实时软件测试之间的关系。 然后，基于UML图和技术方案的扩展，我们提出了基于扩展UML的嵌入式实时软件测试用例的生成。 此外，通过该测试用例的生成过程的航空电子设备的嵌入式系统核查相结合，引出研究思路和方法。 最近确认结果表明，本文提出的方法可以有效地用于嵌入式实时软件测试的自动化测试用例生成和提高测试效率、可维护性，从而降低了测试成本。

  3. 所属分类：软件测试

    • 发布日期：2011-05-03
    • 文件大小：1048576
    • 提供者：vermouthlove

  1. Marte的构造型在类图中的应用

  2. MARTE的设计目标是对实时嵌入式系统做建模与分析。建模指支持系统的实时与嵌入式特性的定义与详细设计；分析指MARTE可以给模型添加做性能/可调度性分析所需的信息。MARTE只支持已有分析技术。 MARTE定义了许多嵌入式相关的软硬件资源模型元素比如内存、传感器、进程的抽象体、警报器，能够用于在UML的14种图之外附加设计嵌入式系统的具体软硬件模型——像描述软件如何分配到硬件上，描述计时器、警报器与进程的关系等。 本PPT提供了Marte对于类图的支持，包括时间模型、实时和嵌入式的计算和通信模

  3. 所属分类：嵌入式

    • 发布日期：2011-07-30
    • 文件大小：723968
    • 提供者：qingdao666666

  1. 嵌入式系统——体系结构、编程与设计

  2. 本书第1版获得了读者的一致好评和热销，第2版在此基础上进行了修订，并且结合新技术给予了补充，采用软硬件相结合的方式介绍嵌入式系统开发。全书从基础知识开始入手，逐步介绍嵌入式处理器体系结构、网络设备、驱动程序、进程间通信以及程序建模与编程方面的相关知识。本书是嵌入式系统初学人员的理想学习资料，也可以作为嵌入式系统设计人员非常好的参考资枓。 自底向上的方法——结合案例研究讨论了硬件和软件问题 详细讨论了两种流行的新实时操作系统(RTOS)——Windows CE和RTLinux 嵌入式系统设计过程

  3. 所属分类：硬件开发

    • 发布日期：2011-09-23
    • 文件大小：23068672
    • 提供者：qbgao

  1. 嵌入式Linux在数控系统中的应用.pdf

  2. 摘 要： 首先介绍了嵌入式系统的概念和特征， 然后讨论了嵌入式Linux在数控系统中的应用， 文 中着重阐述了系统建模和实时性解决方案。

  3. 所属分类：Linux

    • 发布日期：2011-12-14
    • 文件大小：203776
    • 提供者：sky_qing

  1. UML 嵌入式实时系统建模

  2. UML 嵌入式系统建模经典教程，高级用法宝典

  3. 所属分类：C

    • 发布日期：2012-07-06
    • 文件大小：17825792
    • 提供者：dayushu

  1. UML建模实时开发工具RTDS 教程

  2. RTDS（Real Time Developer Studio）是一实时开发工具软件，适用于任何的通讯系统和嵌入式实时系统。此教程分为两部分，首先是SDL教程，另一是SDL-RT教程。SDL-RT融合了SDL 及其它的图形语言、UML、C语言，能更形象更快捷地开发你的应用系统。

  3. 所属分类：C

    • 发布日期：2012-09-26
    • 文件大小：3145728
    • 提供者：hongkeanny

  1. IAR嵌入式系统资料

  2. 　　IAR Systems是全球领先的嵌入式系统开发工具和服务的供应商。公司成立于1983年，迄今已有25年，提供的产品和服务涉及到嵌入式系统的设计、开发和测试的每一个阶段，包括：带有C/C++编译器和调试器的集成开发环境(IDE)、实时操作系统和中间件、开发套件、硬件仿真器以及状态机建模工具。

  3. 所属分类：硬件开发

    • 发布日期：2009-04-03
    • 文件大小：5242880
    • 提供者：liaohaiping

  1. 面向对象的嵌入式系统开发

  2. 以面向对象的观点、从基于模型的计算视角全面讨论了嵌入式系统开发理论和技术方法。建模工具完全采用 UML2.0语义，系统地讲述了面向对象的嵌入式系统分析和设计方法。主要内容包括：面向对象与UML建模；实时嵌入式系统基础知识；迭代和增量式的嵌入式系统开发过程；面向对象的嵌入式系统分析；面向对象的嵌入式系统设计；以框架为中心的嵌入式系统程序设计与优化；嵌入式系统的软硬件实现。

  3. 所属分类：C

    • 发布日期：2018-02-04
    • 文件大小：17825792
    • 提供者：u010671230

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

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

  3. 所属分类：其它

    • 发布日期：2020-08-26
    • 文件大小：199680
    • 提供者：weixin_38589314

  1. CODARTS建模方法在嵌入式软件开发中的应用

  2. 嵌入式系统的工作环境基础上都是并发和实时的。随着应用需求的增长，嵌入式系统软件不得不变得越来越复杂，越来越庞大。CODARTS方法融入了 COBRA方法和DARTS方法的优点，提出了针对并发和实时系统软件的设计方法，为嵌入式软件开发工作提供了一条捷径。本文结合实时检测系统的具体应用，简要介绍CODARTS的实际开发过程。

  3. 所属分类：其它

    • 发布日期：2020-08-30
    • 文件大小：157696
    • 提供者：weixin_38600432

  1. 基于ADS2的嵌入式软件测试仿真建模方法研究

  2. 嵌入式软件通常运行于特定的物理环境中，外部设备接口种类多，功能差异大，实时性强，在进行测试时需要花费大量人力、物力来构建测试环境。针对这一问题，采用半实物仿真技术，利用ADS2测试工具对外部设备进行仿真建模，构建一个逼真的模拟环境来进行嵌入式软件测试。ADS2能够满足嵌入式软件仿真测试的通用化和实时性要求，可以有效支持数据源、交联设备等多种仿真模型的设计开发。测试实例表明，利用ADS2进行...

  3. 所属分类：其它

    • 发布日期：2020-08-29
    • 文件大小：194560
    • 提供者：weixin_38654415

  1. 实时嵌入式系统的建模可靠性功能

  2. 实时嵌入式系统的建模可靠性功能

  3. 所属分类：其它

    • 发布日期：2021-03-19
    • 文件大小：2097152
    • 提供者：weixin_38740848

  1. 实时嵌入式系统模型校验技术概述

  2. 近十年以来，计算机科学研究的进步大大推动了需求和设计验证工具和技术的发展，其中最成功的技术当属模型校验。模型验证与规范化建模语言的紧密结合，极大地推动了验证自动化的发展。本文介绍了模型校验的原理及工作方式。    模型校验是最成功的需求验证工具。模型校验的基本原理如图1所示。模型校验工具的输入是系统需求或设计(称为模型)以及最终系统期望实现的特性(称为“规范”)。如果给定的模型满足给定的规范，那么工具将输出yes，否则将生成反例。反例详细描述了模型无法满足规范的原因，通过研究反例，可以精确地定位

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：267264
    • 提供者：weixin_38740391
« 12 3 4 5 »