实时系统前沿(李曦) 2022春 2020秋  课程号:COMP7214P01
2022春 2020秋  课程号:COMP7214P01
(暂无评价)
(暂无评价)
  • 课程难度:你猜
  • 作业多少:你猜
  • 给分好坏:你猜
  • 收获大小:你猜
选课类别:专业 教学类型:理论课
课程类别:研究生课程 开课单位:计算机科学与技术系
课程层次:博士   学分:2.0
课程主页:暂无(如果你知道,劳烦告诉我们!)
简介 最后更新:

嵌入式实时系统是航空航天和汽车电子等安全关键系统的核心,传统的设计方法难以满足日益增长的功能复杂性和严苛的可靠性要求。本课程主要通过组织博士研究生阅读有关实时系统的时间行为和属性建模理论和设计与验证方法文献,结合调研国内外学术界和工业界的最新成果,使学生对该领域的历史和现状有一个比较全面的了解,为开展模型驱动的计算机系统设计研究与工程奠定基础。主要内容涵盖以下几个方面:

  1. 系统时间行为建模与分析
  2. 时间可预测性和可组合性问题
  3. 多核与分布式系统可调度性分析
  4. 基于模型的设计方法
  5. 基于构件的设计方法
  6. Event-B时间约束规约与精化
  7. BIP框架与代码生成
  8. CCSL方法
  9. AADL方法等

还没有评论耶!放着我来!

李曦

教师主页: 戳这里

其他老师的「实时系统前沿」课

李曦老师的其他课

计算机组成原理 7.9 (51) 2024春 2023春...
计算机组成原理 8.0 (1) 2014春
嵌入式系统设计方法 5.7 (6) 2024秋 2023秋...
微机原理及系统 2006春 2005春...