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

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

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

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

ZLG/F文件系统简要说明 1概述 1.1ZLg/s简介 ZLG/FS是广州周立功单片机发展有限公司发的面向嵌入式系统开发的小型文件系统,是ZLG系列中间件的重要成员之一。它是与FAT12、FAT16、FAT32高度兼容的文件系统,可以直接与个人电脑交换文件。它是可移植的、可固化的文件系统,可以用于前后台系统,也可用于多任务环境

3.7 嵌入式SQL 3.8 小结

DATA1 园D+ GN国S DATA XTAL2 TAL1 四GL DATA ALE 10 19 EOT_N csN回

1.普通产品信息 1.1 PDIUSBD11和 PDIUSBD112之间的区别是什么? PDIUSBD11为MCU提供了12C接口12C接口的最高速度可达Mbit t/sec PDIUSBD111共有4个端 点,包括默认的端点0。每个端点都是双向带8字节缓冲区。8字节的缓冲区和2C的连接使它适用于(不 限定)例如多功能键盘、高级操纵杆(力反馈)、监视器控制和其它基于HID的系统 PDIUSBD12为MCU提供一个通用的并行接口

特性 符合通用串行总线(USB)1.1版规范 ·高性能USB接口器件,集成了SIE、FF0存储器、收发器以及电压调整器 的米 符合大多数器件的分类规格

Application Notes: Using PDIUSBD12 in DMA Mode Introduction to Protocol Based DMA Operation PDIUSBD12 has 6 endpoints, 2 control endpoints, 2 Generic endpoints and 2 Main endpoints The Main endpoints support DMA transfer