---------------------------------------------------
-- AADL2.2
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::IV::MissionControl
PUBLIC

WITH interfaceview::IV::CommandDispatcher;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_report
FEATURES
  in_tm : IN PARAMETER DataView::Telemetry {
    Taste::encoding => ACN;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_report;

SUBPROGRAM IMPLEMENTATION PI_report.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report.others;

SUBPROGRAM PI_housekeeping_data
FEATURES
  housekeeping_tm : IN PARAMETER DataView::Telemetry {
    Taste::encoding => ACN;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_housekeeping_data;

SUBPROGRAM IMPLEMENTATION PI_housekeeping_data.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_housekeeping_data.others;

SUBPROGRAM RI_command
FEATURES
  in_tc : IN PARAMETER DataView::Telecommand {
    Taste::encoding => ACN;
  };
END RI_command;

SUBPROGRAM IMPLEMENTATION RI_command.others
END RI_command.others;

SYSTEM MissionControl
FEATURES
  PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::MissionControl::PI_report.others {
    Taste::coordinates => "121572 65353";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "report";
  };
  PI_housekeeping_data : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::MissionControl::PI_housekeeping_data.others {
    Taste::coordinates => "279205 65353";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "housekeeping_data";
  };
  RI_command : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_command.others {
    Taste::coordinates => "97320 65353";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (GUI);
  Taste::Active_Interfaces => any;
END MissionControl;

SYSTEM IMPLEMENTATION MissionControl.others
END MissionControl.others;

END interfaceview::IV::MissionControl;

PACKAGE interfaceview::IV::CommandDispatcher
PUBLIC

WITH interfaceview::IV::MissionControl;
WITH interfaceview::IV::ModeManager;
WITH interfaceview::IV::ThermalManager;
WITH interfaceview::IV::PayloadManager;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_command
FEATURES
  in_tc : IN PARAMETER DataView::Telecommand {
    Taste::encoding => ACN;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command;

SUBPROGRAM IMPLEMENTATION PI_command.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command.others;

SUBPROGRAM PI_report_execution
FEATURES
  report_value : IN PARAMETER DataView::EXECUTION_REPORT {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_report_execution;

SUBPROGRAM IMPLEMENTATION PI_report_execution.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_report_execution.others;

SUBPROGRAM RI_report
FEATURES
  in_tm : IN PARAMETER DataView::Telemetry {
    Taste::encoding => ACN;
  };
END RI_report;

SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;

SUBPROGRAM RI_command_mode
FEATURES
  requested_mode : IN PARAMETER DataView::SATELLITE_MODE {
    Taste::encoding => NATIVE;
  };
END RI_command_mode;

SUBPROGRAM IMPLEMENTATION RI_command_mode.others
END RI_command_mode.others;

SUBPROGRAM RI_command_thermal_params
FEATURES
  thermal_parameters : IN PARAMETER DataView::SetThermalControlParameters_Type {
    Taste::encoding => NATIVE;
  };
END RI_command_thermal_params;

SUBPROGRAM IMPLEMENTATION RI_command_thermal_params.others
END RI_command_thermal_params.others;

SUBPROGRAM RI_command_on_off
FEATURES
  distribute_on_off_param : IN PARAMETER DataView::TC_2_1_DistributeOnoffDeviceCommands_Type {
    Taste::encoding => NATIVE;
  };
END RI_command_on_off;

SUBPROGRAM IMPLEMENTATION RI_command_on_off.others
END RI_command_on_off.others;

SUBPROGRAM RI_command_register_load
FEATURES
  distribute_register_load_param : IN PARAMETER DataView::TC_2_2_DistributeRegisterLoadCommands_Type {
    Taste::encoding => NATIVE;
  };
END RI_command_register_load;

SUBPROGRAM IMPLEMENTATION RI_command_register_load.others
END RI_command_register_load.others;

SUBPROGRAM RI_command_voltage
FEATURES
  safe_voltage : IN PARAMETER DataView::VOLTAGE {
    Taste::encoding => NATIVE;
  };
END RI_command_voltage;

SUBPROGRAM IMPLEMENTATION RI_command_voltage.others
END RI_command_voltage.others;

SYSTEM CommandDispatcher
FEATURES
  PI_command : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_command.others {
    Taste::coordinates => "97319 77636";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command";
  };
  PI_report_execution : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_report_execution.others {
    Taste::coordinates => "188971 98265";
    Taste::RCMoperationKind => unprotected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "report_execution";
  };
  RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::MissionControl::PI_report.others {
    Taste::coordinates => "121571 77636";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report";
    Taste::labelInheritance => "true";
  };
  RI_command_mode : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::ModeManager::PI_command_mode.others {
    Taste::coordinates => "200467 86927";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command_mode";
    Taste::labelInheritance => "true";
  };
  RI_command_thermal_params : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::ThermalManager::PI_command_thermal_params.others {
    Taste::coordinates => "164405 98265";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command_thermal_params";
    Taste::labelInheritance => "true";
  };
  RI_command_on_off : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_command_on_off.others {
    Taste::coordinates => "88501 98265";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command_on_off";
    Taste::labelInheritance => "true";
  };
  RI_command_register_load : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_command_register_load.others {
    Taste::coordinates => "117949 98265";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command_register_load";
    Taste::labelInheritance => "true";
  };
  RI_command_voltage : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::ModeManager::PI_command_voltage.others {
    Taste::coordinates => "200467 90708";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "command_voltage";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END CommandDispatcher;

SYSTEM IMPLEMENTATION CommandDispatcher.others
END CommandDispatcher.others;

END interfaceview::IV::CommandDispatcher;

PACKAGE interfaceview::IV::Housekeeping
PUBLIC

WITH interfaceview::IV::MissionControl;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_trigger_gather_hk
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_trigger_gather_hk;

SUBPROGRAM IMPLEMENTATION PI_trigger_gather_hk.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_trigger_gather_hk.others;

SUBPROGRAM PI_payload_hk_store
FEATURES
  payload_hk_data : IN PARAMETER DataView::PAYLOAD_HK_DATA {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_payload_hk_store;

SUBPROGRAM IMPLEMENTATION PI_payload_hk_store.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_payload_hk_store.others;

SUBPROGRAM PI_thermal_hk_store
FEATURES
  param_thermal_hk : IN PARAMETER DataView::THERMAL_HK_DATA {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_thermal_hk_store;

SUBPROGRAM IMPLEMENTATION PI_thermal_hk_store.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_thermal_hk_store.others;

SUBPROGRAM PI_mode_hk_store
FEATURES
  param_mode_telemetry : IN PARAMETER DataView::MODE_HK_DATA {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_mode_hk_store;

SUBPROGRAM IMPLEMENTATION PI_mode_hk_store.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_mode_hk_store.others;

SUBPROGRAM RI_housekeeping_data
FEATURES
  housekeeping_tm : IN PARAMETER DataView::Telemetry {
    Taste::encoding => ACN;
  };
END RI_housekeeping_data;

SUBPROGRAM IMPLEMENTATION RI_housekeeping_data.others
END RI_housekeeping_data.others;

SYSTEM Housekeeping
FEATURES
  PI_trigger_gather_hk : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_trigger_gather_hk.others {
    Taste::coordinates => "290385 79844";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "trigger_gather_hk";
  };
  PI_payload_hk_store : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_payload_hk_store.others {
    Taste::coordinates => "250702 101257";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "payload_hk_store";
  };
  PI_thermal_hk_store : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_thermal_hk_store.others {
    Taste::coordinates => "290385 94172";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "thermal_hk_store";
  };
  PI_mode_hk_store : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_mode_hk_store.others {
    Taste::coordinates => "280464 101257";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "mode_hk_store";
  };
  RI_housekeeping_data : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::MissionControl::PI_housekeeping_data.others {
    Taste::coordinates => "279207 74329";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "housekeeping_data";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END Housekeeping;

SYSTEM IMPLEMENTATION Housekeeping.others
END Housekeeping.others;

END interfaceview::IV::Housekeeping;

PACKAGE interfaceview::IV::ModeManager
PUBLIC

WITH interfaceview::IV::PayloadManager;
WITH interfaceview::IV::HAL;
WITH interfaceview::IV::Housekeeping;
WITH interfaceview::IV::ThermalManager;
WITH interfaceview::IV::CommandDispatcher;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_command_mode
FEATURES
  requested_mode : IN PARAMETER DataView::SATELLITE_MODE {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command_mode;

SUBPROGRAM IMPLEMENTATION PI_command_mode.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command_mode.others;

SUBPROGRAM PI_trigger_gather_mode_hk
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_trigger_gather_mode_hk;

SUBPROGRAM IMPLEMENTATION PI_trigger_gather_mode_hk.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_trigger_gather_mode_hk.others;

SUBPROGRAM PI_command_voltage
FEATURES
  safe_voltage : IN PARAMETER DataView::VOLTAGE {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command_voltage;

SUBPROGRAM IMPLEMENTATION PI_command_voltage.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command_voltage.others;

SUBPROGRAM RI_enable_payload
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_enable_payload;

SUBPROGRAM IMPLEMENTATION RI_enable_payload.others
END RI_enable_payload.others;

SUBPROGRAM RI_get_current_voltage
FEATURES
  current_voltage : OUT PARAMETER DataView::VOLTAGE {
    Taste::encoding => NATIVE;
  };
END RI_get_current_voltage;

SUBPROGRAM IMPLEMENTATION RI_get_current_voltage.others
END RI_get_current_voltage.others;

SUBPROGRAM RI_mode_hk_store
FEATURES
  param_mode_telemetry : IN PARAMETER DataView::MODE_HK_DATA {
    Taste::encoding => NATIVE;
  };
END RI_mode_hk_store;

SUBPROGRAM IMPLEMENTATION RI_mode_hk_store.others
END RI_mode_hk_store.others;

SUBPROGRAM RI_enable_thermal
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => ACN;
  };
END RI_enable_thermal;

SUBPROGRAM IMPLEMENTATION RI_enable_thermal.others
END RI_enable_thermal.others;

SUBPROGRAM RI_report_execution
FEATURES
  report_value : IN PARAMETER DataView::EXECUTION_REPORT {
    Taste::encoding => NATIVE;
  };
END RI_report_execution;

SUBPROGRAM IMPLEMENTATION RI_report_execution.others
END RI_report_execution.others;

SYSTEM ModeManager
FEATURES
  PI_command_mode : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ModeManager::PI_command_mode.others {
    Taste::coordinates => "215585 122831";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command_mode";
  };
  PI_trigger_gather_mode_hk : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ModeManager::PI_trigger_gather_mode_hk.others {
    Taste::coordinates => "289598 126141";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "trigger_gather_mode_hk";
  };
  PI_command_voltage : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ModeManager::PI_command_voltage.others {
    Taste::coordinates => "215585 125823";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command_voltage";
  };
  RI_enable_payload : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_enable_payload.others {
    Taste::coordinates => "215585 131337";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "enable_payload";
    Taste::labelInheritance => "true";
  };
  RI_get_current_voltage : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_get_current_voltage.others {
    Taste::coordinates => "274480 135587";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "get_current_voltage";
    Taste::labelInheritance => "true";
  };
  RI_mode_hk_store : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_mode_hk_store.others {
    Taste::coordinates => "280473 111650";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "mode_hk_store";
    Taste::labelInheritance => "true";
  };
  RI_enable_thermal : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::ThermalManager::PI_enable_thermal.others {
    Taste::coordinates => "235112 135587";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "enable_thermal";
    Taste::labelInheritance => "true";
  };
  RI_report_execution : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_report_execution.others {
    Taste::coordinates => "215585 117949";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report_execution";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END ModeManager;

SYSTEM IMPLEMENTATION ModeManager.others
END ModeManager.others;

END interfaceview::IV::ModeManager;

PACKAGE interfaceview::IV::ThermalManager
PUBLIC

WITH interfaceview::IV::HAL;
WITH interfaceview::IV::Housekeeping;
WITH interfaceview::IV::CommandDispatcher;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_trigger_check_temp
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_trigger_check_temp;

SUBPROGRAM IMPLEMENTATION PI_trigger_check_temp.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_trigger_check_temp.others;

SUBPROGRAM PI_command_thermal_params
FEATURES
  thermal_parameters : IN PARAMETER DataView::SetThermalControlParameters_Type {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command_thermal_params;

SUBPROGRAM IMPLEMENTATION PI_command_thermal_params.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command_thermal_params.others;

SUBPROGRAM PI_enable_thermal
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => ACN;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_enable_thermal;

SUBPROGRAM IMPLEMENTATION PI_enable_thermal.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_enable_thermal.others;

SUBPROGRAM RI_set_pwm
FEATURES
  pwm_value : IN PARAMETER DataView::DUTY_CYCLE {
    Taste::encoding => NATIVE;
  };
END RI_set_pwm;

SUBPROGRAM IMPLEMENTATION RI_set_pwm.others
END RI_set_pwm.others;

SUBPROGRAM RI_get_current_temperature
FEATURES
  temperature_value : OUT PARAMETER DataView::TEMPERATURE {
    Taste::encoding => NATIVE;
  };
END RI_get_current_temperature;

SUBPROGRAM IMPLEMENTATION RI_get_current_temperature.others
END RI_get_current_temperature.others;

SUBPROGRAM RI_thermal_hk_store
FEATURES
  param_thermal_hk : IN PARAMETER DataView::THERMAL_HK_DATA {
    Taste::encoding => NATIVE;
  };
END RI_thermal_hk_store;

SUBPROGRAM IMPLEMENTATION RI_thermal_hk_store.others
END RI_thermal_hk_store.others;

SUBPROGRAM RI_report_execution
FEATURES
  report_value : IN PARAMETER DataView::EXECUTION_REPORT {
    Taste::encoding => NATIVE;
  };
END RI_report_execution;

SUBPROGRAM IMPLEMENTATION RI_report_execution.others
END RI_report_execution.others;

SYSTEM ThermalManager
FEATURES
  PI_trigger_check_temp : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ThermalManager::PI_trigger_check_temp.others {
    Taste::coordinates => "126106 156680";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "trigger_check_temp";
  };
  PI_command_thermal_params : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ThermalManager::PI_command_thermal_params.others {
    Taste::coordinates => "164406 144721";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command_thermal_params";
  };
  PI_enable_thermal : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ThermalManager::PI_enable_thermal.others {
    Taste::coordinates => "208183 152910";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "enable_thermal";
  };
  RI_set_pwm : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_set_pwm.others {
    Taste::coordinates => "145351 165035";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "set_pwm";
    Taste::labelInheritance => "true";
  };
  RI_get_current_temperature : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_get_current_temperature.others {
    Taste::coordinates => "167555 165035";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "get_current_temperature";
    Taste::labelInheritance => "true";
  };
  RI_thermal_hk_store : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_thermal_hk_store.others {
    Taste::coordinates => "208183 157949";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "thermal_hk_store";
    Taste::labelInheritance => "true";
  };
  RI_report_execution : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_report_execution.others {
    Taste::coordinates => "191307 144721";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report_execution";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END ThermalManager;

SYSTEM IMPLEMENTATION ThermalManager.others
END ThermalManager.others;

END interfaceview::IV::ThermalManager;

PACKAGE interfaceview::IV::PayloadManager
PUBLIC

WITH interfaceview::IV::HAL;
WITH interfaceview::IV::Housekeeping;
WITH interfaceview::IV::CommandDispatcher;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_enable_payload
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_enable_payload;

SUBPROGRAM IMPLEMENTATION PI_enable_payload.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_enable_payload.others;

SUBPROGRAM PI_trigger_gather_payload_hk
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_trigger_gather_payload_hk;

SUBPROGRAM IMPLEMENTATION PI_trigger_gather_payload_hk.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_trigger_gather_payload_hk.others;

SUBPROGRAM PI_command_on_off
FEATURES
  distribute_on_off_param : IN PARAMETER DataView::TC_2_1_DistributeOnoffDeviceCommands_Type {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command_on_off;

SUBPROGRAM IMPLEMENTATION PI_command_on_off.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command_on_off.others;

SUBPROGRAM PI_command_register_load
FEATURES
  distribute_register_load_param : IN PARAMETER DataView::TC_2_2_DistributeRegisterLoadCommands_Type {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_command_register_load;

SUBPROGRAM IMPLEMENTATION PI_command_register_load.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_command_register_load.others;

SUBPROGRAM RI_oled_set_data_enable
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_oled_set_data_enable;

SUBPROGRAM IMPLEMENTATION RI_oled_set_data_enable.others
END RI_oled_set_data_enable.others;

SUBPROGRAM RI_oled_load_register
FEATURES
  register_value : IN PARAMETER DataView::UINT8T {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_oled_load_register;

SUBPROGRAM IMPLEMENTATION RI_oled_load_register.others
END RI_oled_load_register.others;

SUBPROGRAM RI_payload_hk_store
FEATURES
  payload_hk_data : IN PARAMETER DataView::PAYLOAD_HK_DATA {
    Taste::encoding => NATIVE;
  };
END RI_payload_hk_store;

SUBPROGRAM IMPLEMENTATION RI_payload_hk_store.others
END RI_payload_hk_store.others;

SUBPROGRAM RI_report_execution
FEATURES
  report_value : IN PARAMETER DataView::EXECUTION_REPORT {
    Taste::encoding => NATIVE;
  };
END RI_report_execution;

SUBPROGRAM IMPLEMENTATION RI_report_execution.others
END RI_report_execution.others;

SUBPROGRAM RI_oled_turn_on_off
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END RI_oled_turn_on_off;

SUBPROGRAM IMPLEMENTATION RI_oled_turn_on_off.others
END RI_oled_turn_on_off.others;

SYSTEM PayloadManager
FEATURES
  PI_enable_payload : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_enable_payload.others {
    Taste::coordinates => "156216 131334";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "enable_payload";
  };
  PI_trigger_gather_payload_hk : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_trigger_gather_payload_hk.others {
    Taste::coordinates => "79368 124721";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "trigger_gather_payload_hk";
  };
  PI_command_on_off : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_command_on_off.others {
    Taste::coordinates => "88502 108972";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command_on_off";
  };
  PI_command_register_load : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::PayloadManager::PI_command_register_load.others {
    Taste::coordinates => "117955 108972";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "command_register_load";
  };
  RI_oled_set_data_enable : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_set_data_enable.others {
    Taste::coordinates => "87240 137162";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "oled_set_data_enable";
    Taste::labelInheritance => "true";
  };
  RI_oled_load_register : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_load_register.others {
    Taste::coordinates => "117319 137162";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "oled_load_register";
    Taste::labelInheritance => "true";
  };
  RI_payload_hk_store : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Housekeeping::PI_payload_hk_store.others {
    Taste::coordinates => "144404 108972";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "payload_hk_store";
    Taste::labelInheritance => "true";
  };
  RI_report_execution : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::CommandDispatcher::PI_report_execution.others {
    Taste::coordinates => "156216 120311";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report_execution";
    Taste::labelInheritance => "true";
  };
  RI_oled_turn_on_off : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_turn_on_off.others {
    Taste::coordinates => "100785 137162";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "oled_turn_on_off";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END PayloadManager;

SYSTEM IMPLEMENTATION PayloadManager.others
END PayloadManager.others;

END interfaceview::IV::PayloadManager;

PACKAGE interfaceview::IV::HAL
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_set_pwm
FEATURES
  pwm_value : IN PARAMETER DataView::DUTY_CYCLE {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_set_pwm;

SUBPROGRAM IMPLEMENTATION PI_set_pwm.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_set_pwm.others;

SUBPROGRAM PI_get_current_temperature
FEATURES
  temperature_value : OUT PARAMETER DataView::TEMPERATURE {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_get_current_temperature;

SUBPROGRAM IMPLEMENTATION PI_get_current_temperature.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_get_current_temperature.others;

SUBPROGRAM PI_get_current_voltage
FEATURES
  current_voltage : OUT PARAMETER DataView::VOLTAGE {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_get_current_voltage;

SUBPROGRAM IMPLEMENTATION PI_get_current_voltage.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_get_current_voltage.others;

SUBPROGRAM PI_oled_set_data_enable
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END PI_oled_set_data_enable;

SUBPROGRAM IMPLEMENTATION PI_oled_set_data_enable.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_oled_set_data_enable.others;

SUBPROGRAM PI_oled_load_register
FEATURES
  register_value : IN PARAMETER DataView::UINT8T {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_oled_load_register;

SUBPROGRAM IMPLEMENTATION PI_oled_load_register.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_oled_load_register.others;

SUBPROGRAM PI_oled_turn_on_off
FEATURES
  enabled : IN PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
  success : OUT PARAMETER DataView::T_Boolean {
    Taste::encoding => NATIVE;
  };
END PI_oled_turn_on_off;

SUBPROGRAM IMPLEMENTATION PI_oled_turn_on_off.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_oled_turn_on_off.others;

SYSTEM HAL
FEATURES
  PI_set_pwm : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_set_pwm.others {
    Taste::coordinates => "145357 175113";
    Taste::RCMoperationKind => unprotected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "set_pwm";
  };
  PI_get_current_temperature : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_get_current_temperature.others {
    Taste::coordinates => "167565 175113";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "get_current_temperature";
  };
  PI_get_current_voltage : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_get_current_voltage.others {
    Taste::coordinates => "274481 175113";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "get_current_voltage";
  };
  PI_oled_set_data_enable : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_set_data_enable.others {
    Taste::coordinates => "87243 175113";
    Taste::RCMoperationKind => protected;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "oled_set_data_enable";
  };
  PI_oled_load_register : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_load_register.others {
    Taste::coordinates => "117324 175113";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "oled_load_register";
  };
  PI_oled_turn_on_off : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::HAL::PI_oled_turn_on_off.others {
    Taste::coordinates => "100787 175113";
    Taste::RCMoperationKind => protected;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "oled_turn_on_off";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END HAL;

SYSTEM IMPLEMENTATION HAL.others
END HAL.others;

END interfaceview::IV::HAL;

PACKAGE interfaceview::IV
-- { interfaceview::IV - 166453 106454 188341 119524 
--PI report_execution from CommandDispatcher is connected to multiple RIs 
--}
PUBLIC

WITH interfaceview::IV::MissionControl;
WITH interfaceview::IV::CommandDispatcher;
WITH interfaceview::IV::Housekeeping;
WITH interfaceview::IV::ModeManager;
WITH interfaceview::IV::ThermalManager;
WITH interfaceview::IV::PayloadManager;
WITH interfaceview::IV::HAL;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM interfaceview
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  MissionControl : SYSTEM interfaceview::IV::MissionControl::MissionControl.others {
    Taste::coordinates => "78738 50707 291331 65353";
  };
  CommandDispatcher : SYSTEM interfaceview::IV::CommandDispatcher::CommandDispatcher.others {
    Taste::coordinates => "78107 77636 200467 98265";
    TASTE_IV_Properties::Default_CodeGen => c;
  };
  Housekeeping : SYSTEM interfaceview::IV::Housekeeping::Housekeeping.others {
    Taste::coordinates => "239836 74329 290385 101257";
    TASTE_IV_Properties::Default_CodeGen => c;
  };
  ModeManager : SYSTEM interfaceview::IV::ModeManager::ModeManager.others {
    Taste::coordinates => "215585 111650 289598 135587";
    TASTE_IV_Properties::Default_CodeGen => c;
  };
  ThermalManager : SYSTEM interfaceview::IV::ThermalManager::ThermalManager.others {
    Taste::coordinates => "126106 144721 208183 165035";
    TASTE_IV_Properties::Default_CodeGen => c;
  };
  PayloadManager : SYSTEM interfaceview::IV::PayloadManager::PayloadManager.others {
    Taste::coordinates => "79368 108972 156216 137162";
    TASTE_IV_Properties::Default_CodeGen => c;
  };
  HAL : SYSTEM interfaceview::IV::HAL::HAL.others {
    Taste::coordinates => "79525 175113 292118 189601";
  };
CONNECTIONS
  CommandDispatcher_RI_report_MissionControl_PI_report : SUBPROGRAM ACCESS MissionControl.PI_report -> CommandDispatcher.RI_report {
    Taste::coordinates => "121571 77636 121571 71494 121572 71494 121572 65353";
  };
  Housekeeping_RI_housekeeping_data_MissionControl_PI_housekeeping_data : SUBPROGRAM ACCESS MissionControl.PI_housekeeping_data -> Housekeeping.RI_housekeeping_data {
    Taste::coordinates => "279207 74329 279207 70864 279205 70864 279205 65353";
  };
  MissionControl_RI_command_CommandDispatcher_PI_command : SUBPROGRAM ACCESS CommandDispatcher.PI_command -> MissionControl.RI_command {
    Taste::coordinates => "97320 65353 97320 71494 97319 71494 97319 77636";
  };
  ModeManager_RI_report_execution_CommandDispatcher_PI_report_execution : SUBPROGRAM ACCESS CommandDispatcher.PI_report_execution -> ModeManager.RI_report_execution {
    Taste::coordinates => "215585 117949 188971 117949 188971 98265";
  };
  ThermalManager_RI_report_execution_CommandDispatcher_PI_report_execution : SUBPROGRAM ACCESS CommandDispatcher.PI_report_execution -> ThermalManager.RI_report_execution {
    Taste::coordinates => "191307 144721 191307 121493 188971 121493 188971 98265";
  };
  PayloadManager_RI_report_execution_CommandDispatcher_PI_report_execution : SUBPROGRAM ACCESS CommandDispatcher.PI_report_execution -> PayloadManager.RI_report_execution {
    Taste::coordinates => "156216 120311 188971 120311 188971 98265";
  };
  CommandDispatcher_RI_command_mode_ModeManager_PI_command_mode : SUBPROGRAM ACCESS ModeManager.PI_command_mode -> CommandDispatcher.RI_command_mode {
    Taste::coordinates => "200467 86927 209758 86927 209758 122831 215585 122831";
  };
  CommandDispatcher_RI_command_thermal_params_ThermalManager_PI_command_thermal_params : SUBPROGRAM ACCESS ThermalManager.PI_command_thermal_params -> CommandDispatcher.RI_command_thermal_params {
    Taste::coordinates => "164405 98265 164405 123697 164406 123697 164406 144721";
  };
  CommandDispatcher_RI_command_on_off_PayloadManager_PI_command_on_off : SUBPROGRAM ACCESS PayloadManager.PI_command_on_off -> CommandDispatcher.RI_command_on_off {
    Taste::coordinates => "88501 98265 88501 103618 88502 103618 88502 108972";
  };
  CommandDispatcher_RI_command_register_load_PayloadManager_PI_command_register_load : SUBPROGRAM ACCESS PayloadManager.PI_command_register_load -> CommandDispatcher.RI_command_register_load {
    Taste::coordinates => "117949 98265 117949 103618 117955 103618 117955 108972";
  };
  CommandDispatcher_RI_command_voltage_ModeManager_PI_command_voltage : SUBPROGRAM ACCESS ModeManager.PI_command_voltage -> CommandDispatcher.RI_command_voltage {
    Taste::coordinates => "200467 90708 206766 90708 206766 125823 215585 125823";
  };
  PayloadManager_RI_payload_hk_store_Housekeeping_PI_payload_hk_store : SUBPROGRAM ACCESS Housekeeping.PI_payload_hk_store -> PayloadManager.RI_payload_hk_store {
    Taste::coordinates => "144404 108972 144404 105114 250702 105114 250702 101257";
  };
  ThermalManager_RI_thermal_hk_store_Housekeeping_PI_thermal_hk_store : SUBPROGRAM ACCESS Housekeeping.PI_thermal_hk_store -> ThermalManager.RI_thermal_hk_store {
    Taste::coordinates => "208183 157949 293995 157949 293995 94172 290385 94172";
  };
  ModeManager_RI_mode_hk_store_Housekeeping_PI_mode_hk_store : SUBPROGRAM ACCESS Housekeeping.PI_mode_hk_store -> ModeManager.RI_mode_hk_store {
    Taste::coordinates => "280473 111650 280473 106532 280464 106532 280464 101257";
  };
  ModeManager_RI_enable_payload_PayloadManager_PI_enable_payload : SUBPROGRAM ACCESS PayloadManager.PI_enable_payload -> ModeManager.RI_enable_payload {
    Taste::coordinates => "215585 131337 160940 131337 160940 131334 156216 131334";
  };
  ModeManager_RI_get_current_voltage_HAL_PI_get_current_voltage : SUBPROGRAM ACCESS HAL.PI_get_current_voltage -> ModeManager.RI_get_current_voltage {
    Taste::coordinates => "274480 135587 274480 155665 274481 155665 274481 175113";
  };
  ModeManager_RI_enable_thermal_ThermalManager_PI_enable_thermal : SUBPROGRAM ACCESS ThermalManager.PI_enable_thermal -> ModeManager.RI_enable_thermal {
    Taste::coordinates => "235112 135587 235112 152910 208183 152910";
  };
  ThermalManager_RI_set_pwm_HAL_PI_set_pwm : SUBPROGRAM ACCESS HAL.PI_set_pwm -> ThermalManager.RI_set_pwm {
    Taste::coordinates => "145351 165035 145351 169995 145357 169995 145357 175113";
  };
  ThermalManager_RI_get_current_temperature_HAL_PI_get_current_temperature : SUBPROGRAM ACCESS HAL.PI_get_current_temperature -> ThermalManager.RI_get_current_temperature {
    Taste::coordinates => "167555 165035 167555 169995 167565 169995 167565 175113";
  };
  PayloadManager_RI_oled_set_data_enable_HAL_PI_oled_set_data_enable : SUBPROGRAM ACCESS HAL.PI_oled_set_data_enable -> PayloadManager.RI_oled_set_data_enable {
    Taste::coordinates => "87240 137162 87240 156137 87243 156137 87243 175113";
  };
  PayloadManager_RI_oled_load_register_HAL_PI_oled_load_register : SUBPROGRAM ACCESS HAL.PI_oled_load_register -> PayloadManager.RI_oled_load_register {
    Taste::coordinates => "117319 137162 117319 156137 117324 156137 117324 175113";
  };
  PayloadManager_RI_oled_turn_on_off_HAL_PI_oled_turn_on_off : SUBPROGRAM ACCESS HAL.PI_oled_turn_on_off -> PayloadManager.RI_oled_turn_on_off {
    Taste::coordinates => "100785 137162 100785 156137 100787 156137 100787 175113";
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.4";
END interfaceview::IV;