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