中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第一版）04 实时系统设计（软件设计、控制系统、EA、语言）

USB驱动程序简要说明及应用例子 USB总线主要用于USB设备与主机之间的数据通信,特别为USB设备与主机之间大 量数据的传输提供了高速、可靠的传输协议。例如:在嵌入式系统中,可以利用USB设备 与微控制器构成USB设备。USB设备与PC机USB主控器相连就可以实现嵌入式系统与 PC机之间的通信了,也就可以实现诸如U盘、移动硬盘、USB接口打印机等功能

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式系统形式化规范与建模（FSM，KPN，SDF）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式操作系统（uC、OSII）

u: Micro C: control uC/OS:适合于小的、控制器的操作系统 小巧 公开源代码,详细的注解 可剥夺实时内核

《基于32位ColdFire构建嵌入式系统》教学资源（PPT课件）第16章 基于硬件构件的嵌入式系统开发方法

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）嵌入式实时系统及设计方法概述（主讲：李曦）

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时嵌入式软件设计（控制系统，DARTS，EA，语言）

嵌入式系统软件开发实例 第1章 uCOS-Ⅱ中使用 HFile +x86L +PC

• 形式化设计方法和过程 • 系统描述方法：基于状态和迁移 • 形式化验证 – Model Checking – 时态逻辑：LTL、CTL、RTL • 属性分析 – 正确性、性能、可靠性？