ConcurrencyView_Properties.aadl 813 Bytes
Newer Older
Rafal Babski's avatar
Rafal Babski committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

PACKAGE Process_Package_proxy
PUBLIC
WITH Process_Package;
WITH AI;

SYSTEM DeploymentView
EXTENDS Process_Package::DeploymentView
END DeploymentView;

SYSTEM IMPLEMENTATION DeploymentView.final
EXTENDS Process_Package::DeploymentView.final
PROPERTIES
  AI::root_system => "SELECTED";
  Stack_Size => 1024 bytes APPLIES TO Msp430fr5969_Partition.commanddispatcher_command;
  Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.housekeeping_trigger_gather_hk;
  Stack_Size => 768 bytes APPLIES TO Msp430fr5969_Partition.modemanager_trigger_gather_mode_hk;
  Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.payloadmanager_trigger_gather_payload_hk;
  Stack_Size => 512 bytes APPLIES TO Msp430fr5969_Partition.thermalmanager_trigger_check_temp;
END DeploymentView.final;

END Process_Package_proxy;