1
00:00:00,210 --> 00:00:04,360
下一个步骤是识别潜在的失效
2
00:00:06,850 --> 00:00:11,150
这里它是用一个块定义图来表达的
3
00:00:12,150 --> 00:00:16,790
图17.21，失效模式识别和因果依赖
4
00:00:19,110 --> 00:00:22,400
但是这个块定义图跟之前的块定义图
5
00:00:24,270 --> 00:00:26,710
它有一个地方不一样
6
00:00:26,720 --> 00:00:28,620
你看，它上面这里是
7
00:00:29,060 --> 00:00:31,010
你看，构造型是activity
8
00:00:33,060 --> 00:00:36,690
而且这个我们之前画活动图的时候
9
00:00:37,290 --> 00:00:39,710
出现过的，监控入侵者
10
00:00:40,640 --> 00:00:42,380
还有激活系统
11
00:00:47,060 --> 00:00:50,870
还有两个约束的构造型的
12
00:00:53,960 --> 00:00:55,590
这个可以看作是一个约束块
13
00:00:57,250 --> 00:01:02,500
而约束块本身又有进一步的构造型
14
00:01:02,790 --> 00:01:04,020
失效模式
15
00:01:06,240 --> 00:01:08,170
那么，activity
16
00:01:08,720 --> 00:01:11,140
出现在BDD上面
17
00:01:11,270 --> 00:01:12,300
这可以是
18
00:01:12,860 --> 00:01:15,130
SysML里面的一个用法
19
00:01:15,950 --> 00:01:17,040
activities as
20
00:01:17,050 --> 00:01:19,570
blocks
21
00:01:19,830 --> 00:01:22,910
活动作为块
22
00:01:22,920 --> 00:01:23,990
把活动搬到这上面来
23
00:01:24,000 --> 00:01:29,070
然后看它们之间的各种各样的依赖关系
24
00:01:29,790 --> 00:01:33,280
或者活动和块之间的关系等等
25
00:01:34,340 --> 00:01:35,740
这是一种用法
26
00:01:36,320 --> 00:01:39,910
那么在SysML的规范上面
27
00:01:41,550 --> 00:01:45,760
第11章这里，感兴趣的，更多细节可以去看
28
00:01:49,060 --> 00:01:54,300
然后这里面活动、约束
29
00:01:54,310 --> 00:01:55,900
还有block之间
30
00:01:56,470 --> 00:01:59,170
它有依赖关系
31
00:01:59,300 --> 00:02:02,160
依赖关系给它加了一些构造型
32
00:02:02,520 --> 00:02:03,990
Allocate我们前面见到过了
33
00:02:05,630 --> 00:02:08,040
还有violates
34
00:02:09,540 --> 00:02:12,190
违犯
35
00:02:12,200 --> 00:02:14,630
caused by，由什么引起的
36
00:02:16,210 --> 00:02:17,840
这些可以通过
37
00:02:17,850 --> 00:02:19,580
给依赖关系
38
00:02:19,590 --> 00:02:23,170
加构造型来做到
39
00:02:26,090 --> 00:02:29,910
下面我们就来画一下
40
00:02:30,380 --> 00:02:31,530
图17.21
)
