第3次课

2020-04-18

image-20200610082246981

有实时操作系统 保证实时性。

建模的目的 我们这门课： 是对它的行为进行认识， 对实现验证， 通过模型的方法。

时间敏感网络。

建模-分析(看他是不是可调度的)-设计-实现

【38：00】

可预测的一个情况

image-20200610084441245

【46：00】

正确性和鲁棒性

image-20200610084849659

image-20200610103643876

【54:00】

建立模型 基本的,not deadlock

image-20200610103929672

image-20200610103906548

【01:00:00】

时间约束

image-20200610103953983

硬实施，比如1个任务，要2ms内完成

image-20200610104145010

image-20200610104212755

image-20200610104301967

[01：10：00]

image-20200610104434975

重要性，紧急程度

【01：16：00】

image-20200610104748634

image-20200610105525521

p是一个间隔时间。

image-20200610105619414

静态优先级：重要性

动态优先级：紧急程度

image-20200610105652465

4，5，7是周期， 1，2，2是开始时间

【01：33：00】

image-20200610110011386

image-20200610110024747

image-20200610110058531

image-20200610110156161

image-20200610110208767

【01：43：00】UML

image-20200610110230294

image-20200610110255989

各种图就是模型。

image-20200610110356868

image-20200610110502696

cg : code generation?

image-20200610110628163

image-20200610110917373

顺序图和用例图都是描述需求.

image-20200610111015081

image-20200610111156547

系统建模
ustc 系统建模

本博客所有文章除特别声明外，均采用 CC BY-SA 4.0 协议 ，转载请注明出处！