
@requires timed-domain
COMPONENT ExomarsSystem system
INTERFACE
INPUT duration__in__rv_wakeup_start : real ;
INPUT duration__in__rv_configurereset_start : real ;
INPUT duration__in__rv_configure4travel_start : real ;
INPUT duration__in__rv_configure4science_start : real ;
INPUT duration__in__rv_mms_waitabstime_start : real ;
INPUT duration__in__rv_prepare4night_start : real ;
INPUT duration__in__act_rtb_switchon_start : real ;
INPUT duration__in__act_rtb_switchoff_start : real ;
INPUT duration__in__loccam_initialise_start : real ;
INPUT duration__in__imu_initialise_start : real ;
INPUT duration__in__gnc_fpath_straight_start : real ;
INPUT duration__in__bema_initialise_start : real ;
INPUT duration__in__gnc_updateposition_start : real ;
INPUT duration__in__gnc_updateheading_start : real ;
INPUT duration__in__start_dhs_reduced2nominal : real ;
INPUT duration__in__start_dhs_reduced2highpwr : real ;
INPUT duration__in__act_drill_1_start : real ;
INPUT duration__in__act_drill_positioner_move_start : real ;
INPUT duration__in__act_drill_initialize_start : real ;
INPUT duration__in__act_collect_sample_start : real ;
INPUT duration__in__act_deliver_sample_start : real ;
INPUT duration__in__act_drillandspds_ceswitchon_start : real ;
INPUT duration__in__act_drillandspds_ceswitchoff_start : real ;
INPUT duration__in__act_drill_dbe_initialize_start : real ;
INPUT duration__in__act_gotospds_start : real ;
INPUT duration__in__act_end_of_spds_start : real ;
INPUT duration__in__act_spds_homing_start : real ;
INPUT duration__in__act_spds_preparetoreceivedrillsample_start : real ;
INPUT duration__in__clupi_switchon_start : real ;
INPUT duration__in__clupi_diagnostic_start : real ;
INPUT duration__in__clupi_timesync_start : real ;
INPUT duration__in__clupi_acquirezscience_start : real ;
INPUT duration__in__clupi_switchoff_start : real ;
INPUT duration__in__act_ades_activate_start : real ;
INPUT startEvent__in__rv_wakeup_start : event ;
INPUT startEvent__in__rv_configurereset_start : event ;
INPUT startEvent__in__rv_configure4travel_start : event ;
INPUT startEvent__in__rv_configure4science_start : event ;
INPUT startEvent__in__rv_mms_waitabstime_start : event ;
INPUT startEvent__in__rv_prepare4night_start : event ;
INPUT startEvent__in__act_rtb_switchon_start : event ;
INPUT startEvent__in__act_rtb_switchoff_start : event ;
INPUT startEvent__in__loccam_initialise_start : event ;
INPUT startEvent__in__imu_initialise_start : event ;
INPUT startEvent__in__gnc_fpath_straight_start : event ;
INPUT startEvent__in__bema_initialise_start : event ;
INPUT startEvent__in__gnc_updateposition_start : event ;
INPUT startEvent__in__gnc_updateheading_start : event ;
INPUT startEvent__in__start_dhs_reduced2nominal : event ;
INPUT startEvent__in__start_dhs_reduced2highpwr : event ;
INPUT startEvent__in__act_drill_1_start : event ;
INPUT startEvent__in__act_drill_positioner_move_start : event ;
INPUT startEvent__in__act_drill_initialize_start : event ;
INPUT startEvent__in__act_collect_sample_start : event ;
INPUT startEvent__in__act_deliver_sample_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchon_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchoff_start : event ;
INPUT startEvent__in__act_drill_dbe_initialize_start : event ;
INPUT startEvent__in__act_gotospds_start : event ;
INPUT startEvent__in__act_end_of_spds_start : event ;
INPUT startEvent__in__act_spds_homing_start : event ;
INPUT startEvent__in__act_spds_preparetoreceivedrillsample_start : event ;
INPUT startEvent__in__clupi_switchon_start : event ;
INPUT startEvent__in__clupi_diagnostic_start : event ;
INPUT startEvent__in__clupi_timesync_start : event ;
INPUT startEvent__in__clupi_acquirezscience_start : event ;
INPUT startEvent__in__clupi_switchoff_start : event ;
INPUT startEvent__in__act_ades_activate_start : event ;
REFINEMENT
SUB rover : ExomarsRover ;
SUB env : Environment ;
CONNECTION rover.startEvent__in__act_ades_activate_start := startEvent__in__act_ades_activate_start ;
CONNECTION rover.duration__in__act_ades_activate_start := duration__in__act_ades_activate_start ;
CONNECTION rover.startEvent__in__act_collect_sample_start := startEvent__in__act_collect_sample_start ;
CONNECTION rover.duration__in__act_collect_sample_start := duration__in__act_collect_sample_start ;
CONNECTION rover.startEvent__in__act_deliver_sample_start := startEvent__in__act_deliver_sample_start ;
CONNECTION rover.duration__in__act_deliver_sample_start := duration__in__act_deliver_sample_start ;
CONNECTION rover.startEvent__in__act_drill_1_start := startEvent__in__act_drill_1_start ;
CONNECTION rover.duration__in__act_drill_1_start := duration__in__act_drill_1_start ;
CONNECTION rover.startEvent__in__act_drillandspds_ceswitchon_start := startEvent__in__act_drillandspds_ceswitchon_start ;
CONNECTION rover.duration__in__act_drillandspds_ceswitchon_start := duration__in__act_drillandspds_ceswitchon_start ;
CONNECTION rover.startEvent__in__act_drillandspds_ceswitchoff_start := startEvent__in__act_drillandspds_ceswitchoff_start ;
CONNECTION rover.duration__in__act_drillandspds_ceswitchoff_start := duration__in__act_drillandspds_ceswitchoff_start ;
CONNECTION rover.startEvent__in__act_drill_dbe_initialize_start := startEvent__in__act_drill_dbe_initialize_start ;
CONNECTION rover.duration__in__act_drill_dbe_initialize_start := duration__in__act_drill_dbe_initialize_start ;
CONNECTION rover.startEvent__in__act_drill_initialize_start := startEvent__in__act_drill_initialize_start ;
CONNECTION rover.duration__in__act_drill_initialize_start := duration__in__act_drill_initialize_start ;
CONNECTION rover.startEvent__in__act_drill_positioner_move_start := startEvent__in__act_drill_positioner_move_start ;
CONNECTION rover.duration__in__act_drill_positioner_move_start := duration__in__act_drill_positioner_move_start ;
CONNECTION rover.startEvent__in__act_gotospds_start := startEvent__in__act_gotospds_start ;
CONNECTION rover.duration__in__act_gotospds_start := duration__in__act_gotospds_start ;
CONNECTION rover.startEvent__in__act_end_of_spds_start := startEvent__in__act_end_of_spds_start ;
CONNECTION rover.duration__in__act_end_of_spds_start := duration__in__act_end_of_spds_start ;
CONNECTION rover.startEvent__in__act_spds_homing_start := startEvent__in__act_spds_homing_start ;
CONNECTION rover.duration__in__act_spds_homing_start := duration__in__act_spds_homing_start ;
CONNECTION rover.startEvent__in__act_spds_preparetoreceivedrillsample_start := startEvent__in__act_spds_preparetoreceivedrillsample_start ;
CONNECTION rover.duration__in__act_spds_preparetoreceivedrillsample_start := duration__in__act_spds_preparetoreceivedrillsample_start ;
CONNECTION rover.startEvent__in__act_rtb_switchon_start := startEvent__in__act_rtb_switchon_start ;
CONNECTION rover.duration__in__act_rtb_switchon_start := duration__in__act_rtb_switchon_start ;
CONNECTION rover.startEvent__in__act_rtb_switchoff_start := startEvent__in__act_rtb_switchoff_start ;
CONNECTION rover.duration__in__act_rtb_switchoff_start := duration__in__act_rtb_switchoff_start ;
CONNECTION rover.startEvent__in__bema_initialise_start := startEvent__in__bema_initialise_start ;
CONNECTION rover.duration__in__bema_initialise_start := duration__in__bema_initialise_start ;
CONNECTION rover.startEvent__in__clupi_acquirezscience_start := startEvent__in__clupi_acquirezscience_start ;
CONNECTION rover.duration__in__clupi_acquirezscience_start := duration__in__clupi_acquirezscience_start ;
CONNECTION rover.startEvent__in__clupi_diagnostic_start := startEvent__in__clupi_diagnostic_start ;
CONNECTION rover.duration__in__clupi_diagnostic_start := duration__in__clupi_diagnostic_start ;
CONNECTION rover.startEvent__in__clupi_switchoff_start := startEvent__in__clupi_switchoff_start ;
CONNECTION rover.duration__in__clupi_switchoff_start := duration__in__clupi_switchoff_start ;
CONNECTION rover.startEvent__in__clupi_switchon_start := startEvent__in__clupi_switchon_start ;
CONNECTION rover.duration__in__clupi_switchon_start := duration__in__clupi_switchon_start ;
CONNECTION rover.startEvent__in__clupi_timesync_start := startEvent__in__clupi_timesync_start ;
CONNECTION rover.duration__in__clupi_timesync_start := duration__in__clupi_timesync_start ;
CONNECTION rover.startEvent__in__gnc_fpath_straight_start := startEvent__in__gnc_fpath_straight_start ;
CONNECTION rover.duration__in__gnc_fpath_straight_start := duration__in__gnc_fpath_straight_start ;
CONNECTION rover.startEvent__in__gnc_updateheading_start := startEvent__in__gnc_updateheading_start ;
CONNECTION rover.duration__in__gnc_updateheading_start := duration__in__gnc_updateheading_start ;
CONNECTION rover.startEvent__in__gnc_updateposition_start := startEvent__in__gnc_updateposition_start ;
CONNECTION rover.duration__in__gnc_updateposition_start := duration__in__gnc_updateposition_start ;
CONNECTION rover.startEvent__in__imu_initialise_start := startEvent__in__imu_initialise_start ;
CONNECTION rover.duration__in__imu_initialise_start := duration__in__imu_initialise_start ;
CONNECTION rover.startEvent__in__loccam_initialise_start := startEvent__in__loccam_initialise_start ;
CONNECTION rover.duration__in__loccam_initialise_start := duration__in__loccam_initialise_start ;
CONNECTION rover.startEvent__in__rv_configurereset_start := startEvent__in__rv_configurereset_start ;
CONNECTION rover.duration__in__rv_configurereset_start := duration__in__rv_configurereset_start ;
CONNECTION rover.startEvent__in__rv_configure4travel_start := startEvent__in__rv_configure4travel_start ;
CONNECTION rover.duration__in__rv_configure4travel_start := duration__in__rv_configure4travel_start ;
CONNECTION rover.startEvent__in__rv_configure4science_start := startEvent__in__rv_configure4science_start ;
CONNECTION rover.duration__in__rv_configure4science_start := duration__in__rv_configure4science_start ;
CONNECTION rover.startEvent__in__rv_wakeup_start := startEvent__in__rv_wakeup_start ;
CONNECTION rover.duration__in__rv_wakeup_start := duration__in__rv_wakeup_start ;
CONNECTION rover.startEvent__in__rv_mms_waitabstime_start := startEvent__in__rv_mms_waitabstime_start ;
CONNECTION rover.duration__in__rv_mms_waitabstime_start := duration__in__rv_mms_waitabstime_start ;
CONNECTION rover.startEvent__in__rv_prepare4night_start := startEvent__in__rv_prepare4night_start ;
CONNECTION rover.duration__in__rv_prepare4night_start := duration__in__rv_prepare4night_start ;
CONNECTION rover.startEvent__in__start_dhs_reduced2highpwr := startEvent__in__start_dhs_reduced2highpwr ;
CONNECTION rover.duration__in__start_dhs_reduced2highpwr := duration__in__start_dhs_reduced2highpwr ;
CONNECTION rover.startEvent__in__start_dhs_reduced2nominal := startEvent__in__start_dhs_reduced2nominal ;
CONNECTION rover.duration__in__start_dhs_reduced2nominal := duration__in__start_dhs_reduced2nominal ;
COMPONENT ExomarsRover
INTERFACE
INPUT duration__in__rv_wakeup_start : real ;
INPUT duration__in__rv_configurereset_start : real ;
INPUT duration__in__rv_configure4travel_start : real ;
INPUT duration__in__rv_configure4science_start : real ;
INPUT duration__in__rv_mms_waitabstime_start : real ;
INPUT duration__in__rv_prepare4night_start : real ;
INPUT duration__in__act_rtb_switchon_start : real ;
INPUT duration__in__act_rtb_switchoff_start : real ;
INPUT duration__in__loccam_initialise_start : real ;
INPUT duration__in__imu_initialise_start : real ;
INPUT duration__in__gnc_fpath_straight_start : real ;
INPUT duration__in__bema_initialise_start : real ;
INPUT duration__in__gnc_updateposition_start : real ;
INPUT duration__in__gnc_updateheading_start : real ;
INPUT duration__in__start_dhs_reduced2nominal : real ;
INPUT duration__in__start_dhs_reduced2highpwr : real ;
INPUT duration__in__act_drill_1_start : real ;
INPUT duration__in__act_drill_positioner_move_start : real ;
INPUT duration__in__act_drill_initialize_start : real ;
INPUT duration__in__act_collect_sample_start : real ;
INPUT duration__in__act_deliver_sample_start : real ;
INPUT duration__in__act_drillandspds_ceswitchon_start : real ;
INPUT duration__in__act_drillandspds_ceswitchoff_start : real ;
INPUT duration__in__act_drill_dbe_initialize_start : real ;
INPUT duration__in__act_gotospds_start : real ;
INPUT duration__in__act_end_of_spds_start : real ;
INPUT duration__in__act_spds_homing_start : real ;
INPUT duration__in__act_spds_preparetoreceivedrillsample_start : real ;
INPUT duration__in__clupi_switchon_start : real ;
INPUT duration__in__clupi_diagnostic_start : real ;
INPUT duration__in__clupi_timesync_start : real ;
INPUT duration__in__clupi_acquirezscience_start : real ;
INPUT duration__in__clupi_switchoff_start : real ;
INPUT duration__in__act_ades_activate_start : real ;
INPUT startEvent__in__rv_wakeup_start : event ;
INPUT startEvent__in__rv_configurereset_start : event ;
INPUT startEvent__in__rv_configure4travel_start : event ;
INPUT startEvent__in__rv_configure4science_start : event ;
INPUT startEvent__in__rv_mms_waitabstime_start : event ;
INPUT startEvent__in__rv_prepare4night_start : event ;
INPUT startEvent__in__act_rtb_switchon_start : event ;
INPUT startEvent__in__act_rtb_switchoff_start : event ;
INPUT startEvent__in__loccam_initialise_start : event ;
INPUT startEvent__in__imu_initialise_start : event ;
INPUT startEvent__in__gnc_fpath_straight_start : event ;
INPUT startEvent__in__bema_initialise_start : event ;
INPUT startEvent__in__gnc_updateposition_start : event ;
INPUT startEvent__in__gnc_updateheading_start : event ;
INPUT startEvent__in__start_dhs_reduced2nominal : event ;
INPUT startEvent__in__start_dhs_reduced2highpwr : event ;
INPUT startEvent__in__act_drill_1_start : event ;
INPUT startEvent__in__act_drill_positioner_move_start : event ;
INPUT startEvent__in__act_drill_initialize_start : event ;
INPUT startEvent__in__act_collect_sample_start : event ;
INPUT startEvent__in__act_deliver_sample_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchon_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchoff_start : event ;
INPUT startEvent__in__act_drill_dbe_initialize_start : event ;
INPUT startEvent__in__act_gotospds_start : event ;
INPUT startEvent__in__act_end_of_spds_start : event ;
INPUT startEvent__in__act_spds_homing_start : event ;
INPUT startEvent__in__act_spds_preparetoreceivedrillsample_start : event ;
INPUT startEvent__in__clupi_switchon_start : event ;
INPUT startEvent__in__clupi_diagnostic_start : event ;
INPUT startEvent__in__clupi_timesync_start : event ;
INPUT startEvent__in__clupi_acquirezscience_start : event ;
INPUT startEvent__in__clupi_switchoff_start : event ;
INPUT startEvent__in__act_ades_activate_start : event ;
OUTPUT clupi_binning : integer ;
OUTPUT bema_status : { BEMA_STANDBY , BEMA_OFF } ;
OUTPUT clupi_status : { CLUPI_SDBY , CLUPI_OFF } ;
OUTPUT imu_status : { IMU_OFF , IMU_OPERATING } ;
OUTPUT DRILL_POSITIONER_POSE : { LOW_FOR_IMAGING , VERTICAL_DISCHARGE , STOWED , VERTICAL , SAMPLE_DISCHARGE , LOW_FOR_DRILL , HORIZONTAL_DISCHARGE , HORIZONTAL } ;
OUTPUT spds_cs_dejam_pose : real ;
OUTPUT drill_db_q1 : real ;
OUTPUT clupi_mem_check : boolean ;
OUTPUT spds_cs_vsm_pose : real ;
OUTPUT clupi_time_synch : boolean ;
OUTPUT ade_right_status : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
OUTPUT drill_status : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
OUTPUT drill_db_q2 : real ;
OUTPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT clupi_imagedatatype : integer ;
OUTPUT spds_ds_1_pose : integer ;
OUTPUT DRILL_ROD_SAMPLE_POSE : { HOME , SAMPLE_APPROACHED } ;
OUTPUT rv_status : { RV_READY , FAKE } ;
OUTPUT spds_ds_2_pose : integer ;
OUTPUT ade_left_status : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
OUTPUT heading_updated : boolean ;
OUTPUT spds_cs_crush_pose : real ;
OUTPUT navcam_status : { NAVCAM_OFF , NAVCAM_STANDBY } ;
OUTPUT clupi_quantization : integer ;
OUTPUT drill_rod_q : real ;
OUTPUT rtb_status : { RTB_OFF , RTB_ON } ;
OUTPUT position_updated : boolean ;
OUTPUT drill_sensor_calib_status : { OFF , ON } ;
OUTPUT spds_cstm_pose : real ;
OUTPUT loccam_status : { LOCCAM_OFF , LOCCAM_STANDBY } ;
OUTPUT spds_bsd_pose : real ;
OUTPUT rtb_power : real ;
OUTPUT dhs_power : real ;
OUTPUT drill_power : real ;
OUTPUT ade_left_power : real ;
OUTPUT ade_right_power : real ;
OUTPUT clupi_power : real ;
OUTPUT imu_power : real ;
OUTPUT bema_power : real ;
OUTPUT loccam_power : real ;
OUTPUT performed__in__drill_dbe_initialize_done : boolean ;
OUTPUT performed__in__drill_dbe_switchoff_done : boolean ;
OUTPUT performed__in__loccam_initialise_done : boolean ;
OUTPUT performed__in__clupi_acquirezscience_done : boolean ;
OUTPUT performed__in__gnc_fpath_straight_done : boolean ;
OUTPUT performed__in__ades_activate_done : boolean ;
OUTPUT performed__in__drill_initialize_done : boolean ;
OUTPUT performed__in__dhs_reduced2highpwr_done : boolean ;
OUTPUT performed__in__bema_initialise_done : boolean ;
OUTPUT performed__in__drill_positioner_move_done : boolean ;
OUTPUT performed__in__deliver_sample_done : boolean ;
OUTPUT performed__in__drillandspds_ceswitchon_done : boolean ;
OUTPUT performed__in__drillandspds_ceswitchoff_done : boolean ;
OUTPUT performed__in__dhs_reduced2nominal_done : boolean ;
OUTPUT performed__in__imu_initialise_done : boolean ;
OUTPUT performed__in__clupi_timesync_done : boolean ;
OUTPUT performed__in__drill_1_done : boolean ;
OUTPUT performed__in__rv_wakeup_done : boolean ;
OUTPUT performed__in__rtb_switchon_done : boolean ;
OUTPUT performed__in__rtb_switchoff_done : boolean ;
OUTPUT performed__in__collect_sample_done : boolean ;
OUTPUT performed__in__clupi_diagnostic_done : boolean ;
OUTPUT performed__in__rv_configurereset_done : boolean ;
OUTPUT performed__in__rv_configure4science_done : boolean ;
OUTPUT performed__in__rv_mms_waitabstime_done : boolean ;
OUTPUT performed__in__rv_prepare4night_done : boolean ;
OUTPUT performed__in__rv_configure4travel_done : boolean ;
OUTPUT performed__in__gnc_updateposition_done : boolean ;
OUTPUT performed__in__clupi_switchon_done : boolean ;
OUTPUT performed__in__clupi_switchoff_done : boolean ;
OUTPUT performed__in__gnc_updateheading_done : boolean ;
OUTPUT performed__in__gotospds_done : boolean ;
OUTPUT performed__in__end_of_spds_done : boolean ;
OUTPUT performed__in__spds_homing_done : boolean ;
OUTPUT performed__in__spds_preparetoreceivedrillsample_done : boolean ;
REFINEMENT
SUB drillmamissspds : DrillMamissSpds ;
SUB rtb : RTB ;
SUB clupi : Clupi ;
SUB rover_subsys : Rover ;
SUB ade : Ade ;
SUB gnc : GNC ;
SUB dhs : Dhs ;
CONNECTION performed__in__drill_initialize_done := drillmamissspds.performed__in__drill_initialize_done ;
CONNECTION performed__in__imu_initialise_done := gnc.performed__in__imu_initialise_done ;
CONNECTION performed__in__drillandspds_ceswitchon_done := drillmamissspds.performed__in__drillandspds_ceswitchon_done ;
CONNECTION performed__in__drillandspds_ceswitchoff_done := drillmamissspds.performed__in__drillandspds_ceswitchoff_done ;
CONNECTION performed__in__rtb_switchon_done := rtb.performed__in__rtb_switchon_done ;
CONNECTION performed__in__rtb_switchoff_done := rtb.performed__in__rtb_switchoff_done ;
CONNECTION performed__in__gnc_updateposition_done := gnc.performed__in__gnc_updateposition_done ;
CONNECTION performed__in__drill_positioner_move_done := drillmamissspds.performed__in__drill_positioner_move_done ;
CONNECTION performed__in__bema_initialise_done := gnc.performed__in__bema_initialise_done ;
CONNECTION performed__in__rv_wakeup_done := rover_subsys.performed__in__rv_wakeup_done ;
CONNECTION performed__in__drill_dbe_initialize_done := drillmamissspds.performed__in__drill_dbe_initialize_done ;
CONNECTION performed__in__drill_dbe_switchoff_done := drillmamissspds.performed__in__drill_dbe_switchoff_done ;
CONNECTION performed__in__rv_configurereset_done := rover_subsys.performed__in__rv_configurereset_done ;
CONNECTION performed__in__rv_configure4science_done := rover_subsys.performed__in__rv_configure4science_done ;
CONNECTION performed__in__rv_mms_waitabstime_done := rover_subsys.performed__in__rv_mms_waitabstime_done ;
CONNECTION performed__in__rv_prepare4night_done := rover_subsys.performed__in__rv_prepare4night_done ;
CONNECTION performed__in__rv_configure4travel_done := rover_subsys.performed__in__rv_configure4travel_done ;
CONNECTION performed__in__dhs_reduced2highpwr_done := dhs.performed__in__dhs_reduced2highpwr_done ;
CONNECTION performed__in__clupi_acquirezscience_done := clupi.performed__in__clupi_acquirezscience_done ;
CONNECTION performed__in__dhs_reduced2nominal_done := dhs.performed__in__dhs_reduced2nominal_done ;
CONNECTION performed__in__drill_1_done := drillmamissspds.performed__in__drill_1_done ;
CONNECTION performed__in__collect_sample_done := drillmamissspds.performed__in__collect_sample_done ;
CONNECTION performed__in__ades_activate_done := ade.performed__in__ades_activate_done ;
CONNECTION performed__in__deliver_sample_done := drillmamissspds.performed__in__deliver_sample_done ;
CONNECTION performed__in__clupi_switchon_done := clupi.performed__in__clupi_switchon_done ;
CONNECTION performed__in__clupi_switchoff_done := clupi.performed__in__clupi_switchoff_done ;
CONNECTION performed__in__clupi_diagnostic_done := clupi.performed__in__clupi_diagnostic_done ;
CONNECTION performed__in__gnc_fpath_straight_done := gnc.performed__in__gnc_fpath_straight_done ;
CONNECTION performed__in__gnc_updateheading_done := gnc.performed__in__gnc_updateheading_done ;
CONNECTION performed__in__clupi_timesync_done := clupi.performed__in__clupi_timesync_done ;
CONNECTION performed__in__loccam_initialise_done := gnc.performed__in__loccam_initialise_done ;
CONNECTION performed__in__gotospds_done := drillmamissspds.performed__in__gotospds_done ;
CONNECTION performed__in__end_of_spds_done := drillmamissspds.performed__in__end_of_spds_done ;
CONNECTION performed__in__spds_homing_done := drillmamissspds.performed__in__spds_homing_done ;
CONNECTION performed__in__spds_preparetoreceivedrillsample_done := drillmamissspds.performed__in__spds_preparetoreceivedrillsample_done ;
CONNECTION rv_status := rover_subsys.rv_status ;
CONNECTION bema_status := gnc.bema_status ;
CONNECTION clupi_status := clupi.clupi_status ;
CONNECTION clupi_time_synch := clupi.clupi_time_synch ;
CONNECTION clupi_imagedatatype := clupi.clupi_imagedatatype ;
CONNECTION drill_sensor_calib_status := drillmamissspds.drill_sensor_calib_status ;
CONNECTION drill_rod_q := drillmamissspds.drill_rod_q ;
CONNECTION loccam_status := gnc.loccam_status ;
CONNECTION spds_bsd_pose := drillmamissspds.spds_bsd_pose ;
CONNECTION clupi_mem_check := clupi.clupi_mem_check ;
CONNECTION spds_cs_dejam_pose := drillmamissspds.spds_cs_dejam_pose ;
CONNECTION spds_cs_vsm_pose := drillmamissspds.spds_cs_vsm_pose ;
CONNECTION spds_cstm_pose := drillmamissspds.spds_cstm_pose ;
CONNECTION navcam_status := gnc.navcam_status ;
CONNECTION heading_updated := gnc.heading_updated ;
CONNECTION drill_db_q2 := drillmamissspds.drill_db_q2 ;
CONNECTION ade_left_status := ade.ade_left_status ;
CONNECTION ade_right_status := ade.ade_right_status ;
CONNECTION clupi_binning := clupi.clupi_binning ;
CONNECTION drill_db_q1 := drillmamissspds.drill_db_q1 ;
CONNECTION drill_status := drillmamissspds.drill_status ;
CONNECTION DRILL_ROD_SAMPLE_POSE := drillmamissspds.DRILL_ROD_SAMPLE_POSE ;
CONNECTION DRILL_POSITIONER_POSE := drillmamissspds.DRILL_POSITIONER_POSE ;
CONNECTION rtb_status := rtb.rtb_status ;
CONNECTION position_updated := gnc.position_updated ;
CONNECTION spds_cs_crush_pose := drillmamissspds.spds_cs_crush_pose ;
CONNECTION imu_status := gnc.imu_status ;
CONNECTION clupi_quantization := clupi.clupi_quantization ;
CONNECTION dhs_status := dhs.dhs_status ;
CONNECTION spds_ds_1_pose := drillmamissspds.spds_ds_1_pose ;
CONNECTION spds_ds_2_pose := drillmamissspds.spds_ds_2_pose ;
CONNECTION rtb_power := rtb.rtb_power ;
CONNECTION dhs_power := dhs.dhs_power ;
CONNECTION drill_power := drillmamissspds.drill_power ;
CONNECTION ade_left_power := ade.ade_left_power ;
CONNECTION ade_right_power := ade.ade_right_power ;
CONNECTION clupi_power := clupi.clupi_power ;
CONNECTION imu_power := gnc.imu_power ;
CONNECTION bema_power := gnc.bema_power ;
CONNECTION loccam_power := gnc.loccam_power ;
CONNECTION rtb.ade_left_power := ade.ade_left_power ;
CONNECTION rtb.ade_right_power := ade.ade_right_power ;
CONNECTION rtb.imu_power := gnc.imu_power ;
CONNECTION rtb.bema_power := gnc.bema_power ;
CONNECTION rtb.loccam_power := gnc.loccam_power ;
CONNECTION rtb.drill_power := drillmamissspds.drill_power ;
CONNECTION gnc.drill_power := drillmamissspds.drill_power ;
CONNECTION rtb.clupi_power := clupi.clupi_power ;
CONNECTION rtb.dhs_power := dhs.dhs_power ;
CONNECTION ade.rtb_power := rtb.rtb_power ;
CONNECTION ade.imu_power := gnc.imu_power ;
CONNECTION ade.bema_power := gnc.bema_power ;
CONNECTION ade.loccam_power := gnc.loccam_power ;
CONNECTION ade.drill_power := drillmamissspds.drill_power ;
CONNECTION ade.clupi_power := clupi.clupi_power ;
CONNECTION ade.dhs_power := dhs.dhs_power ;
CONNECTION rover_subsys.rtb_power := rtb.rtb_power ;
CONNECTION rover_subsys.imu_power := gnc.imu_power ;
CONNECTION rover_subsys.bema_power := gnc.bema_power ;
CONNECTION rover_subsys.loccam_power := gnc.loccam_power ;
CONNECTION rover_subsys.drill_power := drillmamissspds.drill_power ;
CONNECTION rover_subsys.clupi_power := clupi.clupi_power ;
CONNECTION rover_subsys.dhs_power := dhs.dhs_power ;
CONNECTION rover_subsys.ade_left_power := ade.ade_left_power ;
CONNECTION rover_subsys.ade_right_power := ade.ade_right_power ;
CONNECTION drillmamissspds.bema_status := gnc.bema_status ;
CONNECTION rover_subsys.bema_status := gnc.bema_status ;
CONNECTION rover_subsys.clupi_status := clupi.clupi_status ;
CONNECTION rover_subsys.loccam_status := gnc.loccam_status ;
CONNECTION rover_subsys.navcam_status := gnc.navcam_status ;
CONNECTION gnc.ade_left_status := ade.ade_left_status ;
CONNECTION rover_subsys.ade_left_status := ade.ade_left_status ;
CONNECTION gnc.ade_right_status := ade.ade_right_status ;
CONNECTION rover_subsys.ade_right_status := ade.ade_right_status ;
CONNECTION drillmamissspds.rtb_status := rtb.rtb_status ;
CONNECTION rover_subsys.imu_status := gnc.imu_status ;
CONNECTION gnc.dhs_status := dhs.dhs_status ;
CONNECTION drillmamissspds.dhs_status := dhs.dhs_status ;
CONNECTION rover_subsys.dhs_status := dhs.dhs_status ;
CONNECTION clupi.dhs_status := dhs.dhs_status ;
CONNECTION dhs.status__in__set_dhs_status_act_rv_wakeup := rover_subsys.status__in__set_dhs_status_act_rv_wakeup ;
CONNECTION dhs.generatedEventPort__in__set_dhs_status_act_rv_wakeup := ( next(rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_wakeup) != rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_wakeup ) ;
CONNECTION dhs.status__in__set_dhs_status_act_rv_configurereset := rover_subsys.status__in__set_dhs_status_act_rv_configurereset ;
CONNECTION dhs.generatedEventPort__in__set_dhs_status_act_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configurereset) != rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configurereset ) ;
CONNECTION dhs.status__in__set_dhs_status_act_rv_configure4travel := rover_subsys.status__in__set_dhs_status_act_rv_configure4travel ;
CONNECTION dhs.generatedEventPort__in__set_dhs_status_act_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configure4travel ) ;
CONNECTION dhs.status__in__set_dhs_status_act_rv_configure4science := rover_subsys.status__in__set_dhs_status_act_rv_configure4science ;
CONNECTION dhs.generatedEventPort__in__set_dhs_status_act_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configure4science) != rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_configure4science ) ;
CONNECTION dhs.status__in__set_dhs_status_act_rv_prepare4night := rover_subsys.status__in__set_dhs_status_act_rv_prepare4night ;
CONNECTION dhs.generatedEventPort__in__set_dhs_status_act_rv_prepare4night := ( next(rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_prepare4night) != rover_subsys.generatedEventPort__in__set_dhs_status_act_rv_prepare4night ) ;
CONNECTION ade.status__in__set_ade_right_status_rv_configurereset := rover_subsys.status__in__set_ade_right_status_rv_configurereset ;
CONNECTION ade.generatedEventPort__in__set_ade_right_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configurereset ) ;
CONNECTION ade.status__in__set_ade_left_status_rv_configurereset := rover_subsys.status__in__set_ade_left_status_rv_configurereset ;
CONNECTION ade.generatedEventPort__in__set_ade_left_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configurereset ) ;
CONNECTION ade.status__in__set_ade_right_status_rv_configure4science := rover_subsys.status__in__set_ade_right_status_rv_configure4science ;
CONNECTION ade.generatedEventPort__in__set_ade_right_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configure4science ) ;
CONNECTION ade.status__in__set_ade_right_status_rv_configure4travel := rover_subsys.status__in__set_ade_right_status_rv_configure4travel ;
CONNECTION ade.generatedEventPort__in__set_ade_right_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_ade_right_status_rv_configure4travel ) ;
CONNECTION ade.status__in__set_ade_left_status_rv_configure4science := rover_subsys.status__in__set_ade_left_status_rv_configure4science ;
CONNECTION ade.generatedEventPort__in__set_ade_left_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configure4science ) ;
CONNECTION ade.status__in__set_ade_left_status_rv_configure4travel := rover_subsys.status__in__set_ade_left_status_rv_configure4travel ;
CONNECTION ade.generatedEventPort__in__set_ade_left_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_ade_left_status_rv_configure4travel ) ;
CONNECTION clupi.status__in__set_clupi_status_rv_configurereset := rover_subsys.status__in__set_clupi_status_rv_configurereset ;
CONNECTION clupi.generatedEventPort__in__set_clupi_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_clupi_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_clupi_status_rv_configurereset ) ;
CONNECTION gnc.status__in__set_imu_status_rv_configurereset := rover_subsys.status__in__set_imu_status_rv_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_imu_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_imu_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_imu_status_rv_configurereset ) ;
CONNECTION gnc.status__in__set_loccam_status_rv_configurereset := rover_subsys.status__in__set_loccam_status_rv_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_loccam_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_loccam_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_loccam_status_rv_configurereset ) ;
CONNECTION gnc.status__in__set_navcam_status_rv_configurereset := rover_subsys.status__in__set_navcam_status_rv_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_navcam_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_navcam_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_navcam_status_rv_configurereset ) ;
CONNECTION gnc.status__in__set_bema_status_rv_configurereset := rover_subsys.status__in__set_bema_status_rv_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_bema_status_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_bema_status_rv_configurereset) != rover_subsys.generatedEventPort__in__set_bema_status_rv_configurereset ) ;
CONNECTION gnc.status__in__set_imu_status_rv_configure4travel := rover_subsys.status__in__set_imu_status_rv_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_imu_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_imu_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_imu_status_rv_configure4travel ) ;
CONNECTION gnc.status__in__set_loccam_status_rv_configure4travel := rover_subsys.status__in__set_loccam_status_rv_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_loccam_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_loccam_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_loccam_status_rv_configure4travel ) ;
CONNECTION gnc.status__in__set_navcam_status_rv_configure4travel := rover_subsys.status__in__set_navcam_status_rv_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_navcam_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_navcam_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_navcam_status_rv_configure4travel ) ;
CONNECTION gnc.status__in__set_bema_status_rv_configure4travel := rover_subsys.status__in__set_bema_status_rv_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_bema_status_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_bema_status_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_bema_status_rv_configure4travel ) ;
CONNECTION gnc.status__in__set_imu_status_rv_configure4science := rover_subsys.status__in__set_imu_status_rv_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_imu_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_imu_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_imu_status_rv_configure4science ) ;
CONNECTION gnc.status__in__set_loccam_status_rv_configure4science := rover_subsys.status__in__set_loccam_status_rv_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_loccam_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_loccam_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_loccam_status_rv_configure4science ) ;
CONNECTION gnc.status__in__set_navcam_status_rv_configure4science := rover_subsys.status__in__set_navcam_status_rv_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_navcam_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_navcam_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_navcam_status_rv_configure4science ) ;
CONNECTION gnc.status__in__set_bema_status_rv_configure4science := rover_subsys.status__in__set_bema_status_rv_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_bema_status_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_bema_status_rv_configure4science) != rover_subsys.generatedEventPort__in__set_bema_status_rv_configure4science ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_act_ades_activate := ade.status__in__set_sys_time_seconds ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_act_ades_activate := ( next(ade.generatedEventPort__in__set_sys_time_seconds) != ade.generatedEventPort__in__set_sys_time_seconds ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_act_rtb_switchon := rtb.status__in__set_sys_time_seconds_switchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_act_rtb_switchon := ( next(rtb.generatedEventPort__in__set_sys_time_seconds_switchon) != rtb.generatedEventPort__in__set_sys_time_seconds_switchon ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_act_rtb_switchoff := rtb.status__in__set_sys_time_seconds_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_act_rtb_switchoff := ( next(rtb.generatedEventPort__in__set_sys_time_seconds_switchoff) != rtb.generatedEventPort__in__set_sys_time_seconds_switchoff ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_loccam_initialise := gnc.status__in__set_sys_time_seconds_loccam_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_loccam_initialise := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_loccam_initialise) != gnc.generatedEventPort__in__set_sys_time_seconds_loccam_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_loccam_initialise := gnc.status__in__set_sys_energy_used_loccam_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_loccam_initialise := ( next(gnc.generatedEventPort__in__set_sys_energy_used_loccam_initialise) != gnc.generatedEventPort__in__set_sys_energy_used_loccam_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_imu_initialise := gnc.status__in__set_sys_time_seconds_imu_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_imu_initialise := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_imu_initialise) != gnc.generatedEventPort__in__set_sys_time_seconds_imu_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_imu_initialise := gnc.status__in__set_sys_energy_used_imu_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_imu_initialise := ( next(gnc.generatedEventPort__in__set_sys_energy_used_imu_initialise) != gnc.generatedEventPort__in__set_sys_energy_used_imu_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_gnc_updateheading := gnc.status__in__set_sys_time_seconds_gnc_updateheading ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_gnc_updateheading := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_gnc_updateheading) != gnc.generatedEventPort__in__set_sys_time_seconds_gnc_updateheading ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_gnc_updateheading := gnc.status__in__set_sys_energy_used_gnc_updateheading ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_gnc_updateheading := ( next(gnc.generatedEventPort__in__set_sys_energy_used_gnc_updateheading) != gnc.generatedEventPort__in__set_sys_energy_used_gnc_updateheading ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_gnc_updateposition := gnc.status__in__set_sys_time_seconds_gnc_updateposition ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_gnc_updateposition := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_gnc_updateposition) != gnc.generatedEventPort__in__set_sys_time_seconds_gnc_updateposition ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_gnc_updateposition := gnc.status__in__set_sys_energy_used_gnc_updateposition ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_gnc_updateposition := ( next(gnc.generatedEventPort__in__set_sys_energy_used_gnc_updateposition) != gnc.generatedEventPort__in__set_sys_energy_used_gnc_updateposition ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_gnc_fpath_straight := gnc.status__in__set_sys_time_seconds_gnc_fpath_straight ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_gnc_fpath_straight := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_gnc_fpath_straight) != gnc.generatedEventPort__in__set_sys_time_seconds_gnc_fpath_straight ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_gnc_fpath_straight := gnc.status__in__set_sys_energy_used_gnc_fpath_straight ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_gnc_fpath_straight := ( next(gnc.generatedEventPort__in__set_sys_energy_used_gnc_fpath_straight) != gnc.generatedEventPort__in__set_sys_energy_used_gnc_fpath_straight ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_bema_initialise := gnc.status__in__set_sys_time_seconds_bema_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_bema_initialise := ( next(gnc.generatedEventPort__in__set_sys_time_seconds_bema_initialise) != gnc.generatedEventPort__in__set_sys_time_seconds_bema_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_bema_initialise := gnc.status__in__set_sys_energy_used_bema_initialise ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_bema_initialise := ( next(gnc.generatedEventPort__in__set_sys_energy_used_bema_initialise) != gnc.generatedEventPort__in__set_sys_energy_used_bema_initialise ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_deliver_sample := drillmamissspds.status__in__set_sys_time_seconds_deliver_sample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_deliver_sample := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_deliver_sample) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_deliver_sample ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_deliver_sample := drillmamissspds.status__in__set_sys_energy_used_deliver_sample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_deliver_sample := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_deliver_sample) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_deliver_sample ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drill_positioner_move := drillmamissspds.status__in__set_sys_time_seconds_drill_positioner_move ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drill_positioner_move := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_positioner_move) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_positioner_move ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drill_positioner_move := drillmamissspds.status__in__set_sys_energy_used_drill_positioner_move ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drill_positioner_move := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_positioner_move) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_positioner_move ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drill_1 := drillmamissspds.status__in__set_sys_time_seconds_drill_1 ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drill_1 := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_1) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_1 ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drill_1 := drillmamissspds.status__in__set_sys_energy_used_drill_1 ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drill_1 := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_1) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_1 ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drill_dbe_initialize := drillmamissspds.status__in__set_sys_time_seconds_drill_dbe_initialize ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drill_dbe_initialize := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_dbe_initialize) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_dbe_initialize ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drill_dbe_initialize := drillmamissspds.status__in__set_sys_energy_used_drill_dbe_initialize ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drill_dbe_initialize := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_dbe_initialize) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_dbe_initialize ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drillandspds_ceswitchon := drillmamissspds.status__in__set_sys_time_seconds_drillandspds_ceswitchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchon := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchon) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchon ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drillandspds_ceswitchon := drillmamissspds.status__in__set_sys_energy_used_drillandspds_ceswitchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchon := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchon) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchon ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drill_initialize := drillmamissspds.status__in__set_sys_time_seconds_drill_initialize ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drill_initialize := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_initialize) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_initialize ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drill_initialize := drillmamissspds.status__in__set_sys_energy_used_drill_initialize ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drill_initialize := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_initialize) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_initialize ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_collect_sample := drillmamissspds.status__in__set_sys_time_seconds_collect_sample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_collect_sample := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_collect_sample) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_collect_sample ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_collect_sample := drillmamissspds.status__in__set_sys_energy_used_collect_sample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_collect_sample := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_collect_sample) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_collect_sample ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_drill_dbe_switchoff := drillmamissspds.status__in__set_sys_time_seconds_drill_dbe_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_drill_dbe_switchoff := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_dbe_switchoff) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_drill_dbe_switchoff ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_drill_dbe_switchoff := drillmamissspds.status__in__set_sys_energy_used_drill_dbe_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_drill_dbe_switchoff := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_dbe_switchoff) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_drill_dbe_switchoff ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_gotospds := drillmamissspds.status__in__set_sys_time_seconds_gotospds ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_gotospds := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_gotospds) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_gotospds ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_gotospds := drillmamissspds.status__in__set_sys_energy_used_gotospds ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_gotospds := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_gotospds) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_gotospds ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_end_of_spds := drillmamissspds.status__in__set_sys_time_seconds_end_of_spds ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_end_of_spds := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_end_of_spds) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_end_of_spds ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_end_of_spds := drillmamissspds.status__in__set_sys_energy_used_end_of_spds ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_end_of_spds := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_end_of_spds) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_end_of_spds ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_spds_homing := drillmamissspds.status__in__set_sys_time_seconds_spds_homing ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_spds_homing := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_spds_homing) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_spds_homing ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_spds_homing := drillmamissspds.status__in__set_sys_energy_used_spds_homing ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_spds_homing := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_spds_homing) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_spds_homing ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_spds_preparetoreceivedrillsample := drillmamissspds.status__in__set_sys_time_seconds_spds_preparetoreceivedrillsample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_spds_preparetoreceivedrillsample := ( next(drillmamissspds.generatedEventPort__in__set_sys_time_seconds_spds_preparetoreceivedrillsample) != drillmamissspds.generatedEventPort__in__set_sys_time_seconds_spds_preparetoreceivedrillsample ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_spds_preparetoreceivedrillsample := drillmamissspds.status__in__set_sys_energy_used_spds_preparetoreceivedrillsample ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_spds_preparetoreceivedrillsample := ( next(drillmamissspds.generatedEventPort__in__set_sys_energy_used_spds_preparetoreceivedrillsample) != drillmamissspds.generatedEventPort__in__set_sys_energy_used_spds_preparetoreceivedrillsample ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_reduced2nominal := dhs.status__in__set_sys_time_seconds_reduced2nominal ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_reduced2nominal := ( next(dhs.generatedEventPort__in__set_sys_time_seconds_reduced2nominal) != dhs.generatedEventPort__in__set_sys_time_seconds_reduced2nominal ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_reduced2highpwr := dhs.status__in__set_sys_time_seconds_reduced2highpwr ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_reduced2highpwr := ( next(dhs.generatedEventPort__in__set_sys_time_seconds_reduced2highpwr) != dhs.generatedEventPort__in__set_sys_time_seconds_reduced2highpwr ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_reduced2nominal := dhs.status__in__set_sys_energy_used_reduced2nominal ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_reduced2nominal := ( next(dhs.generatedEventPort__in__set_sys_energy_used_reduced2nominal) != dhs.generatedEventPort__in__set_sys_energy_used_reduced2nominal ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_reduced2highpwr := dhs.status__in__set_sys_energy_used_reduced2highpwr ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_reduced2highpwr := ( next(dhs.generatedEventPort__in__set_sys_energy_used_reduced2highpwr) != dhs.generatedEventPort__in__set_sys_energy_used_reduced2highpwr ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_switchon := clupi.status__in__set_sys_time_seconds_switchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_switchon := ( next(clupi.generatedEventPort__in__set_sys_time_seconds_switchon) != clupi.generatedEventPort__in__set_sys_time_seconds_switchon ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_diagnostic := clupi.status__in__set_sys_time_seconds_diagnostic ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_diagnostic := ( next(clupi.generatedEventPort__in__set_sys_time_seconds_diagnostic) != clupi.generatedEventPort__in__set_sys_time_seconds_diagnostic ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_timesync := clupi.status__in__set_sys_time_seconds_timesync ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_timesync := ( next(clupi.generatedEventPort__in__set_sys_time_seconds_timesync) != clupi.generatedEventPort__in__set_sys_time_seconds_timesync ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_acquirezscience := clupi.status__in__set_sys_time_seconds_acquirezscience ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_acquirezscience := ( next(clupi.generatedEventPort__in__set_sys_time_seconds_acquirezscience) != clupi.generatedEventPort__in__set_sys_time_seconds_acquirezscience ) ;
CONNECTION rover_subsys.status__in__set_sys_time_seconds_switchoff := clupi.status__in__set_sys_time_seconds_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_time_seconds_switchoff := ( next(clupi.generatedEventPort__in__set_sys_time_seconds_switchoff) != clupi.generatedEventPort__in__set_sys_time_seconds_switchoff ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_switchon := clupi.status__in__set_sys_energy_used_switchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_switchon := ( next(clupi.generatedEventPort__in__set_sys_energy_used_switchon) != clupi.generatedEventPort__in__set_sys_energy_used_switchon ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_diagnostic := clupi.status__in__set_sys_energy_used_diagnostic ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_diagnostic := ( next(clupi.generatedEventPort__in__set_sys_energy_used_diagnostic) != clupi.generatedEventPort__in__set_sys_energy_used_diagnostic ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_timesync := clupi.status__in__set_sys_energy_used_timesync ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_timesync := ( next(clupi.generatedEventPort__in__set_sys_energy_used_timesync) != clupi.generatedEventPort__in__set_sys_energy_used_timesync ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_acquirezscience := clupi.status__in__set_sys_energy_used_acquirezscience ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_acquirezscience := ( next(clupi.generatedEventPort__in__set_sys_energy_used_acquirezscience) != clupi.generatedEventPort__in__set_sys_energy_used_acquirezscience ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_switchoff := clupi.status__in__set_sys_energy_used_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_switchoff := ( next(clupi.generatedEventPort__in__set_sys_energy_used_switchoff) != clupi.generatedEventPort__in__set_sys_energy_used_switchoff ) ;
CONNECTION dhs.status__in__set_dhs_power_act_rv_wakeup := rover_subsys.status__in__set_dhs_power_wakeup ;
CONNECTION dhs.generatedEventPort__in__set_dhs_power_act_rv_wakeup := ( next(rover_subsys.generatedEventPort__in__set_dhs_power_wakeup) != rover_subsys.generatedEventPort__in__set_dhs_power_wakeup ) ;
CONNECTION dhs.status__in__set_dhs_power_act_rv_configurereset := rover_subsys.status__in__set_dhs_power_configurereset ;
CONNECTION dhs.generatedEventPort__in__set_dhs_power_act_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_dhs_power_configurereset) != rover_subsys.generatedEventPort__in__set_dhs_power_configurereset ) ;
CONNECTION dhs.status__in__set_dhs_power_act_rv_configure4travel := rover_subsys.status__in__set_dhs_power_configure4travel ;
CONNECTION dhs.generatedEventPort__in__set_dhs_power_act_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_dhs_power_configure4travel) != rover_subsys.generatedEventPort__in__set_dhs_power_configure4travel ) ;
CONNECTION dhs.status__in__set_dhs_power_act_rv_configure4science := rover_subsys.status__in__set_dhs_power_configure4science ;
CONNECTION dhs.generatedEventPort__in__set_dhs_power_act_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_dhs_power_configure4science) != rover_subsys.generatedEventPort__in__set_dhs_power_configure4science ) ;
CONNECTION dhs.status__in__set_dhs_power_act_rv_prepare4night := rover_subsys.status__in__set_dhs_power_prepare4night ;
CONNECTION dhs.generatedEventPort__in__set_dhs_power_act_rv_prepare4night := ( next(rover_subsys.generatedEventPort__in__set_dhs_power_prepare4night) != rover_subsys.generatedEventPort__in__set_dhs_power_prepare4night ) ;
CONNECTION clupi.power__in__set_clupi_power_rv_configurereset := rover_subsys.power__in__set_clupi_power_configurereset ;
CONNECTION clupi.generatedEventPort__in__set_clupi_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_clupi_power_configurereset) != rover_subsys.generatedEventPort__in__set_clupi_power_configurereset ) ;
CONNECTION ade.status__in__set_ade_left_power_rv_configurereset := rover_subsys.status__in__set_ade_left_power_rv_configurereset ;
CONNECTION ade.generatedEventPort__in__set_ade_left_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configurereset) != rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configurereset ) ;
CONNECTION ade.status__in__set_ade_right_power_rv_configurereset := rover_subsys.status__in__set_ade_right_power_rv_configurereset ;
CONNECTION ade.generatedEventPort__in__set_ade_right_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configurereset) != rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configurereset ) ;
CONNECTION ade.status__in__set_ade_left_power_rv_configure4science := rover_subsys.status__in__set_ade_left_power_rv_configure4science ;
CONNECTION ade.generatedEventPort__in__set_ade_left_power_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configure4science) != rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configure4science ) ;
CONNECTION ade.status__in__set_ade_right_power_rv_configure4science := rover_subsys.status__in__set_ade_right_power_rv_configure4science ;
CONNECTION ade.generatedEventPort__in__set_ade_right_power_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configure4science) != rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configure4science ) ;
CONNECTION ade.status__in__set_ade_left_power_rv_configure4travel := rover_subsys.status__in__set_ade_left_power_rv_configure4travel ;
CONNECTION ade.generatedEventPort__in__set_ade_left_power_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_ade_left_power_rv_configure4travel ) ;
CONNECTION ade.status__in__set_ade_right_power_rv_configure4travel := rover_subsys.status__in__set_ade_right_power_rv_configure4travel ;
CONNECTION ade.generatedEventPort__in__set_ade_right_power_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configure4travel) != rover_subsys.generatedEventPort__in__set_ade_right_power_rv_configure4travel ) ;
CONNECTION gnc.status__in__set_loccam_power_rv_configurereset := rover_subsys.status__in__set_loccam_power_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_loccam_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_loccam_power_configurereset) != rover_subsys.generatedEventPort__in__set_loccam_power_configurereset ) ;
CONNECTION gnc.status__in__set_loccam_power_rv_configure4travel := rover_subsys.status__in__set_loccam_power_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_loccam_power_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_loccam_power_configure4travel) != rover_subsys.generatedEventPort__in__set_loccam_power_configure4travel ) ;
CONNECTION gnc.status__in__set_loccam_power_rv_configure4science := rover_subsys.status__in__set_loccam_power_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_loccam_power_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_loccam_power_configure4science) != rover_subsys.generatedEventPort__in__set_loccam_power_configure4science ) ;
CONNECTION gnc.status__in__set_imu_power_rv_configurereset := rover_subsys.status__in__set_imu_power_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_imu_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_imu_power_configurereset) != rover_subsys.generatedEventPort__in__set_imu_power_configurereset ) ;
CONNECTION gnc.status__in__set_imu_power_rv_configure4science := rover_subsys.status__in__set_imu_power_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_imu_power_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_imu_power_configure4science) != rover_subsys.generatedEventPort__in__set_imu_power_configure4science ) ;
CONNECTION gnc.status__in__set_imu_power_rv_configure4travel := rover_subsys.status__in__set_imu_power_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_imu_power_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_imu_power_configure4travel) != rover_subsys.generatedEventPort__in__set_imu_power_configure4travel ) ;
CONNECTION gnc.status__in__set_bema_power_rv_configure4science := rover_subsys.status__in__set_bema_power_configure4science ;
CONNECTION gnc.generatedEventPort__in__set_bema_power_rv_configure4science := ( next(rover_subsys.generatedEventPort__in__set_bema_power_configure4science) != rover_subsys.generatedEventPort__in__set_bema_power_configure4science ) ;
CONNECTION gnc.status__in__set_bema_power_rv_configure4travel := rover_subsys.status__in__set_bema_power_configure4travel ;
CONNECTION gnc.generatedEventPort__in__set_bema_power_rv_configure4travel := ( next(rover_subsys.generatedEventPort__in__set_bema_power_configure4travel) != rover_subsys.generatedEventPort__in__set_bema_power_configure4travel ) ;
CONNECTION gnc.status__in__set_bema_power_rv_configurereset := rover_subsys.status__in__set_bema_power_configurereset ;
CONNECTION gnc.generatedEventPort__in__set_bema_power_rv_configurereset := ( next(rover_subsys.generatedEventPort__in__set_bema_power_configurereset) != rover_subsys.generatedEventPort__in__set_bema_power_configurereset ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_act_ades_activate := ade.status__in__set_sys_energy_used ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_act_ades_activate := ( next(ade.generatedEventPort__in__set_sys_energy_used) != ade.generatedEventPort__in__set_sys_energy_used ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_act_rtb_switchon := rtb.status__in__set_sys_energy_used_switchon ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_act_rtb_switchon := ( next(rtb.generatedEventPort__in__set_sys_energy_used_switchon) != rtb.generatedEventPort__in__set_sys_energy_used_switchon ) ;
CONNECTION rover_subsys.status__in__set_sys_energy_used_act_rtb_switchoff := rtb.status__in__set_sys_energy_used_switchoff ;
CONNECTION rover_subsys.generatedEventPort__in__set_sys_energy_used_act_rtb_switchoff := ( next(rtb.generatedEventPort__in__set_sys_energy_used_switchoff) != rtb.generatedEventPort__in__set_sys_energy_used_switchoff ) ;
CONNECTION ade.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION ade.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION clupi.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION clupi.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION clupi.ade_left_power := ade.ade_left_power ;
CONNECTION clupi.ade_right_power := ade.ade_right_power ;
CONNECTION clupi.dhs_power := dhs.dhs_power ;
CONNECTION clupi.rtb_power := rtb.rtb_power ;
CONNECTION clupi.drill_power := drillmamissspds.drill_power ;
CONNECTION clupi.imu_power := gnc.imu_power ;
CONNECTION clupi.bema_power := gnc.bema_power ;
CONNECTION clupi.loccam_power := gnc.loccam_power ;
CONNECTION dhs.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION dhs.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION dhs.ade_left_power := ade.ade_left_power ;
CONNECTION dhs.ade_right_power := ade.ade_right_power ;
CONNECTION dhs.clupi_power := clupi.clupi_power ;
CONNECTION dhs.rtb_power := rtb.rtb_power ;
CONNECTION dhs.drill_power := drillmamissspds.drill_power ;
CONNECTION dhs.imu_power := gnc.imu_power ;
CONNECTION dhs.bema_power := gnc.bema_power ;
CONNECTION dhs.loccam_power := gnc.loccam_power ;
CONNECTION drillmamissspds.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION drillmamissspds.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION drillmamissspds.sys_rover_latitude := rover_subsys.sys_rover_latitude ;
CONNECTION drillmamissspds.sys_rover_longitude := rover_subsys.sys_rover_longitude ;
CONNECTION drillmamissspds.sys_simstart_utc := rover_subsys.sys_simstart_utc ;
CONNECTION drillmamissspds.ade_left_power := ade.ade_left_power ;
CONNECTION drillmamissspds.ade_right_power := ade.ade_right_power ;
CONNECTION drillmamissspds.clupi_power := clupi.clupi_power ;
CONNECTION drillmamissspds.rtb_power := rtb.rtb_power ;
CONNECTION drillmamissspds.imu_power := gnc.imu_power ;
CONNECTION drillmamissspds.bema_power := gnc.bema_power ;
CONNECTION drillmamissspds.loccam_power := gnc.loccam_power ;
CONNECTION drillmamissspds.dhs_power := dhs.dhs_power ;
CONNECTION gnc.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION gnc.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION rtb.sys_time_seconds := rover_subsys.sys_time_seconds ;
CONNECTION rtb.sys_energy_used := rover_subsys.sys_energy_used ;
CONNECTION gnc.ade_left_power := ade.ade_left_power ;
CONNECTION gnc.ade_right_power := ade.ade_right_power ;
CONNECTION gnc.clupi_power := clupi.clupi_power ;
CONNECTION gnc.rtb_power := rtb.rtb_power ;
CONNECTION gnc.dhs_power := dhs.dhs_power ;
CONNECTION ade.startEvent__in__act_ades_activate_start := startEvent__in__act_ades_activate_start ;
CONNECTION ade.duration__in__act_ades_activate_start := duration__in__act_ades_activate_start ;
CONNECTION drillmamissspds.startEvent__in__act_collect_sample_start := startEvent__in__act_collect_sample_start ;
CONNECTION drillmamissspds.duration__in__act_collect_sample_start := duration__in__act_collect_sample_start ;
CONNECTION drillmamissspds.startEvent__in__act_deliver_sample_start := startEvent__in__act_deliver_sample_start ;
CONNECTION drillmamissspds.duration__in__act_deliver_sample_start := duration__in__act_deliver_sample_start ;
CONNECTION drillmamissspds.startEvent__in__act_drill_1_start := startEvent__in__act_drill_1_start ;
CONNECTION drillmamissspds.duration__in__act_drill_1_start := duration__in__act_drill_1_start ;
CONNECTION drillmamissspds.startEvent__in__act_drillandspds_ceswitchon_start := startEvent__in__act_drillandspds_ceswitchon_start ;
CONNECTION drillmamissspds.duration__in__act_drillandspds_ceswitchon_start := duration__in__act_drillandspds_ceswitchon_start ;
CONNECTION drillmamissspds.startEvent__in__act_drillandspds_ceswitchoff_start := startEvent__in__act_drillandspds_ceswitchoff_start ;
CONNECTION drillmamissspds.duration__in__act_drillandspds_ceswitchoff_start := duration__in__act_drillandspds_ceswitchoff_start ;
CONNECTION drillmamissspds.startEvent__in__act_drill_dbe_initialize_start := startEvent__in__act_drill_dbe_initialize_start ;
CONNECTION drillmamissspds.duration__in__act_drill_dbe_initialize_start := duration__in__act_drill_dbe_initialize_start ;
CONNECTION drillmamissspds.startEvent__in__act_drill_initialize_start := startEvent__in__act_drill_initialize_start ;
CONNECTION drillmamissspds.duration__in__act_drill_initialize_start := duration__in__act_drill_initialize_start ;
CONNECTION drillmamissspds.startEvent__in__act_drill_positioner_move_start := startEvent__in__act_drill_positioner_move_start ;
CONNECTION drillmamissspds.duration__in__act_drill_positioner_move_start := duration__in__act_drill_positioner_move_start ;
CONNECTION drillmamissspds.startEvent__in__act_gotospds_start := startEvent__in__act_gotospds_start ;
CONNECTION drillmamissspds.duration__in__act_gotospds_start := duration__in__act_gotospds_start ;
CONNECTION drillmamissspds.startEvent__in__act_end_of_spds_start := startEvent__in__act_end_of_spds_start ;
CONNECTION drillmamissspds.duration__in__act_end_of_spds_start := duration__in__act_end_of_spds_start ;
CONNECTION drillmamissspds.startEvent__in__act_spds_homing_start := startEvent__in__act_spds_homing_start ;
CONNECTION drillmamissspds.duration__in__act_spds_homing_start := duration__in__act_spds_homing_start ;
CONNECTION drillmamissspds.startEvent__in__act_spds_preparetoreceivedrillsample_start := startEvent__in__act_spds_preparetoreceivedrillsample_start ;
CONNECTION drillmamissspds.duration__in__act_spds_preparetoreceivedrillsample_start := duration__in__act_spds_preparetoreceivedrillsample_start ;
CONNECTION rtb.startEvent__in__act_rtb_switchon_start := startEvent__in__act_rtb_switchon_start ;
CONNECTION rtb.duration__in__act_rtb_switchon_start := duration__in__act_rtb_switchon_start ;
CONNECTION rtb.startEvent__in__act_rtb_switchoff_start := startEvent__in__act_rtb_switchoff_start ;
CONNECTION rtb.duration__in__act_rtb_switchoff_start := duration__in__act_rtb_switchoff_start ;
CONNECTION gnc.startEvent__in__bema_initialise_start := startEvent__in__bema_initialise_start ;
CONNECTION gnc.duration__in__bema_initialise_start := duration__in__bema_initialise_start ;
CONNECTION clupi.startEvent__in__clupi_acquirezscience_start := startEvent__in__clupi_acquirezscience_start ;
CONNECTION clupi.duration__in__clupi_acquirezscience_start := duration__in__clupi_acquirezscience_start ;
CONNECTION clupi.startEvent__in__clupi_diagnostic_start := startEvent__in__clupi_diagnostic_start ;
CONNECTION clupi.duration__in__clupi_diagnostic_start := duration__in__clupi_diagnostic_start ;
CONNECTION clupi.startEvent__in__clupi_switchoff_start := startEvent__in__clupi_switchoff_start ;
CONNECTION clupi.duration__in__clupi_switchoff_start := duration__in__clupi_switchoff_start ;
CONNECTION clupi.startEvent__in__clupi_switchon_start := startEvent__in__clupi_switchon_start ;
CONNECTION clupi.duration__in__clupi_switchon_start := duration__in__clupi_switchon_start ;
CONNECTION clupi.startEvent__in__clupi_timesync_start := startEvent__in__clupi_timesync_start ;
CONNECTION clupi.duration__in__clupi_timesync_start := duration__in__clupi_timesync_start ;
CONNECTION gnc.startEvent__in__gnc_fpath_straight_start := startEvent__in__gnc_fpath_straight_start ;
CONNECTION gnc.duration__in__gnc_fpath_straight_start := duration__in__gnc_fpath_straight_start ;
CONNECTION gnc.startEvent__in__gnc_updateheading_start := startEvent__in__gnc_updateheading_start ;
CONNECTION gnc.duration__in__gnc_updateheading_start := duration__in__gnc_updateheading_start ;
CONNECTION gnc.startEvent__in__gnc_updateposition_start := startEvent__in__gnc_updateposition_start ;
CONNECTION gnc.duration__in__gnc_updateposition_start := duration__in__gnc_updateposition_start ;
CONNECTION gnc.startEvent__in__imu_initialise_start := startEvent__in__imu_initialise_start ;
CONNECTION gnc.duration__in__imu_initialise_start := duration__in__imu_initialise_start ;
CONNECTION gnc.startEvent__in__loccam_initialise_start := startEvent__in__loccam_initialise_start ;
CONNECTION gnc.duration__in__loccam_initialise_start := duration__in__loccam_initialise_start ;
CONNECTION rover_subsys.startEvent__in__rv_configurereset_start := startEvent__in__rv_configurereset_start ;
CONNECTION rover_subsys.duration__in__rv_configurereset_start := duration__in__rv_configurereset_start ;
CONNECTION rover_subsys.startEvent__in__rv_configure4travel_start := startEvent__in__rv_configure4travel_start ;
CONNECTION rover_subsys.duration__in__rv_configure4travel_start := duration__in__rv_configure4travel_start ;
CONNECTION rover_subsys.startEvent__in__rv_configure4science_start := startEvent__in__rv_configure4science_start ;
CONNECTION rover_subsys.duration__in__rv_configure4science_start := duration__in__rv_configure4science_start ;
CONNECTION rover_subsys.startEvent__in__rv_mms_waitabstime_start := startEvent__in__rv_mms_waitabstime_start ;
CONNECTION rover_subsys.duration__in__rv_mms_waitabstime_start := duration__in__rv_mms_waitabstime_start ;
CONNECTION rover_subsys.startEvent__in__rv_prepare4night_start := startEvent__in__rv_prepare4night_start ;
CONNECTION rover_subsys.duration__in__rv_prepare4night_start := duration__in__rv_prepare4night_start ;
CONNECTION rover_subsys.startEvent__in__rv_wakeup_start := startEvent__in__rv_wakeup_start ;
CONNECTION rover_subsys.duration__in__rv_wakeup_start := duration__in__rv_wakeup_start ;
CONNECTION dhs.startEvent__in__start_dhs_reduced2highpwr := startEvent__in__start_dhs_reduced2highpwr ;
CONNECTION dhs.duration__in__start_dhs_reduced2highpwr := duration__in__start_dhs_reduced2highpwr ;
CONNECTION dhs.startEvent__in__start_dhs_reduced2nominal := startEvent__in__start_dhs_reduced2nominal ;
CONNECTION dhs.duration__in__start_dhs_reduced2nominal := duration__in__start_dhs_reduced2nominal ;
INVAR spds_ds_1_pose >= 0 & spds_ds_1_pose <= 10 ;
INVAR spds_ds_2_pose >= 0 & spds_ds_2_pose <= 10 ;
INVAR spds_cstm_pose >= 0.0 & spds_cstm_pose <= 0.32 ;
COMPONENT DrillMamissSpds
INTERFACE
INPUT rtb_power : real ;
INPUT imu_power : real ;
INPUT bema_power : real ;
INPUT loccam_power : real ;
INPUT clupi_power : real ;
INPUT dhs_power : real ;
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT rtb_status : { RTB_OFF , RTB_ON } ;
INPUT bema_status : { BEMA_STANDBY , BEMA_OFF } ;
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT sys_rover_longitude : real ;
INPUT sys_rover_latitude : real ;
INPUT sys_simstart_utc : real ;
INPUT duration__in__act_drill_1_start : real ;
INPUT duration__in__act_drill_positioner_move_start : real ;
INPUT duration__in__act_drill_initialize_start : real ;
INPUT duration__in__act_collect_sample_start : real ;
INPUT duration__in__act_deliver_sample_start : real ;
INPUT duration__in__act_drillandspds_ceswitchon_start : real ;
INPUT duration__in__act_drillandspds_ceswitchoff_start : real ;
INPUT duration__in__act_drill_dbe_switchoff_start : real ;
INPUT duration__in__act_drill_dbe_initialize_start : real ;
INPUT duration__in__act_gotospds_start : real ;
INPUT duration__in__act_end_of_spds_start : real ;
INPUT duration__in__act_spds_homing_start : real ;
INPUT duration__in__act_spds_preparetoreceivedrillsample_start : real ;
INPUT status__in__set_drill_status_deliver_sample : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_deliver_sample : real ;
INPUT status__in__set_drill_status_drill_positioner_move : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drill_positioner_move : real ;
INPUT pose__in__set_drill_positioner_pose_drill_positioner_move : { LOW_FOR_IMAGING , VERTICAL_DISCHARGE , STOWED , VERTICAL , SAMPLE_DISCHARGE , LOW_FOR_DRILL , HORIZONTAL_DISCHARGE , HORIZONTAL } ;
INPUT status__in__set_drill_status_drill_1 : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drill_1 : real ;
INPUT power__in__set_drill_rod_q_drill_1 : real ;
INPUT pose__in__set_drill_rod_sample_pose_drill_1 : { HOME , SAMPLE_APPROACHED } ;
INPUT status__in__set_drill_status_drill_dbe_initialize : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drill_dbe_initialize : real ;
INPUT status__in__set_drill_status_drillandspds_ceswitchon : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drillandspds_ceswitchon : real ;
INPUT status__in__set_drill_status_drillandspds_ceswitchoff : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drillandspds_ceswitchoff : real ;
INPUT status__in__set_drill_status_drill_dbe_switchoff : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drill_dbe_switchoff : real ;
INPUT status__in__set_drill_status_gotospds : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_gotospds : real ;
INPUT status__in__set_drill_status_end_of_spds : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_end_of_spds : real ;
INPUT status__in__set_drill_status_spds_homing : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_spds_homing : real ;
INPUT pose__in__set_spds_cstm_pose_spds_homing : real ;
INPUT status__in__set_drill_status_spds_preparetoreceivedrillsample : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT pose__in__set_spds_cstm_pose_spds_preparetoreceivedrillsample : real ;
INPUT power__in__set_drill_power_spds_preparetoreceivedrillsample : real ;
INPUT status__in__set_drill_status_drill_initialize : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_drill_initialize : real ;
INPUT status__in__set_drill_sensor_calib_status_drill_initialize : { OFF , ON } ;
INPUT status__in__set_drill_status_collect_sample : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT power__in__set_drill_power_collect_sample : real ;
INPUT startEvent__in__act_drill_1_start : event ;
INPUT startEvent__in__act_drill_positioner_move_start : event ;
INPUT startEvent__in__act_drill_initialize_start : event ;
INPUT startEvent__in__act_collect_sample_start : event ;
INPUT startEvent__in__act_deliver_sample_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchon_start : event ;
INPUT startEvent__in__act_drillandspds_ceswitchoff_start : event ;
INPUT startEvent__in__act_drill_dbe_switchoff_start : event ;
INPUT startEvent__in__act_drill_dbe_initialize_start : event ;
INPUT startEvent__in__act_gotospds_start : event ;
INPUT startEvent__in__act_end_of_spds_start : event ;
INPUT startEvent__in__act_spds_homing_start : event ;
INPUT startEvent__in__act_spds_preparetoreceivedrillsample_start : event ;
INPUT generatedEventPort__in__set_drill_status_deliver_sample : event ;
INPUT generatedEventPort__in__set_drill_power_deliver_sample : event ;
INPUT generatedEventPort__in__set_drill_status_drill_positioner_move : event ;
INPUT generatedEventPort__in__set_drill_power_drill_positioner_move : event ;
INPUT generatedEventPort__in__set_drill_positioner_pose_drill_positioner_move : event ;
INPUT generatedEventPort__in__set_drill_status_drill_1 : event ;
INPUT generatedEventPort__in__set_drill_power_drill_1 : event ;
INPUT generatedEventPort__in__set_drill_rod_q_drill_1 : event ;
INPUT generatedEventPort__in__set_drill_rod_sample_pose_drill_1 : event ;
INPUT generatedEventPort__in__set_drill_status_drill_dbe_initialize : event ;
INPUT generatedEventPort__in__set_drill_power_drill_dbe_initialize : event ;
INPUT generatedEventPort__in__set_drill_status_drillandspds_ceswitchon : event ;
INPUT generatedEventPort__in__set_drill_power_drillandspds_ceswitchon : event ;
INPUT generatedEventPort__in__set_drill_status_drillandspds_ceswitchoff : event ;
INPUT generatedEventPort__in__set_drill_power_drillandspds_ceswitchoff : event ;
INPUT generatedEventPort__in__set_drill_status_drill_dbe_switchoff : event ;
INPUT generatedEventPort__in__set_drill_power_drill_dbe_switchoff : event ;
INPUT generatedEventPort__in__set_drill_status_gotospds : event ;
INPUT generatedEventPort__in__set_drill_power_gotospds : event ;
INPUT generatedEventPort__in__set_drill_status_end_of_spds : event ;
INPUT generatedEventPort__in__set_drill_power_end_of_spds : event ;
INPUT generatedEventPort__in__set_drill_status_spds_homing : event ;
INPUT generatedEventPort__in__set_drill_power_spds_homing : event ;
INPUT generatedEventPort__in__set_spds_cstm_pose_spds_homing : event ;
INPUT generatedEventPort__in__set_drill_status_spds_preparetoreceivedrillsample : event ;
INPUT generatedEventPort__in__set_spds_cstm_pose_spds_preparetoreceivedrillsample : event ;
INPUT generatedEventPort__in__set_drill_power_spds_preparetoreceivedrillsample : event ;
INPUT generatedEventPort__in__set_drill_status_drill_initialize : event ;
INPUT generatedEventPort__in__set_drill_power_drill_initialize : event ;
INPUT generatedEventPort__in__set_drill_sensor_calib_status_drill_initialize : event ;
INPUT generatedEventPort__in__set_drill_status_collect_sample : event ;
INPUT generatedEventPort__in__set_drill_power_collect_sample : event ;
OUTPUT spds_bsd_pose : real ;
OUTPUT drill_status : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
OUTPUT spds_cs_vsm_pose : real ;
OUTPUT drill_sensor_calib_status : { OFF , ON } ;
OUTPUT DRILL_ROD_SAMPLE_POSE : { HOME , SAMPLE_APPROACHED } ;
OUTPUT drill_db_q2 : real ;
OUTPUT DRILL_POSITIONER_POSE : { LOW_FOR_IMAGING , VERTICAL_DISCHARGE , STOWED , VERTICAL , SAMPLE_DISCHARGE , LOW_FOR_DRILL , HORIZONTAL_DISCHARGE , HORIZONTAL } ;
OUTPUT spds_cs_crush_pose : real ;
OUTPUT spds_cs_dejam_pose : real ;
OUTPUT drill_db_q1 : real ;
OUTPUT drill_rod_q : real ;
OUTPUT spds_ds_1_pose : integer ;
OUTPUT spds_cstm_pose : real ;
OUTPUT spds_ds_2_pose : integer ;
OUTPUT drill_power : real ;
OUTPUT status__in__set_sys_time_seconds_deliver_sample : real ;
OUTPUT status__in__set_sys_energy_used_deliver_sample : real ;
OUTPUT status__in__set_sys_time_seconds_drill_positioner_move : real ;
OUTPUT status__in__set_sys_energy_used_drill_positioner_move : real ;
OUTPUT status__in__set_sys_time_seconds_drill_1 : real ;
OUTPUT status__in__set_sys_energy_used_drill_1 : real ;
OUTPUT status__in__set_sys_time_seconds_drill_dbe_initialize : real ;
OUTPUT status__in__set_sys_energy_used_drill_dbe_initialize : real ;
OUTPUT status__in__set_sys_time_seconds_drillandspds_ceswitchon : real ;
OUTPUT status__in__set_sys_energy_used_drillandspds_ceswitchon : real ;
OUTPUT status__in__set_sys_time_seconds_drillandspds_ceswitchoff : real ;
OUTPUT status__in__set_sys_energy_used_drillandspds_ceswitchoff : real ;
OUTPUT status__in__set_sys_time_seconds_drill_dbe_switchoff : real ;
OUTPUT status__in__set_sys_energy_used_drill_dbe_switchoff : real ;
OUTPUT status__in__set_sys_time_seconds_gotospds : real ;
OUTPUT status__in__set_sys_energy_used_gotospds : real ;
OUTPUT status__in__set_sys_time_seconds_end_of_spds : real ;
OUTPUT status__in__set_sys_energy_used_end_of_spds : real ;
OUTPUT status__in__set_sys_time_seconds_spds_homing : real ;
OUTPUT status__in__set_sys_energy_used_spds_homing : real ;
OUTPUT status__in__set_sys_time_seconds_spds_preparetoreceivedrillsample : real ;
OUTPUT status__in__set_sys_energy_used_spds_preparetoreceivedrillsample : real ;
OUTPUT status__in__set_sys_time_seconds_drill_initialize : real ;
OUTPUT status__in__set_sys_energy_used_drill_initialize : real ;
OUTPUT status__in__set_sys_time_seconds_collect_sample : real ;
OUTPUT status__in__set_sys_energy_used_collect_sample : real ;
OUTPUT performed__in__drill_dbe_initialize_done : boolean ;
OUTPUT performed__in__drillandspds_ceswitchon_done : boolean ;
OUTPUT performed__in__drillandspds_ceswitchoff_done : boolean ;
OUTPUT performed__in__drill_dbe_switchoff_done : boolean ;
OUTPUT performed__in__drill_1_done : boolean ;
OUTPUT performed__in__collect_sample_done : boolean ;
OUTPUT performed__in__drill_initialize_done : boolean ;
OUTPUT performed__in__drill_positioner_move_done : boolean ;
OUTPUT performed__in__deliver_sample_done : boolean ;
OUTPUT performed__in__gotospds_done : boolean ;
OUTPUT performed__in__end_of_spds_done : boolean ;
OUTPUT performed__in__spds_homing_done : boolean ;
OUTPUT performed__in__spds_preparetoreceivedrillsample_done : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_deliver_sample : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_deliver_sample : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drill_positioner_move : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drill_positioner_move : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drill_1 : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drill_1 : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drill_dbe_initialize : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drill_dbe_initialize : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drill_dbe_switchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drill_dbe_switchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_gotospds : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_gotospds : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_end_of_spds : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_end_of_spds : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_spds_homing : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_spds_homing : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_spds_preparetoreceivedrillsample : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_spds_preparetoreceivedrillsample : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_drill_initialize : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_drill_initialize : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_collect_sample : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_collect_sample : boolean ;
REFINEMENT
INVAR spds_ds_1_pose >= 0 & spds_ds_1_pose <= 10 ;
INVAR spds_cstm_pose >= 0.0 & spds_cstm_pose <= 0.32 ;
INVAR spds_ds_2_pose >= 0 & spds_ds_2_pose <= 10 ;
COMPONENT RTB
INTERFACE
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT dhs_power : real ;
INPUT imu_power : real ;
INPUT loccam_power : real ;
INPUT bema_power : real ;
INPUT drill_power : real ;
INPUT clupi_power : real ;
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT duration__in__act_rtb_switchon_start : real ;
INPUT duration__in__act_rtb_switchoff_start : real ;
INPUT status__in__set_rtb_status_switchon : { RTB_OFF , RTB_ON } ;
INPUT status__in__set_rtb_status_switchoff : { RTB_OFF , RTB_ON } ;
INPUT power__in__set_rtb_power_switchon : real ;
INPUT power__in__set_rtb_power_switchoff : real ;
INPUT startEvent__in__act_rtb_switchon_start : event ;
INPUT startEvent__in__act_rtb_switchoff_start : event ;
INPUT generatedEventPort__in__set_rtb_status_switchon : event ;
INPUT generatedEventPort__in__set_rtb_status_switchoff : event ;
INPUT generatedEventPort__in__set_rtb_power_switchon : event ;
INPUT generatedEventPort__in__set_rtb_power_switchoff : event ;
OUTPUT rtb_status : { RTB_OFF , RTB_ON } ;
OUTPUT rtb_power : real ;
OUTPUT status__in__set_sys_time_seconds_switchon : real ;
OUTPUT status__in__set_sys_energy_used_switchon : real ;
OUTPUT status__in__set_sys_time_seconds_switchoff : real ;
OUTPUT status__in__set_sys_energy_used_switchoff : real ;
OUTPUT performed__in__rtb_switchon_done : boolean ;
OUTPUT performed__in__rtb_switchoff_done : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_switchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_switchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_switchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_switchoff : boolean ;
COMPONENT Clupi
INTERFACE
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT dhs_power : real ;
INPUT rtb_power : real ;
INPUT drill_power : real ;
INPUT imu_power : real ;
INPUT bema_power : real ;
INPUT loccam_power : real ;
INPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT status__in__set_clupi_status_switchon : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_switchon : real ;
INPUT sync__in__set_clupi_time_synch_switchon : boolean ;
INPUT type__in__set_clupi_imagedatatype_switchon : integer ;
INPUT binning__in__set_clupi_binning_switchon : integer ;
INPUT check__in__set_clupi_mem_check_switchon : boolean ;
INPUT quantization__in__set_clupi_quantization_switchon : integer ;
INPUT status__in__set_clupi_status_diagnostic : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_diagnostic : real ;
INPUT check__in__set_clupi_mem_check_diagnostic : boolean ;
INPUT status__in__set_clupi_status_timesync : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_timesync : real ;
INPUT sync__in__set_clupi_time_synch_timesync : boolean ;
INPUT status__in__set_clupi_status_acquirezscience : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_acquirezscience : real ;
INPUT status__in__set_clupi_status_switchoff : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_switchoff : real ;
INPUT duration__in__clupi_switchon_start : real ;
INPUT duration__in__clupi_diagnostic_start : real ;
INPUT duration__in__clupi_timesync_start : real ;
INPUT duration__in__clupi_acquirezscience_start : real ;
INPUT duration__in__clupi_switchoff_start : real ;
INPUT status__in__set_clupi_status_rv_configurereset : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT power__in__set_clupi_power_rv_configurereset : real ;
INPUT generatedEventPort__in__set_clupi_status_switchon : event ;
INPUT generatedEventPort__in__set_clupi_power_switchon : event ;
INPUT generatedEventPort__in__set_clupi_time_synch_switchon : event ;
INPUT generatedEventPort__in__set_clupi_imagedatatype_switchon : event ;
INPUT generatedEventPort__in__set_clupi_binning_switchon : event ;
INPUT generatedEventPort__in__set_clupi_mem_check_switchon : event ;
INPUT generatedEventPort__in__set_clupi_quantization_switchon : event ;
INPUT generatedEventPort__in__set_clupi_status_diagnostic : event ;
INPUT generatedEventPort__in__set_clupi_power_diagnostic : event ;
INPUT generatedEventPort__in__set_clupi_mem_check_diagnostic : event ;
INPUT generatedEventPort__in__set_clupi_status_timesync : event ;
INPUT generatedEventPort__in__set_clupi_power_timesync : event ;
INPUT generatedEventPort__in__set_clupi_time_synch_timesync : event ;
INPUT generatedEventPort__in__set_clupi_status_acquirezscience : event ;
INPUT generatedEventPort__in__set_clupi_power_acquirezscience : event ;
INPUT generatedEventPort__in__set_clupi_status_switchoff : event ;
INPUT generatedEventPort__in__set_clupi_power_switchoff : event ;
INPUT startEvent__in__clupi_switchon_start : event ;
INPUT startEvent__in__clupi_diagnostic_start : event ;
INPUT startEvent__in__clupi_timesync_start : event ;
INPUT startEvent__in__clupi_acquirezscience_start : event ;
INPUT startEvent__in__clupi_switchoff_start : event ;
INPUT generatedEventPort__in__set_clupi_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_clupi_power_rv_configurereset : event ;
OUTPUT clupi_time_synch : boolean ;
OUTPUT clupi_status : { CLUPI_SDBY , CLUPI_OFF } ;
OUTPUT clupi_imagedatatype : integer ;
OUTPUT clupi_binning : integer ;
OUTPUT clupi_mem_check : boolean ;
OUTPUT clupi_quantization : integer ;
OUTPUT clupi_power : real ;
OUTPUT status__in__set_sys_time_seconds_switchon : real ;
OUTPUT status__in__set_sys_time_seconds_diagnostic : real ;
OUTPUT status__in__set_sys_time_seconds_timesync : real ;
OUTPUT status__in__set_sys_time_seconds_acquirezscience : real ;
OUTPUT status__in__set_sys_time_seconds_switchoff : real ;
OUTPUT status__in__set_sys_energy_used_switchon : real ;
OUTPUT status__in__set_sys_energy_used_diagnostic : real ;
OUTPUT status__in__set_sys_energy_used_timesync : real ;
OUTPUT status__in__set_sys_energy_used_acquirezscience : real ;
OUTPUT status__in__set_sys_energy_used_switchoff : real ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_switchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_diagnostic : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_timesync : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_acquirezscience : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_switchoff : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_switchon : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_diagnostic : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_timesync : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_acquirezscience : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_switchoff : boolean ;
OUTPUT performed__in__clupi_switchon_done : boolean ;
OUTPUT performed__in__clupi_diagnostic_done : boolean ;
OUTPUT performed__in__clupi_timesync_done : boolean ;
OUTPUT performed__in__clupi_acquirezscience_done : boolean ;
OUTPUT performed__in__clupi_switchoff_done : boolean ;
COMPONENT Rover
INTERFACE
INPUT navcam_status : { NAVCAM_OFF , NAVCAM_STANDBY } ;
INPUT bema_status : { BEMA_STANDBY , BEMA_OFF } ;
INPUT loccam_status : { LOCCAM_OFF , LOCCAM_STANDBY } ;
INPUT ade_left_status : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT imu_status : { IMU_OFF , IMU_OPERATING } ;
INPUT clupi_status : { CLUPI_SDBY , CLUPI_OFF } ;
INPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT drill_status : { DRILL_SPDS_OFF , DRILL_DBE_READY , DRILL_SPDS_CE_STANDBY , SPDS_STANDBY } ;
INPUT rtb_status : { RTB_OFF , RTB_ON } ;
INPUT ade_right_status : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT rtb_power : real ;
INPUT imu_power : real ;
INPUT bema_power : real ;
INPUT loccam_power : real ;
INPUT drill_power : real ;
INPUT clupi_power : real ;
INPUT dhs_power : real ;
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT duration__in__rv_wakeup_start : real ;
INPUT duration__in__rv_prepare4night_start : real ;
INPUT duration__in__rv_mms_waitabstime_start : real ;
INPUT duration__in__rv_configurereset_start : real ;
INPUT duration__in__rv_configure4travel_start : real ;
INPUT duration__in__rv_configure4science_start : real ;
INPUT status__in__set_sys_time_seconds_act_rv_wakeup : real ;
INPUT status__in__set_sys_time_seconds_act_rv_configurereset : real ;
INPUT status__in__set_sys_time_seconds_act_rv_configure4travel : real ;
INPUT status__in__set_sys_time_seconds_act_rv_configure4science : real ;
INPUT status__in__set_sys_time_seconds_act_rv_mms_waitabstime : real ;
INPUT status__in__set_sys_time_seconds_act_rv_prepare4night : real ;
INPUT status__in__set_sys_energy_used_act_rv_wakeup : real ;
INPUT status__in__set_sys_energy_used_act_rv_configurereset : real ;
INPUT status__in__set_sys_energy_used_act_rv_configure4travel : real ;
INPUT status__in__set_sys_energy_used_act_rv_configure4science : real ;
INPUT status__in__set_sys_energy_used_act_rv_mms_waitabstime : real ;
INPUT status__in__set_sys_energy_used_act_rv_prepare4night : real ;
INPUT status__in__set_sys_time_seconds_act_ades_activate : real ;
INPUT status__in__set_sys_energy_used_act_ades_activate : real ;
INPUT status__in__set_sys_time_seconds_act_rtb_switchon : real ;
INPUT status__in__set_sys_energy_used_act_rtb_switchon : real ;
INPUT status__in__set_sys_time_seconds_act_rtb_switchoff : real ;
INPUT status__in__set_sys_energy_used_act_rtb_switchoff : real ;
INPUT status__in__set_sys_time_seconds_loccam_initialise : real ;
INPUT status__in__set_sys_energy_used_loccam_initialise : real ;
INPUT status__in__set_sys_time_seconds_imu_initialise : real ;
INPUT status__in__set_sys_energy_used_imu_initialise : real ;
INPUT status__in__set_sys_time_seconds_gnc_updateheading : real ;
INPUT status__in__set_sys_energy_used_gnc_updateheading : real ;
INPUT status__in__set_sys_time_seconds_gnc_updateposition : real ;
INPUT status__in__set_sys_energy_used_gnc_updateposition : real ;
INPUT status__in__set_sys_time_seconds_gnc_fpath_straight : real ;
INPUT status__in__set_sys_energy_used_gnc_fpath_straight : real ;
INPUT status__in__set_sys_time_seconds_bema_initialise : real ;
INPUT status__in__set_sys_energy_used_bema_initialise : real ;
INPUT status__in__set_sys_time_seconds_deliver_sample : real ;
INPUT status__in__set_sys_energy_used_deliver_sample : real ;
INPUT status__in__set_sys_time_seconds_drill_positioner_move : real ;
INPUT status__in__set_sys_energy_used_drill_positioner_move : real ;
INPUT status__in__set_sys_time_seconds_drill_1 : real ;
INPUT status__in__set_sys_energy_used_drill_1 : real ;
INPUT status__in__set_sys_time_seconds_drill_dbe_initialize : real ;
INPUT status__in__set_sys_energy_used_drill_dbe_initialize : real ;
INPUT status__in__set_sys_time_seconds_drillandspds_ceswitchon : real ;
INPUT status__in__set_sys_energy_used_drillandspds_ceswitchon : real ;
INPUT status__in__set_sys_time_seconds_drill_initialize : real ;
INPUT status__in__set_sys_energy_used_drill_initialize : real ;
INPUT status__in__set_sys_time_seconds_collect_sample : real ;
INPUT status__in__set_sys_energy_used_collect_sample : real ;
INPUT status__in__set_sys_time_seconds_reduced2nominal : real ;
INPUT status__in__set_sys_energy_used_reduced2nominal : real ;
INPUT status__in__set_sys_time_seconds_reduced2highpwr : real ;
INPUT status__in__set_sys_energy_used_reduced2highpwr : real ;
INPUT status__in__set_sys_time_seconds_switchon : real ;
INPUT status__in__set_sys_energy_used_switchon : real ;
INPUT status__in__set_sys_time_seconds_diagnostic : real ;
INPUT status__in__set_sys_energy_used_diagnostic : real ;
INPUT status__in__set_sys_time_seconds_timesync : real ;
INPUT status__in__set_sys_energy_used_timesync : real ;
INPUT status__in__set_sys_time_seconds_acquirezscience : real ;
INPUT status__in__set_sys_energy_used_acquirezscience : real ;
INPUT status__in__set_sys_time_seconds_switchoff : real ;
INPUT status__in__set_sys_energy_used_switchoff : real ;
INPUT status__in__set_sys_time_seconds_drill_dbe_switchoff : real ;
INPUT status__in__set_sys_energy_used_drill_dbe_switchoff : real ;
INPUT status__in__set_sys_time_seconds_gotospds : real ;
INPUT status__in__set_sys_energy_used_gotospds : real ;
INPUT status__in__set_sys_time_seconds_end_of_spds : real ;
INPUT status__in__set_sys_energy_used_end_of_spds : real ;
INPUT status__in__set_sys_time_seconds_spds_homing : real ;
INPUT status__in__set_sys_energy_used_spds_homing : real ;
INPUT status__in__set_sys_time_seconds_spds_preparetoreceivedrillsample : real ;
INPUT status__in__set_sys_energy_used_spds_preparetoreceivedrillsample : real ;
INPUT startEvent__in__rv_wakeup_start : event ;
INPUT startEvent__in__rv_prepare4night_start : event ;
INPUT startEvent__in__rv_mms_waitabstime_start : event ;
INPUT startEvent__in__rv_configurereset_start : event ;
INPUT startEvent__in__rv_configure4travel_start : event ;
INPUT startEvent__in__rv_configure4science_start : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_wakeup : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_configurereset : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_configure4science : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_mms_waitabstime : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rv_prepare4night : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_wakeup : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_configurereset : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_configure4science : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_mms_waitabstime : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rv_prepare4night : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_ades_activate : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_ades_activate : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rtb_switchon : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rtb_switchon : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_act_rtb_switchoff : event ;
INPUT generatedEventPort__in__set_sys_energy_used_act_rtb_switchoff : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_loccam_initialise : event ;
INPUT generatedEventPort__in__set_sys_energy_used_loccam_initialise : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_imu_initialise : event ;
INPUT generatedEventPort__in__set_sys_energy_used_imu_initialise : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_gnc_updateheading : event ;
INPUT generatedEventPort__in__set_sys_energy_used_gnc_updateheading : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_gnc_updateposition : event ;
INPUT generatedEventPort__in__set_sys_energy_used_gnc_updateposition : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_gnc_fpath_straight : event ;
INPUT generatedEventPort__in__set_sys_energy_used_gnc_fpath_straight : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_bema_initialise : event ;
INPUT generatedEventPort__in__set_sys_energy_used_bema_initialise : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_deliver_sample : event ;
INPUT generatedEventPort__in__set_sys_energy_used_deliver_sample : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drill_positioner_move : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drill_positioner_move : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drill_1 : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drill_1 : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drill_dbe_initialize : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drill_dbe_initialize : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drillandspds_ceswitchon : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drillandspds_ceswitchon : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drill_initialize : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drill_initialize : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_collect_sample : event ;
INPUT generatedEventPort__in__set_sys_energy_used_collect_sample : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_reduced2nominal : event ;
INPUT generatedEventPort__in__set_sys_energy_used_reduced2nominal : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_reduced2highpwr : event ;
INPUT generatedEventPort__in__set_sys_energy_used_reduced2highpwr : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_switchon : event ;
INPUT generatedEventPort__in__set_sys_energy_used_switchon : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_diagnostic : event ;
INPUT generatedEventPort__in__set_sys_energy_used_diagnostic : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_timesync : event ;
INPUT generatedEventPort__in__set_sys_energy_used_timesync : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_acquirezscience : event ;
INPUT generatedEventPort__in__set_sys_energy_used_acquirezscience : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_switchoff : event ;
INPUT generatedEventPort__in__set_sys_energy_used_switchoff : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_drill_dbe_switchoff : event ;
INPUT generatedEventPort__in__set_sys_energy_used_drill_dbe_switchoff : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_gotospds : event ;
INPUT generatedEventPort__in__set_sys_energy_used_gotospds : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_end_of_spds : event ;
INPUT generatedEventPort__in__set_sys_energy_used_end_of_spds : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_spds_homing : event ;
INPUT generatedEventPort__in__set_sys_energy_used_spds_homing : event ;
INPUT generatedEventPort__in__set_sys_time_seconds_spds_preparetoreceivedrillsample : event ;
INPUT generatedEventPort__in__set_sys_energy_used_spds_preparetoreceivedrillsample : event ;
OUTPUT rv_status : { RV_READY , FAKE } ;
OUTPUT sys_rover_longitude : real ;
OUTPUT sys_rover_latitude : real ;
OUTPUT sys_simstart_utc : real ;
OUTPUT sys_time_seconds : real ;
OUTPUT sys_energy_used : real ;
OUTPUT status__in__set_dhs_status_act_rv_wakeup : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT status__in__set_dhs_status_act_rv_prepare4night : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT status__in__set_dhs_status_act_rv_configurereset : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT status__in__set_dhs_status_act_rv_configure4science : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT status__in__set_dhs_status_act_rv_configure4travel : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT status__in__set_ade_left_power_rv_configurereset : real ;
OUTPUT status__in__set_ade_right_power_rv_configurereset : real ;
OUTPUT status__in__set_ade_right_status_rv_configurereset : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
OUTPUT status__in__set_ade_left_status_rv_configurereset : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
OUTPUT status__in__set_clupi_status_rv_configurereset : { CLUPI_SDBY , CLUPI_OFF } ;
OUTPUT status__in__set_imu_status_rv_configurereset : { IMU_OFF , IMU_OPERATING } ;
OUTPUT status__in__set_navcam_status_rv_configurereset : { NAVCAM_OFF , NAVCAM_STANDBY } ;
OUTPUT status__in__set_loccam_status_rv_configurereset : { LOCCAM_OFF , LOCCAM_STANDBY } ;
OUTPUT status__in__set_bema_status_rv_configurereset : { BEMA_STANDBY , BEMA_OFF } ;
OUTPUT status__in__set_ade_left_power_rv_configure4science : real ;
OUTPUT status__in__set_ade_right_power_rv_configure4science : real ;
OUTPUT status__in__set_ade_right_status_rv_configure4science : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
OUTPUT status__in__set_ade_left_status_rv_configure4science : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
OUTPUT status__in__set_imu_status_rv_configure4science : { IMU_OFF , IMU_OPERATING } ;
OUTPUT status__in__set_navcam_status_rv_configure4science : { NAVCAM_OFF , NAVCAM_STANDBY } ;
OUTPUT status__in__set_loccam_status_rv_configure4science : { LOCCAM_OFF , LOCCAM_STANDBY } ;
OUTPUT status__in__set_bema_status_rv_configure4science : { BEMA_STANDBY , BEMA_OFF } ;
OUTPUT status__in__set_ade_left_power_rv_configure4travel : real ;
OUTPUT status__in__set_ade_right_power_rv_configure4travel : real ;
OUTPUT status__in__set_ade_right_status_rv_configure4travel : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
OUTPUT status__in__set_ade_left_status_rv_configure4travel : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
OUTPUT status__in__set_imu_status_rv_configure4travel : { IMU_OFF , IMU_OPERATING } ;
OUTPUT status__in__set_navcam_status_rv_configure4travel : { NAVCAM_OFF , NAVCAM_STANDBY } ;
OUTPUT status__in__set_loccam_status_rv_configure4travel : { LOCCAM_OFF , LOCCAM_STANDBY } ;
OUTPUT status__in__set_bema_status_rv_configure4travel : { BEMA_STANDBY , BEMA_OFF } ;
OUTPUT status__in__set_dhs_power_wakeup : real ;
OUTPUT status__in__set_dhs_power_configurereset : real ;
OUTPUT power__in__set_clupi_power_configurereset : real ;
OUTPUT status__in__set_imu_power_configurereset : real ;
OUTPUT status__in__set_loccam_power_configurereset : real ;
OUTPUT status__in__set_bema_power_configurereset : real ;
OUTPUT status__in__set_dhs_power_configure4travel : real ;
OUTPUT status__in__set_imu_power_configure4travel : real ;
OUTPUT status__in__set_loccam_power_configure4travel : real ;
OUTPUT status__in__set_bema_power_configure4travel : real ;
OUTPUT status__in__set_dhs_power_configure4science : real ;
OUTPUT status__in__set_imu_power_configure4science : real ;
OUTPUT status__in__set_loccam_power_configure4science : real ;
OUTPUT status__in__set_bema_power_configure4science : real ;
OUTPUT status__in__set_dhs_power_prepare4night : real ;
OUTPUT performed__in__rv_wakeup_done : boolean ;
OUTPUT performed__in__rv_prepare4night_done : boolean ;
OUTPUT performed__in__rv_configurereset_done : boolean ;
OUTPUT performed__in__rv_configure4science_done : boolean ;
OUTPUT performed__in__rv_configure4travel_done : boolean ;
OUTPUT performed__in__rv_mms_waitabstime_done : boolean ;
OUTPUT generatedEventPort__in__set_dhs_status_act_rv_wakeup : boolean ;
OUTPUT generatedEventPort__in__set_dhs_status_act_rv_prepare4night : boolean ;
OUTPUT generatedEventPort__in__set_dhs_status_act_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_dhs_status_act_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_dhs_status_act_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_power_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_power_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_clupi_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_imu_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_navcam_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_loccam_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_bema_status_rv_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_power_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_power_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_imu_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_navcam_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_loccam_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_bema_status_rv_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_power_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_power_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_ade_right_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_ade_left_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_imu_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_navcam_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_loccam_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_bema_status_rv_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_dhs_power_wakeup : boolean ;
OUTPUT generatedEventPort__in__set_dhs_power_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_clupi_power_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_imu_power_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_loccam_power_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_bema_power_configurereset : boolean ;
OUTPUT generatedEventPort__in__set_dhs_power_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_imu_power_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_loccam_power_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_bema_power_configure4travel : boolean ;
OUTPUT generatedEventPort__in__set_dhs_power_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_imu_power_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_loccam_power_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_bema_power_configure4science : boolean ;
OUTPUT generatedEventPort__in__set_dhs_power_prepare4night : boolean ;
COMPONENT Ade
INTERFACE
INPUT rtb_power : real ;
INPUT dhs_power : real ;
INPUT imu_power : real ;
INPUT loccam_power : real ;
INPUT bema_power : real ;
INPUT drill_power : real ;
INPUT clupi_power : real ;
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT duration__in__act_ades_activate_start : real ;
INPUT status__in__set_ade_right_status : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT status__in__set_ade_left_status : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT status__in__set_ade_left_power : real ;
INPUT status__in__set_ade_right_power : real ;
INPUT status__in__set_ade_right_status_rv_configurereset : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT status__in__set_ade_left_status_rv_configurereset : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT status__in__set_ade_left_power_rv_configurereset : real ;
INPUT status__in__set_ade_right_power_rv_configurereset : real ;
INPUT status__in__set_ade_right_status_rv_configure4science : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT status__in__set_ade_left_status_rv_configure4science : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT status__in__set_ade_left_power_rv_configure4science : real ;
INPUT status__in__set_ade_right_power_rv_configure4science : real ;
INPUT status__in__set_ade_right_status_rv_configure4travel : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT status__in__set_ade_left_status_rv_configure4travel : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT status__in__set_ade_left_power_rv_configure4travel : real ;
INPUT status__in__set_ade_right_power_rv_configure4travel : real ;
INPUT startEvent__in__act_ades_activate_start : event ;
INPUT generatedEventPort__in__set_ade_right_status : event ;
INPUT generatedEventPort__in__set_ade_left_status : event ;
INPUT generatedEventPort__in__set_ade_left_power : event ;
INPUT generatedEventPort__in__set_ade_right_power : event ;
INPUT generatedEventPort__in__set_ade_right_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_ade_left_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_ade_left_power_rv_configurereset : event ;
INPUT generatedEventPort__in__set_ade_right_power_rv_configurereset : event ;
INPUT generatedEventPort__in__set_ade_right_status_rv_configure4science : event ;
INPUT generatedEventPort__in__set_ade_left_status_rv_configure4science : event ;
INPUT generatedEventPort__in__set_ade_left_power_rv_configure4science : event ;
INPUT generatedEventPort__in__set_ade_right_power_rv_configure4science : event ;
INPUT generatedEventPort__in__set_ade_right_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_ade_left_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_ade_left_power_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_ade_right_power_rv_configure4travel : event ;
OUTPUT ade_left_status : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
OUTPUT ade_right_status : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
OUTPUT ade_left_power : real ;
OUTPUT ade_right_power : real ;
OUTPUT status__in__set_sys_time_seconds : real ;
OUTPUT status__in__set_sys_energy_used : real ;
OUTPUT performed__in__ades_activate_done : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used : boolean ;
COMPONENT GNC
INTERFACE
INPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT ade_right_status : { ADE_RIGHT_OFF , ADE_RIGHT_STANDBY } ;
INPUT ade_left_status : { ADE_LEFT_OFF , ADE_LEFT_STANDBY } ;
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT clupi_power : real ;
INPUT drill_power : real ;
INPUT rtb_power : real ;
INPUT dhs_power : real ;
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT duration__in__loccam_initialise_start : real ;
INPUT duration__in__imu_initialise_start : real ;
INPUT duration__in__gnc_fpath_straight_start : real ;
INPUT duration__in__bema_initialise_start : real ;
INPUT duration__in__gnc_updateposition_start : real ;
INPUT duration__in__gnc_updateheading_start : real ;
INPUT status__in__set_loccam_power_initialise : real ;
INPUT status__in__set_loccam_status_initialise : { LOCCAM_OFF , LOCCAM_STANDBY } ;
INPUT status__in__set_imu_power_initialise : real ;
INPUT status__in__set_imu_status_initialise : { IMU_OFF , IMU_OPERATING } ;
INPUT status__in__set_imu_power_gnc_updateheading : real ;
INPUT status__in__set_imu_status_gnc_updateheading : { IMU_OFF , IMU_OPERATING } ;
INPUT status__in__set_heading_updated_gnc_updateheading : boolean ;
INPUT status__in__set_position_updated_gnc_updateposition : boolean ;
INPUT status__in__set_bema_power_initialise : real ;
INPUT status__in__set_bema_status_initialise : { BEMA_STANDBY , BEMA_OFF } ;
INPUT status__in__set_imu_status_rv_configurereset : { IMU_OFF , IMU_OPERATING } ;
INPUT status__in__set_navcam_status_rv_configurereset : { NAVCAM_OFF , NAVCAM_STANDBY } ;
INPUT status__in__set_loccam_status_rv_configurereset : { LOCCAM_OFF , LOCCAM_STANDBY } ;
INPUT status__in__set_bema_status_rv_configurereset : { BEMA_STANDBY , BEMA_OFF } ;
INPUT status__in__set_loccam_power_rv_configurereset : real ;
INPUT status__in__set_imu_power_rv_configurereset : real ;
INPUT status__in__set_bema_power_rv_configurereset : real ;
INPUT status__in__set_imu_status_rv_configure4travel : { IMU_OFF , IMU_OPERATING } ;
INPUT status__in__set_navcam_status_rv_configure4travel : { NAVCAM_OFF , NAVCAM_STANDBY } ;
INPUT status__in__set_loccam_status_rv_configure4travel : { LOCCAM_OFF , LOCCAM_STANDBY } ;
INPUT status__in__set_bema_status_rv_configure4travel : { BEMA_STANDBY , BEMA_OFF } ;
INPUT status__in__set_loccam_power_rv_configure4travel : real ;
INPUT status__in__set_imu_power_rv_configure4travel : real ;
INPUT status__in__set_bema_power_rv_configure4travel : real ;
INPUT status__in__set_imu_status_rv_configure4science : { IMU_OFF , IMU_OPERATING } ;
INPUT status__in__set_navcam_status_rv_configure4science : { NAVCAM_OFF , NAVCAM_STANDBY } ;
INPUT status__in__set_loccam_status_rv_configure4science : { LOCCAM_OFF , LOCCAM_STANDBY } ;
INPUT status__in__set_bema_status_rv_configure4science : { BEMA_STANDBY , BEMA_OFF } ;
INPUT status__in__set_loccam_power_rv_configure4science : real ;
INPUT status__in__set_imu_power_rv_configure4science : real ;
INPUT status__in__set_bema_power_rv_configure4science : real ;
INPUT startEvent__in__loccam_initialise_start : event ;
INPUT startEvent__in__imu_initialise_start : event ;
INPUT startEvent__in__gnc_fpath_straight_start : event ;
INPUT startEvent__in__bema_initialise_start : event ;
INPUT startEvent__in__gnc_updateposition_start : event ;
INPUT startEvent__in__gnc_updateheading_start : event ;
INPUT generatedEventPort__in__set_loccam_power_initialise : event ;
INPUT generatedEventPort__in__set_loccam_status_initialise : event ;
INPUT generatedEventPort__in__set_imu_power_initialise : event ;
INPUT generatedEventPort__in__set_imu_status_initialise : event ;
INPUT generatedEventPort__in__set_imu_power_gnc_updateheading : event ;
INPUT generatedEventPort__in__set_imu_status_gnc_updateheading : event ;
INPUT generatedEventPort__in__set_heading_updated_gnc_updateheading : event ;
INPUT generatedEventPort__in__set_position_updated_gnc_updateposition : event ;
INPUT generatedEventPort__in__set_bema_power_initialise : event ;
INPUT generatedEventPort__in__set_bema_status_initialise : event ;
INPUT generatedEventPort__in__set_imu_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_loccam_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_bema_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_loccam_power_rv_configurereset : event ;
INPUT generatedEventPort__in__set_imu_power_rv_configurereset : event ;
INPUT generatedEventPort__in__set_bema_power_rv_configurereset : event ;
INPUT generatedEventPort__in__set_imu_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_loccam_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_bema_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_loccam_power_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_imu_power_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_bema_power_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_imu_status_rv_configure4science : event ;
INPUT generatedEventPort__in__set_loccam_status_rv_configure4science : event ;
INPUT generatedEventPort__in__set_bema_status_rv_configure4science : event ;
INPUT generatedEventPort__in__set_loccam_power_rv_configure4science : event ;
INPUT generatedEventPort__in__set_imu_power_rv_configure4science : event ;
INPUT generatedEventPort__in__set_bema_power_rv_configure4science : event ;
INPUT generatedEventPort__in__set_navcam_status_rv_configurereset : event ;
INPUT generatedEventPort__in__set_navcam_status_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_navcam_status_rv_configure4science : event ;
OUTPUT navcam_status : { NAVCAM_OFF , NAVCAM_STANDBY } ;
OUTPUT imu_status : { IMU_OFF , IMU_OPERATING } ;
OUTPUT position_updated : boolean ;
OUTPUT heading_updated : boolean ;
OUTPUT loccam_status : { LOCCAM_OFF , LOCCAM_STANDBY } ;
OUTPUT bema_status : { BEMA_STANDBY , BEMA_OFF } ;
OUTPUT imu_power : real ;
OUTPUT bema_power : real ;
OUTPUT loccam_power : real ;
OUTPUT status__in__set_sys_time_seconds_loccam_initialise : real ;
OUTPUT status__in__set_sys_energy_used_loccam_initialise : real ;
OUTPUT status__in__set_sys_time_seconds_imu_initialise : real ;
OUTPUT status__in__set_sys_energy_used_imu_initialise : real ;
OUTPUT status__in__set_sys_time_seconds_gnc_updateheading : real ;
OUTPUT status__in__set_sys_energy_used_gnc_updateheading : real ;
OUTPUT status__in__set_sys_time_seconds_gnc_updateposition : real ;
OUTPUT status__in__set_sys_energy_used_gnc_updateposition : real ;
OUTPUT status__in__set_sys_time_seconds_gnc_fpath_straight : real ;
OUTPUT status__in__set_sys_energy_used_gnc_fpath_straight : real ;
OUTPUT status__in__set_sys_time_seconds_bema_initialise : real ;
OUTPUT status__in__set_sys_energy_used_bema_initialise : real ;
OUTPUT performed__in__loccam_initialise_done : boolean ;
OUTPUT performed__in__imu_initialise_done : boolean ;
OUTPUT performed__in__gnc_fpath_straight_done : boolean ;
OUTPUT performed__in__bema_initialise_done : boolean ;
OUTPUT performed__in__gnc_updateposition_done : boolean ;
OUTPUT performed__in__gnc_updateheading_done : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_loccam_initialise : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_loccam_initialise : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_imu_initialise : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_imu_initialise : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_gnc_updateheading : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_gnc_updateheading : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_gnc_updateposition : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_gnc_updateposition : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_gnc_fpath_straight : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_gnc_fpath_straight : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_bema_initialise : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_bema_initialise : boolean ;
COMPONENT Dhs
INTERFACE
INPUT sys_time_seconds : real ;
INPUT sys_energy_used : real ;
INPUT ade_left_power : real ;
INPUT ade_right_power : real ;
INPUT clupi_power : real ;
INPUT drill_power : real ;
INPUT rtb_power : real ;
INPUT imu_power : real ;
INPUT bema_power : real ;
INPUT loccam_power : real ;
INPUT duration__in__start_dhs_reduced2nominal : real ;
INPUT duration__in__start_dhs_reduced2highpwr : real ;
INPUT status__in__set_dhs_status_reduced2nominal : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_status_reduced2highpwr : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_power_reduced2nominal : real ;
INPUT status__in__set_dhs_power_reduced2highpwr : real ;
INPUT status__in__set_dhs_status_act_rv_wakeup : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_status_act_rv_configurereset : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_power_act_rv_wakeup : real ;
INPUT status__in__set_dhs_power_act_rv_configurereset : real ;
INPUT status__in__set_dhs_power_act_rv_prepare4night : real ;
INPUT status__in__set_dhs_status_act_rv_prepare4night : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_status_act_rv_configure4travel : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_power_act_rv_configure4travel : real ;
INPUT status__in__set_dhs_status_act_rv_configure4science : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
INPUT status__in__set_dhs_power_act_rv_configure4science : real ;
INPUT startEvent__in__start_dhs_reduced2nominal : event ;
INPUT startEvent__in__start_dhs_reduced2highpwr : event ;
INPUT generatedEventPort__in__set_dhs_status_reduced2nominal : event ;
INPUT generatedEventPort__in__set_dhs_status_reduced2highpwr : event ;
INPUT generatedEventPort__in__set_dhs_power_reduced2nominal : event ;
INPUT generatedEventPort__in__set_dhs_power_reduced2highpwr : event ;
INPUT generatedEventPort__in__set_dhs_status_act_rv_wakeup : event ;
INPUT generatedEventPort__in__set_dhs_status_act_rv_configurereset : event ;
INPUT generatedEventPort__in__set_dhs_power_act_rv_wakeup : event ;
INPUT generatedEventPort__in__set_dhs_power_act_rv_configurereset : event ;
INPUT generatedEventPort__in__set_dhs_power_act_rv_prepare4night : event ;
INPUT generatedEventPort__in__set_dhs_status_act_rv_prepare4night : event ;
INPUT generatedEventPort__in__set_dhs_status_act_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_dhs_power_act_rv_configure4travel : event ;
INPUT generatedEventPort__in__set_dhs_status_act_rv_configure4science : event ;
INPUT generatedEventPort__in__set_dhs_power_act_rv_configure4science : event ;
OUTPUT dhs_status : { DHS_LOWPOWER , DHS_REDUCED , DHS_NOMINAL , DHS_HIGHPOWER } ;
OUTPUT dhs_power : real ;
OUTPUT status__in__set_sys_time_seconds_reduced2nominal : real ;
OUTPUT status__in__set_sys_time_seconds_reduced2highpwr : real ;
OUTPUT status__in__set_sys_energy_used_reduced2nominal : real ;
OUTPUT status__in__set_sys_energy_used_reduced2highpwr : real ;
OUTPUT performed__in__dhs_reduced2nominal_done : boolean ;
OUTPUT performed__in__dhs_reduced2highpwr_done : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_reduced2nominal : boolean ;
OUTPUT generatedEventPort__in__set_sys_time_seconds_reduced2highpwr : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_reduced2nominal : boolean ;
OUTPUT generatedEventPort__in__set_sys_energy_used_reduced2highpwr : boolean ;
COMPONENT Environment
INTERFACE
