-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathdevices.aadl
70 lines (57 loc) · 1.6 KB
/
devices.aadl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
package SCADA::devices
public
with SCADA::icd;
system substation
features
current : out data port SCADA::icd::current;
voltage : out data port SCADA::icd::voltage;
breaker : in data port SCADA::icd::breaker;
transformer : in data port SCADA::icd::transformer;
--receiveBUS: requires bus access SCADA::icd::internalBUS;
--sendBUS: provides bus access SCADA::icd::internalBUS;
flows
f0 : flow source current;
f1 : flow source voltage;
f2 : flow sink breaker;
f3 : flow sink transformer;
end substation;
system HMI
features
current : in data port SCADA::icd::current;
voltage : in data port SCADA::icd::voltage;
breaker : out data port SCADA::icd::breaker;
transformer : out data port SCADA::icd::transformer;
--receiveBUS: requires bus access SCADA::icd::internalBUS;
--sendBUS: provides bus access SCADA::icd::internalBUS;
flows
f0 : flow source breaker;
f1 : flow source transformer;
f2 : flow sink current;
f3 : flow sink voltage;
end HMI;
system DB
features
current : in data port SCADA::icd::current;
voltage : in data port SCADA::icd::voltage;
--receiveBUS: requires bus access SCADA::icd::internalBUS;
flows
f0 : flow sink current;
f1 : flow sink voltage;
end DB;
system DMS
features
current : in data port SCADA::icd::current;
voltage : in data port SCADA::icd::voltage;
--receiveBUS: requires bus access SCADA::icd::internalBUS;
flows
f0 : flow sink current;
f1 : flow sink voltage;
end DMS;
system alarm
features
alarmdata : in data port SCADA::icd::alarm_data;
--receiveBUS: requires bus access SCADA::icd::internalBUS;
flows
f0 : flow sink alarmdata;
end alarm;
end SCADA::devices;