AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab
6 stars 12 forks source link

PropulsionEnergy not listed in F_CM outputs #11

Open AnthonyLeonardoGracio opened 7 years ago

AnthonyLeonardoGracio commented 7 years ago

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

PropulsionEnergy n'est pas listé dans les outputs de F_CM alors qu'il est listé dans les outputs de la fonction englobante F_PT. De plus, elle est sensée renvoyer des valeurs d'énergie absolue non présentes dans les inputs.

Réponse initiale

En 4.2.1 (design L0 (et L1)) on décide que MMS transmettra à GS des valeurs absolue en Joule en séparant les deux sources. Mais les spécialistes de la question, spécificateurs F_EM et designers L1 vers L2, décident que F_EM est la seule à pouvoir parler Joules, et que le reste du monde (notamment F_MM) n’a besoin que de capacités restantes relatives, et même totalisée entre les deux sources (pour la décision de viabilité mission). C’est bien une erreur. Elle résulte d’une différence de points de vue, de compétence. Il faut la faire trancher par un processus « gestion des problèmes ». Est-ce F_EM (spec de soft pour L2) ou L0 qui fait la loi ? Une chose est sûre, soit ça sort en Joules de F_EM et ça descend en Joules vers GS, soit ça sort en % et descend en %.