LPP » INSTRU » Solar Orbiter LFR » LFR-FSW

Dans le fichier basic_parameters.h
dans la fonction BP1_set (ligne 65)
les instructions suivantes ne sont pas atteintes
lignes 129-130
exponent = expmin;
significand = 0.5; // min value that can be recorded
et
lignes 133-134
exponent = expmax;
significand = 1.0; // max value that can be recorded
et
lignes 180-181
exponent = expmin;
significand = 0.5; // min value that can be recorded
et
lignes 184-185
exponent = expmax;
significand = 1.0; // max value that can be recorded
et
lignes 358-359
exponent = expmax;
significand = 1.0; // max value that can be recorded

Dans la fonction BP2_set (ligne 534)
les instructions suivantes ne sont pas atteintes
lignes 780-781
exponent = expmin;
significand = 0.5; // min value that can be recorded

lignes 784-785
exponent = expmax;
significand = 1.0; // max value that can be recorded

lignes 870-871
lignes 874-875
lignes 916-917
lignes 920-921
lignes 961-962
lignes 965-966

fichier fsw_init.c
Dans la fonction Init (ligne 110)

ligne 302
status = rtems_event_send( Task_id[TASKID_SPIQ], SPW_LINKERR_EVENT );

Dans la fonction create_message_queues (ligne 796)
les lignes non atteintes ( erreur sur la creation de la queue de mesage
ret = status_recv; ligne 856
ret = status_send; ligne 860
ret = status_q_p0; ligne 864
ret = status_q_p1; ligne 868

FIchier fsw_processing.c

dans la fonction spectral_matrices_isr_f0 (ligne 88)
lignes non atteintes
lignes 102-104
spectral_matrix_regs->status = BIT_READY_0_1; // [0011]
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_11 );
break;

ligne 118
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );

ligne 137
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );

Dans la fonction spectral_matrices_isr_f1 (ligne 148)
lignes 162-164
spectral_matrix_regs->status = BITS_STATUS_F1; // [1100]
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_11 );
break;
ligne 178
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );
ligne 197
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );

Dans la fonction spectral_matrices_isr_f2 (ligne 208)
lignes 221-223
spectral_matrix_regs->status = BITS_STATUS_F2; // [0011 0000]
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_11 );
break;
ligne 233
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );
ligne 245
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_3 );

Dans la fonction spectral_matrix_isr_error_handler (ligne 253)
ligne 270
status_code = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_8 );

Dans la fonction getSID (ligne 571)
ligne 604
sid = 0;

FIchier tc_acceptance.c

Dans la fonction tc_parser (ligne 120)
ligne 179
status = WRONG_LEN_PKT;
Impossible à atteindre car le spacewire rejete les packet > 228 octets en amont de ce test.
CCSDS_TC_PKT_MAX_SIZE = 232

Dans la fonction tc_check_type_subtype (ligne 229)
ligne 277
status = ILL_SUBTYPE;
Impossible d atteindre car cette ligne qui correspond a un packet type qui vaut ni TC_TYPE_GEN ni TC_TYPE_TIME.
Comme la validation du type est faite avant la validation du sub-type, on ne rentre jamais dans ce cas.
Extrait de la fonction tc_parser()
if (status == CCSDS_TM_VALID) // CHECK THE TYPE {
status = tc_check_type( packetType );
}
if (status == CCSDS_TM_VALID) // CHECK THE SUBTYPE {
status = tc_check_type_subtype( packetType, packetSubtype );

Dans la fonction tc_check_length ligne (314)
ligne 460
status = ILL_SUBTYPE;

Impossible à atteindre car quand on entre dans cette fonction, le sub-type est valide.

Dans le fichier tc_handler.c

Dans la fonction actn_task (ligne 42)
ligne 100-101
close_action( &TC, result, queue_snd_id );
break;
Impossible à atteindre car TC_LFR_RESET est utilisée pour dumper la couverture GCOV.

Dans la fonction action_enter_mode (ligne 197)
ligne 269
status = LFR_EXE_ERROR;

Dans la fonction check_mode_transition (448)
ligne 506
status = LFR_DEFAULT;
Quand la fonction check_mode_transition est appelée, on est certain que le requestedmode est valide.

Dans la fonction enter_mode_normal (700)
ligne 761
status = RTEMS_UNSATISFIED;
Impossible de provoquer des erreurs RTEMS

Dans la fonction enter_mode_burst (767)
ligne 801
status = RTEMS_UNSATISFIED;
Impossible de provoquer des erreurs RTEMS

idem pour les fonctions enter_mode_sbm1 (ligne 807) et enter_mode_sbm2 (ligne 875)

Dans la fonction restart_science_tasks (ligne 943)
ligne 1828
status = RTEMS_UNSATISFIED;
Impossible de provoquer des erreurs RTEMS

Dans la fonction restart_asm_tasks (ligne 1034)
ligne 1093
status = RTEMS_UNSATISFIED;
Impossible de provoquer des erreurs RTEMS

Dans la fonction set_sm_irq_onError (ligne 1382)
ligne 1386
spectral_matrix_regs->config = spectral_matrix_regs->config | BIT_IRQ_ON_ERROR;
Le seul appel à cette fonction est fait par la fonction reset_spectral_matrix_regs
set_sm_irq_onError( 0 );
avec value =0 .
Donc normal que le code associé au test de value==1 ne soit pas activé.

Dans la fonction close_action (ligne 1623)
ligne 1655
send_tm_lfr_tc_exe_error( TC, queue_id );
Impossible de generer une LFR_EXE_ERROR

Fichier tm_lfr_tc_exe.c

La fonctiion send_tm_lfr_tc_exe_error (ligne 311) n est pas atteinte.
Impossible de generer cette TM_LFR_TC_EXE_ERROR.

Fichier wf_handler.c

La fonction getRingNodeToSendSWF (ligne 101) n a pas été atteinte
Aucun appel à cette fonction dans le code

La fonction set_wfp_delta_f1 (ligne 1238) n a pas été atteinte
Aucun appel à cette fonction dans le code

Dans la fonction waveforms_isr_f3 (ligne 133)
ligne 158
spare_status = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_0 );

Dans la fonction waveforms_isr_burst (ligne 164)
ligne 181
spare_status = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_0 );
ligne 193
spare_status = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_0 );

Dans la fonction waveforms_isr (ligne 284)
ligne 314
spare_status = rtems_event_send( Task_id[TASKID_DUMB], RTEMS_EVENT_0 );

Dans la fonction send_waveform_CWF3_light (ligne 681)
ligne 724
ret = LFR_DEFAULT;
Impossible de generer une erreur RTEMS

Dans la fonction compute_acquisition_time (ligne 730)
ligne 789
deltaT = 0.;

Dans la fonction build_snapshot_from_ring (ligne 804)
lignes 857-860
acquisitionTime_asLong = centerTime_asLong;
nb_ring_nodes = 0;
frequency_asLong = FREQ_F2;
nbTicksPerSample_asLong = TICKS_PER_T2;
break;

ligne 908
nbSamplesPart1_asLong = 0;

Dans la fonction set_wfp_burst_enable_register (ligne 1175)
ligne 1199
waveform_picker_regs->run_burst_enable = INIT_CHAR; // [0000 0000] no burst enabled, no waveform enabled

Dans la fonction increment_seq_counter_source_id (ligne 1286)
ligne 1337
sequence_cnt = (unsigned short *) NULL;
Aucune idée pour tester cela, cela signifierait que le source_id d'une TM soit erronée....

Ce rapport est celui inclus dans le verification report (Chapitre 6).