课程信息

1,873 次近期查看
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
完成时间大约为17 小时
英语(English)
可分享的证书
完成后获得证书
100% 在线
立即开始,按照自己的计划学习。
可灵活调整截止日期
根据您的日程表重置截止日期。
完成时间大约为17 小时
英语(English)

提供方

Placeholder

EIT 数字

教学大纲 - 您将从这门课程中学到什么

1

1

完成时间为 15 分钟

Introduction

完成时间为 15 分钟
1 个视频 (总计 5 分钟), 1 个阅读材料
1 个视频
1 个阅读材料
Some suggested reading material10分钟
完成时间为 5 小时

Modeling systems as token consumption/production systems

完成时间为 5 小时
11 个视频 (总计 70 分钟), 3 个阅读材料, 6 个测验
11 个视频
Consumption and production of tokens5分钟
Modeling an intensive care unit5分钟
Modeling a wireless LAN radio4分钟
Modeling and refining an industrial robot6分钟
Pick your own system1分钟
Classes of Petri-nets8分钟
Causality, choice and concurrency (modeling patterns)9分钟
Refinement of consumption/production systems8分钟
Interpreting pictures for performance analysis10分钟
Draw your own model3分钟
3 个阅读材料
Always ask yourself...10分钟
The refinement of the robot.10分钟
Tooling10分钟
5 个练习
Basic modeling ideas30分钟
Modeling Warehouse 1330分钟
Modeling features30分钟
Definition of refinement30分钟
Which is a refinement of which?30分钟
2

2

完成时间为 5 小时

Syntax and semantics

完成时间为 5 小时
14 个视频 (总计 103 分钟), 5 个阅读材料, 5 个测验
14 个视频
Syntax and semantics3分钟
The basics9分钟
Extensions4分钟
Prefix orders7分钟
Exercise on prefix orders7分钟
Proof that flows form a prefix order14分钟
Formalizing interpretations as functions8分钟
Counting is order preserving6分钟
Formalizing the Petri-net interpretation10分钟
Proof that the number of tokens in a single-rate dataflow cycle is constant13分钟
Formalizing timing6分钟
Formalizing eager scheduling5分钟
Formalizing periodic scheduling4分钟
5 个阅读材料
Flags and Fitch style proofs10分钟
Slides of the proof10分钟
Slides of the proof10分钟
Exercise: Formalize best-case response times10分钟
About the next quiz.10分钟
5 个练习
Bipartite graphs30分钟
Thinking about observation functions30分钟
Isomorphism30分钟
Summarize!30分钟
Formalizing performance properties30分钟
3

3

完成时间为 5 小时

Performance analysis

完成时间为 5 小时
20 个视频 (总计 131 分钟), 2 个阅读材料, 5 个测验
20 个视频
Throughput is bounded by 1/MCM8分钟
Proof - a1分钟
Proof - b9分钟
Proof - c1分钟
Proof - d3分钟
Proof - e7分钟
Proof - f4分钟
Proof - g4分钟
Proof - h8分钟
Proof - i12分钟
Proof - j8分钟
The throughput bound is tight5分钟
Periodic scheduling of a dataflow graph12分钟
Latency analysis of a periodic schedule6分钟
Latency analysis of an eager schedule9分钟
The formal definition of latency5分钟
The boot-up time of a dataflow graph4分钟
Optimizing latency estimates w.r.t. boot-up time5分钟
Buffering and backpressure5分钟
2 个阅读材料
Slides of the proof10分钟
Alternative proof in synchronization and linearity10分钟
5 个练习
Summarize!30分钟
Calculating the MCM and worst-case throughput30分钟
Calculate some periodic schedules30分钟
Calculating optimal periodic schedules and their latencies30分钟
Calculating suitable buffer sizes30分钟
4

4

完成时间为 1 小时

One final example

完成时间为 1 小时
1 个视频 (总计 21 分钟), 5 个阅读材料
1 个视频
5 个阅读材料
2015 Assignment on dataflow modeling.10分钟
Additional dataflow exercises10分钟
Example of an exam at masters level (without solutions)10分钟
Another example of an exam (with solutions)10分钟
Material created by fellow students10分钟

常见问题

还有其他问题吗?请访问 学生帮助中心