• Complexity Challenge – CBD：分治，结构 – MBD：抽象，方法 • Integrate Models to DESIGN-BUILD-VALIDATE-VERIFY • Domain Specific Modeling Languages – Specification languages – UML – MARTE – AADL

• 形式化设计方法和过程 • 系统描述方法 – 基于模型的方法 – 基于语言的方法 • SystemC – PetriNet，1960 • 德国数学家Petri发明 • 形式化验证 – Model Checking • 属性分析 – 正确性、性能、可靠性？

1控制系统的分析和设计(1.4) 1.1分析 系统输入和扰动变化,系统的性能将如何响应(变化)。 列:典型RC网络阶跃响应的速度1/RC

6.1 PLC控制系统设计的基本原则与内容 6.2 PLC的选择 6.3 PLC与输入输出设备的连接 6.4 减少I/O点数的措施 6.5 提高PLC控制系统可靠性的措施 6.6 PLC在开关量控制系统中的应用 6.7 PLC在模拟量闭环控制中的应用 6.8 PLC控制系统的维护和故障诊断

• 实时任务约束模型 – 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 • Timing Analysis(WCET分析)

• 嵌入式系统概述 – 嵌入式系统的定义 – 嵌入式系统的特征与指标 – 嵌入式系统分类 • 发展方向：CPS • 热点应用示例 – 汽车电子

一、21世纪一—一个世纪的更迭,人类由工业社会时代进入信息时代 @“后工业社会是围绕知识组织起来的社会” 哈佛大学丹尼尔《后工业社会 》 @“知识是我们经济社会的驱动力,信息经济社会是真实的存在,是 创造、生产和分配信息的经济社会

第一章VHDL的程序结构和软件操作 1-1 VHDL程序的基本结构 1-2软件操作—Max+plusⅡ的操作 第二章 VHDL语言要素 第三章 VHDL顺序语句 第四章 VHDL并行语句 4.1 并行语句概述 4.2 并行信号赋值语句 4.3 进程语句（process） 4.4 元件例化语句 4.5 生成语句（for-generate） 第五章 组合逻辑电路的设计和分析 5.1 概述 5.2 编码器 5.3 译码器 5.4 简单数字显示系统 5.5 其它 第六章 时序逻辑电路的设计和分析 6.2 触发器 6.3 计数器 6.4 分频器 6.5 寄存器 6.1 概述

正确认识系统设计的基本原则掌握简单任 务分析的一般流程,尝试自己制定方案; 对所举应用实例能消化理解,对部分模块能独立编程实现

一、连杆机构及其传动特点 二、平面四杆机构的类型和应用 三、平面四杆机构的基本知识 四、平面四杆机构的设计