实时系统前沿（李曦）
2022春 2020秋 课程号：COMP7214P01
2022春 2020秋 课程号：COMP7214P01
2022春 2020秋 课程号：COMP7214P01
(暂无评价)
(暂无评价)
- 课程难度：你猜
- 作业多少：你猜
- 给分好坏：你猜
- 收获大小：你猜
| 选课类别：专业 | 教学类型：理论课 |
| 课程类别：研究生课程 | 开课单位：计算机科学与技术系 |
| 课程层次：博士 | 学分：2.0 |
课程主页：暂无（如果你知道，劳烦告诉我们！）
简介
最后更新：
嵌入式实时系统是航空航天和汽车电子等安全关键系统的核心，传统的设计方法难以满足日益增长的功能复杂性和严苛的可靠性要求。本课程主要通过组织博士研究生阅读有关实时系统的时间行为和属性建模理论和设计与验证方法文献，结合调研国内外学术界和工业界的最新成果，使学生对该领域的历史和现状有一个比较全面的了解，为开展模型驱动的计算机系统设计研究与工程奠定基础。主要内容涵盖以下几个方面：
- 系统时间行为建模与分析
- 时间可预测性和可组合性问题
- 多核与分布式系统可调度性分析
- 基于模型的设计方法
- 基于构件的设计方法
- Event-B时间约束规约与精化
- BIP框架与代码生成
- CCSL方法
- AADL方法等
点评
写点评
还没有评论耶！放着我来！
