test_flow_expansion.aadl 2.52 KB
Newer Older
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 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116
system inner
features
  p: out data port ;
flows
  src: flow source p;
end inner;

system outer
features
  output1: out data port ;
flows 
  outsrc1: flow source output1;
end outer;

system outer2 extends outer
features
  output2: out data port ;
flows 
  outsrc2: flow source output2;
end outer2;

system outer3 extends outer2
end outer3;

system implementation outer.basic
modes
  m1: initial mode;
  m2: mode;
  m3: mode;
end outer.basic;

system implementation outer2.basic
subcomponents
  sub1: system inner in modes (m1);
connections
  c1: data port sub1.p -> output1 in modes (m1);
flows
  outsrc1: flow source output1 in modes (m2);
  outsrc1: flow source sub1.src -> c1 -> output1;
modes
  m1: initial mode;
  m2: mode;
  m3: mode;
end outer2.basic;

system implementation outer3.basic
subcomponents
  sub1: system inner in modes (m1);
connections
  c1: data port sub1.p -> output1 in modes (m1);
  c2: data port sub1.p -> output2 in modes (m1);
flows
  outsrc1: flow source output1 in modes (m2);
  outsrc1: flow source sub1.src -> c1 -> output1;
  outsrc2: flow source output2 in modes (m2);
  outsrc2: flow source sub1.src -> c2 -> output2;
modes
  m1: initial mode;
  m2: mode;
  m3: mode;
end outer3.basic;

system implementation outer2.ext extends outer.basic
subcomponents
  sub1: system inner in modes (m1);
connections
  c1: data port sub1.p -> output1 in modes (m1);
flows
  outsrc1: flow source output1 in modes (m2);
  outsrc1: flow source sub1.src -> c1 -> output1;
end outer2.ext;

system implementation outer3.ext extends outer2.ext
connections
  c2: data port sub1.p -> output2 in modes (m1);
flows
  outsrc2: flow source output2 in modes (m2);
  outsrc2: flow source sub1.src -> c2 -> output2;
end outer3.ext;

system implementation outer2.ext2 extends outer2.ext
subcomponents
  sub2: system inner in modes (m1);
end outer2.ext2;

system implementation outer2.ext3 extends outer2.ext2
end outer2.ext3;

system implementation outer2.ext4 extends outer2.ext3
end outer2.ext4;

system outer4 extends outer3
features
  output3: out data port;
flows 
  outsrc3: flow source output3;
end outer4;

system outer5 extends outer4
end outer5;

system outer6 extends outer5
end outer6;

system implementation outer6.ext extends outer2.ext4
connections
  c2: data port sub1.p -> output2 in modes (m1);
  c3: data port sub2.p -> output3 in modes (m1);
flows
  outsrc2: flow source output2 in modes (m2);
  outsrc2: flow source sub1.src -> c2 -> output2;
  outsrc3: flow source output3 in modes (m2);
  outsrc3: flow source sub2.src -> c3 -> output3;
end outer6.ext;