《嵌入式系统设计方法》课程主页

2024-06-18 01:03| 来源: 网络整理| 查看: 265

《嵌入式系统设计方法》课程主页重要信息： PPT上的作业每周交一次，请上交纸质版。补交作业：周六中午12：00―2：00提交至西校区学生活动中心北楼一楼高能效智能计算实验室。补交作业会扣分，建议准时提交。课程QQ群：2019嵌入式实时系统设计方法：828465812 课程目标：

汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的嵌入式实时系统为构造基础。为了满足此类应用的功能复杂性和行为与时序的可预测性等方面的严格需求，需要建立完整的涵盖设计、实现、验证和分析等步骤的设计方法。本课程将围绕基于模型和基于构件的系统设计方法，讨论嵌入式实时系统设计中的主要问题，包括软硬件平台、任务调度与资源分配、编程模型和编程语言、形式化建模与验证，以及常用的辅助设计工具等等。同时，课程将概要介绍嵌入式实时系统在工业界的应用现状和学术界对嵌入式实时计算问题的研究现状。

先修课程：

计算机组成与结构，操作系统，分布式系统

参考文献： Peter Marwedel，《Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems》，2nd Edition，有中文版 Hermann Kopetz，《Real-Time Systems: Design Principles for Distributed Embedded Applications》，2nd Edition，有中文版 Hassan Gomaa，Real-Time Software Design for Embedded Systems，2016，有中文版 Joseph Yiu，《ARM Cortex-M3权威指南》，第三版，2015 Jean J. Labrosse，《嵌入式实时操作系统μC/OS-II》，第二版，2002 旧版讲稿打包下载：打包课件课程内容：嵌入式实时系统的关键特征：体系结构、实时性、可预测性、并发软硬件平台：Cortex-M3微控制器结构，uC/OS，I/O 嵌入式软件编程：同步语言、异步语言任务模型与约束、实时任务调度、任务通信、资源管理、WCET分析、可调度性分析系统建模与验证：FSM、TA、时态逻辑、可达性分析、模型检测 MBD和CBD设计方法：UML、MARTE、AADL、Autosar 分布式实时系统：时间同步、网络协议（CAN、I2C、FlexRay） Schedule： Lec内容备注 1嵌入式实时系统及设计方法概述Peter /Hermann/Hassan第1章 2嵌入式处理器体系结构Peter3.3/7.4 3ARM体系结构与Cortex-M3 4嵌入式操作系统：概述Peter4.1 5嵌入式操作系统：uC/OSII 6实时调度：任务调度，可调度性Peter第6章，Hassan第17章 7实时调度：多处理器，调度异常，WCETPeter5.2，Hermann第10章 8软件设计：控制系统，DARTS，EA，语言Hassan第4章 9系统建模：FSM，KPN，SDFPeter第2章 10设计验证与需求确认Peter5.8 11软件体系结构设计：MARTE、AADL、AutosarHassan第2/12章，Hermann第11章 12分布式DRE：网络协议Peter3.5，Hermann第7章 13分布式DRE：时钟同步Hermann第3章

【本文地址】

公司简介

联系我们