deploymentview.aadl 1.93 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
---------------------------------------------------
-- AADL2.0
-- TASTE
-- (c)Ellidiss Technologies
-- 
---------------------------------------------------

PACKAGE deploymentview::DV::pb
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS demo
END demo;

PROCESS IMPLEMENTATION demo.others
END demo.others;

END deploymentview::DV::pb;

PACKAGE deploymentview::DV
PUBLIC

WITH ocarina_processors_x86;
WITH deploymentview::DV::pb;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM pb
END pb;

SYSTEM IMPLEMENTATION pb.others
SUBCOMPONENTS
  A : SYSTEM interfaceview::IV::A.others {
    Taste::coordinates => "887 706 1153 820";
  };
  B : SYSTEM interfaceview::IV::B.others {
    Taste::coordinates => "909 926 1263 1089";
  };
  C : SYSTEM interfaceview::IV::C.others {
    Taste::coordinates => "1501 727 1691 897";
  };
  demo : PROCESS deploymentview::DV::pb::demo.others {
    Taste::coordinates => "744 586 1733 1124";
    Deployment::Port_Number => 0;
  };
  p : PROCESSOR ocarina_processors_x86::x86.native {
    Taste::coordinates => "580 452 1920 1143";
  };
PROPERTIES
  Taste::APLC_Binding => (reference (demo)) APPLIES TO A;
  Taste::APLC_Binding => (reference (demo)) APPLIES TO B;
  Taste::APLC_Binding => (reference (demo)) APPLIES TO C;
  Actual_Processor_Binding => (reference (p)) APPLIES TO demo;
END pb.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  pb : SYSTEM pb.others {
    Taste::coordinates => "467 361 2297 1306";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 2970 2100";
  Taste::version => "1.3.5";
73
  Taste::interfaceView => "/home/maxime/taste/tool-src/trunk/testSuites/Demo_RI_Names/interfaceview.aadl";
74
75
76
  Taste::HWLibraries => ("/home/maxime/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;