佛山开放大学：《SQL Server 2000 程序设计》课程教学资源（PPT课件）第12章 ODBC数据库应用程序开发

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）RTE规范与建模方法之 Domain Specific Modeling Languages（MARTE、AADL、Autosar）

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

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

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

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

中国科学技术大学：《嵌入式系统设计方法》课程教学资源（课件讲稿，第二版）实时调度（多处理器、调度异常、WCET）

• 实时任务类型与约束模型 – Assumptions about task timing，interaction，。。。 • 任务调度算法Scheduling Algorithm – Scheduling mode and selection function • Timeliness：deadline，worst response time，。。。 • Efficiency：average response time，makespan – Prioritized goals • Temporal predictability first，performance second • 可调度分析Schedulability Test – Prediction of worst-case behavior – 基于CPU利用率(workload analysis) • for preemptive and strictly periodic tasks？ – WCRT(Response time analysis) • for preemptively feasible task sets with D ≤ T

• 嵌入式操作系统概述 – 嵌入式操作系统体系结构 – 典型的嵌入式操作系统 • RTOS基本概念 – 编程模型 • RTOS内核功能 • RTOS的性能指标

内容提要 • ARM体系结构概览 – ARM历史 – ARM体系结构特征 – ARM片上总线AMBA – ARM对调试的支持 – 虚存管理 • ARM编程模型 – ARM微处理器的工作状态 – ARM体系结构的存储器模式 – ARM微处理器的操作模式 – ARM体系结构的寄存器组织 – ARM微处理器的异常状态 • Cortex M处理器