高级嵌入式系统设计方法（李曦）
2025秋 课程号：COMP6227P01
2025秋 课程号：COMP6227P01
2025秋 课程号：COMP6227P01
9.0(1人评价)
9.0(1人评价)
- 课程难度：困难
- 作业多少：中等
- 给分好坏：超好
- 收获大小：一般
| 选课类别：专业 | 教学类型：理论课 |
| 课程类别：研究生课程 | 开课单位：计算机科学与技术系 |
| 课程层次：硕士 | 学分：3.0 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
简介
最后更新：
系统设计是根据需求建立可自动化生成系统的模型的过程。嵌入式系统是满足特定控制和计算需求的专用计算机系统，其核心科学基础和方法涉及控制、计算机、软件和电子等多个工程领域。
汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的嵌入式实时系统为构造基础。为了满足此类应用的功能复杂性、时序可预测性和高可靠性等方面的严格要求，需要完整统一的系统设计、实现、验证和分析方法。本课程将以基于模型和构件的系统形式化设计方法为主轴，讨论实时系统软件设计过程中所涉及的软硬件平台特征、实时任务调度与资源分配、实时软件体系结构、实时编程模型和语言、形式化建模与验证、分布式实时系统，以及常用的辅助设计工具等内容，涵盖应用软件、运行时环境和系统结构等多个系统层次。同时，课程将简要介绍嵌入式实时计算的研究现状。
点评
写点评
排序
学期
评分
评分
1条点评
