search

AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab
6 stars 12 forks source link

F_EL: propulsion and Soft Landing #10

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_EL ne peut pas agir sur la propulsion : qui s’en charge en cas de Soft Landing ?

Réponse initiale

Si comme vu précédemment il peut agir sur la propulsion :

  • si F_EL est activé par F_MM ou F_FC, il agit sur la propulsion
  • si F_EL « s’active », plus exactement si sa partie surveillance active sa partie commande, alors il n’agit pas sur la propulsion (même quand il reste de l’énergie, dont il ignore l’existence).