DeploymentView.aadl 2.41 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
---------------------------------------------------
-- AADL2.2
-- TASTE type deploymentview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE deploymentview::DV::Node1
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
WITH deploymentview::DV;
WITH Memory_Properties;
WITH ARINC653;
PROCESS stm32_controller
END stm32_controller;

PROCESS IMPLEMENTATION stm32_controller.others
END stm32_controller.others;

END deploymentview::DV::Node1;

PACKAGE deploymentview::DV
PUBLIC

WITH interfaceview::IV::Controller;
WITH interfaceview::IV::stm32_debug;
WITH interfaceview::IV::watchdog;
WITH ocarina_processors_arm;
WITH deploymentview::DV::Node1;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
END Node1;

SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
  IV_Controller : SYSTEM interfaceview::IV::Controller::Controller.others {
    Taste::FunctionName => "Controller";
  };
  IV_stm32_debug : SYSTEM interfaceview::IV::stm32_debug::stm32_debug.others {
    Taste::FunctionName => "stm32_debug";
  };
  IV_watchdog : SYSTEM interfaceview::IV::watchdog::watchdog.others {
    Taste::FunctionName => "watchdog";
  };
  stm32_controller : PROCESS deploymentview::DV::Node1::stm32_controller.others {
    Taste::coordinates => "92545 69482 130440 82832";
    Deployment::Port_Number => 0;
  };
55
  stm32f407_discovery_gnat2020 : PROCESSOR ocarina_processors_arm::stm32f407_discovery.gnat2020 {
56
57
58
59
60
61
    Taste::coordinates => "87808 62141 135177 85510";
  };
PROPERTIES
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_Controller;
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_stm32_debug;
  Taste::APLC_Binding => (reference (stm32_controller)) APPLIES TO IV_watchdog;
62
  Actual_Processor_Binding => (reference (stm32f407_discovery_gnat2020)) APPLIES TO stm32_controller;
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
END Node1.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  Node1 : SYSTEM Node1.others {
    Taste::coordinates => "81887 51653 141098 104092";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.3";
  Taste::interfaceView => "InterfaceView.aadl";
  Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;