第2次课

2020-04-11

课程目标和课程最初的想法：

通过软件 形式化 半形式化(uml)的方法 对他进行功能 非功能的验证.

需要对软件模型有一些了解。

【13：30】

UML没有我们想要的元素，给他一些增加

image-20200609163424239

【18：16】老师推荐去看看UML的书，思考为什么会有UML

image-20200609163706147

image-20200609163734724

  • sd:sequence diagram 时序图 时钟的。
  • 约束@t2-t1 <= 100

image-20200609163849897

系统建模是为了方便软件开发。

时序图用 MARTE语言（从UML过度过来的 ）描述。

【38：30】AADL

image-20200609170749134

AADL 类似xml，都是文本的形式，后来有了扩展，图形化，

image-20200609170921317

对于LED灯的显示功能：

  • 显示的最小精度是多少，你说一下，是100ms，这是一个需求，功能和非功能。然后你再把它转化为AADL模型。这是需求阶段
  • 设计阶段：调度分析，可靠性证明….

image-20200609172816614

AADL是想把系统的行为呈现出来。

image-20200609173050269

image-20200609173211650

【01：00：00】

image-20200609173257169

接口

image-20200609173331045

image-20200609173337107

文本化，上面是AADL 建模语言的一个结构 。 PBA是上面系统的简称。

image-20200609173516763

对PBA控制给它一个描述

image-20200609173558313

还需要细化。

image-20200609174137165

image-20200609174154572

…

再次更新

image-20200609174217506

image-20200609174524202

最根本的是要去很好的认识和理解计算机，操作系统。

【01：23：00】

image-20200609174642441

系统的错误的描述。

自己创造的不多，国外都有1个具体的划分，比如错误的划分。

image-20200609174805255

image-20200609174950780

很多时候我们可以把我们熟悉的系统用这样一个东西去描述，就像77页的，一个输入一个计算， 一个输出。

这里更倾向于获得传感器的一些数据作为输入

image-20200609175326748

时间驱动

周期性通过事件触发去感知

image-20200609175354652

基于事件的 。

image-20200609175610669

时间约束：硬实施，软实施

释放时间

截止时间

image-20200609180656533

image-20200609180723989

特定属性1：及时性。

image-20200609180822199

budget分配

image-20200609181206518

并发性

【02：00：00】

image-20200609181501467

可预测性

系统建模
ustc 系统建模

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