search

AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab
6 stars 12 forks source link

AV_CP_Switches listed in F_CM inputs but not in F_PT inputs #3

Open AnthonyLeonardoGracio opened 7 years ago

AnthonyLeonardoGracio commented 7 years ago

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

La sous-fonction F_CM attend AV_CP_Switches en input mais celui-ci n'est pas listé dans les inputs de la sous-fonction englobante F_PT.

ledinot commented 7 years ago

As a single record, yes. But the information is there, split in several flows:

clairedross commented 7 years ago

Thanks for the precision. We already have PayloadMass in F_PT's inputs, should it be removed if the two rotactors are given explicitely?

ledinot commented 7 years ago

That’s also an interesting point for the lessons learnt. It depends on “who” codes the two rotactors?

  1. Is it CP, because it has a small micro-processor? In that case MMS does not need to receive the two rotactors, and my interfaces were right.

  2. Or is CP purely electro-mechanical, and F_PT.F_CM has two receive the two rotactors to compute PayloadMass=10*Rotactor1 + Rotactor2.

I postpone my final answer, but option 1 is the most likely.

De : Claire Dross [mailto:notifications@github.com] Envoyé : jeudi 22 juin 2017 14:21 À : AdaCore/RESSAC_Use_Case Cc : Ledinot Emmanuel; Assign Objet : [Message publicitaire : ] Re: [AdaCore/RESSAC_Use_Case] AV_CP_Switches listed in F_CM inputs but not in F_PT inputs (#3)

Thanks for the precision. We already have PayloadMass in F_PT's inputs, should it be removed if the two rotactors are given explicitely?

— You are receiving this because you were assigned. Reply to this email directly, view it on GitHubhttps://github.com/AdaCore/RESSAC_Use_Case/issues/3#issuecomment-310363752, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AVVweAxg7lv8Ob4JLVZQzN0KrXlVfVeVks5sGlwzgaJpZM4N_XYH.

clairedross commented 7 years ago

OK, and then with option 1 F_PT.F_CM still needs to compute the values of each rotactors to store them in its output to GS named CP_Switches ?

ledinot commented 7 years ago

Yes. Even with a computerized CP (a smart CP ☺), it would not be in charge of repeating its statuses to GS. MMS is the control center, and F_CM is in charge of broadcasting datas wherever needed, after elaboration by the control center. So in option 1, you are right, the rotactors’ values would be “reconstructed” by F_CM since they would not be acquired by analog links to the rotactors.

De : Claire Dross [mailto:notifications@github.com] Envoyé : jeudi 22 juin 2017 18:07 À : AdaCore/RESSAC_Use_Case Cc : Ledinot Emmanuel; Assign Objet : Re: [AdaCore/RESSAC_Use_Case] AV_CP_Switches listed in F_CM inputs but not in F_PT inputs (#3)

OK, and then with option 1 F_PT.F_CM still needs to compute the values of each rotactors to store them in its output to GS named CP_Switches ?

— You are receiving this because you were assigned. Reply to this email directly, view it on GitHubhttps://github.com/AdaCore/RESSAC_Use_Case/issues/3#issuecomment-310426766, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AVVweJ2jqU95DJuanIYD_jxbN7VUVx6Sks5sGpE7gaJpZM4N_XYH.