F_MM takes MissionAbort from F_FC but is not listed in F_FC outputs

AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab

6 stars 12 forks source link

Open AnthonyLeonardoGracio opened 7 years ago

AnthonyLeonardoGracio commented 7 years ago

Document: UseCaseDevelopment/Layer1_MMS/RESSAC_muXAV_SystemRQ_MMS_SW_Incr1.doc Commit: 74aa074

F_MM prend MissionAbort de F_FC mais F_FC ne l'a pas en output

Réponse initiale

Erreur. Il faut le rajouter en sortie de F_FC.