DeploymentView.aadl 2.23 KB
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
1
---------------------------------------------------
2
3
-- AADL2.2
-- TASTE type deploymentview
Maxime Perrotin's avatar
Maxime Perrotin committed
4
-- 
5
-- generated code: do not edit
Maxime Perrotin's avatar
Maxime Perrotin committed
6
7
---------------------------------------------------

8
PACKAGE deploymentview::DV::Node1
Maxime Perrotin's avatar
Maxime Perrotin committed
9
10
11
12
13
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
14
15
16
17
18
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS demo
END demo;
Maxime Perrotin's avatar
Maxime Perrotin committed
19

20
21
PROCESS IMPLEMENTATION demo.others
END demo.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
22

23
END deploymentview::DV::Node1;
Maxime Perrotin's avatar
Maxime Perrotin committed
24
25
26
27

PACKAGE deploymentview::DV
PUBLIC

28
29
30
WITH interfaceview::IV::Caller_in_Ada;
WITH interfaceview::IV::BlackBox;
WITH interfaceview::IV::Caller_in_C;
Maxime Perrotin's avatar
Maxime Perrotin committed
31
WITH ocarina_processors_x86;
32
WITH deploymentview::DV::Node1;
Maxime Perrotin's avatar
Maxime Perrotin committed
33
34
35
36
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
37
38
SYSTEM Node1
END Node1;
Maxime Perrotin's avatar
Maxime Perrotin committed
39

40
SYSTEM IMPLEMENTATION Node1.others
Maxime Perrotin's avatar
Maxime Perrotin committed
41
SUBCOMPONENTS
42
  IV_Caller_in_Ada : SYSTEM interfaceview::IV::Caller_in_Ada::Caller_in_Ada.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
43
44
    Taste::FunctionName => "Caller_in_Ada";
  };
45
  IV_BlackBox : SYSTEM interfaceview::IV::BlackBox::BlackBox.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
46
47
    Taste::FunctionName => "BlackBox";
  };
48
49
50
51
52
  IV_Caller_in_C : SYSTEM interfaceview::IV::Caller_in_C::Caller_in_C.others {
    Taste::FunctionName => "Caller_in_C";
  };
  demo : PROCESS deploymentview::DV::Node1::demo.others {
    Taste::coordinates => "820 758 2044 1358";
Maxime Perrotin's avatar
Maxime Perrotin committed
53
54
    Deployment::Port_Number => 0;
  };
55
56
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "667 587 2197 1444";
Maxime Perrotin's avatar
Maxime Perrotin committed
57
58
  };
PROPERTIES
59
60
61
62
63
  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_Caller_in_Ada;
  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_BlackBox;
  Taste::APLC_Binding => (reference (demo)) APPLIES TO IV_Caller_in_C;
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO demo;
END Node1.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
64
65
66
67
68
69

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
70
71
  Node1 : SYSTEM Node1.others {
    Taste::coordinates => "476 342 2388 1566";
Maxime Perrotin's avatar
Maxime Perrotin committed
72
73
74
75
76
77
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 2970 2100";
78
  Taste::version => "2.3";
Maxime Perrotin's avatar
Maxime Perrotin committed
79
  Taste::interfaceView => "InterfaceView.aadl";
80
  Taste::HWLibraries => ("../../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
Maxime Perrotin's avatar
Maxime Perrotin committed
81
82
END deploymentview::DV;