search

AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab
6 stars 12 forks source link

How does F_MM know the drone has landed? #24

Open clairedross opened 7 years ago

clairedross commented 7 years ago

Hello Emmanuel,

In 6.6.4 Figure 3, we see that Landing terminates when pdot=qdot=0. But, since F_MM does not have pdot as an input nor q (let alone qdot which can only be estimated), I don't understand how F_MM knows that the drone is landed.

Thanks for your help, Claire

ledinot commented 7 years ago

Hi Claire,

I confirm F_MM should notre have access to p pdot q qdot because it is not Mission/Nav data.

So if she needs to diagnose landing has occured, she can do it by means of Speed = 0, Altitude = 0. Consider I gave a wrong criterion, apply this new MM-level one.

E.

Envoyé depuis mon appareil Samsung

-------- Message d'origine -------- De : Claire Dross notifications@github.com Date : 28/06/2017 10:42 (GMT+01:00) À : AdaCore/RESSAC_Use_Case RESSAC_Use_Case@noreply.github.com Cc : Subscribed subscribed@noreply.github.com Objet : [Message publicitaire : ] [AdaCore/RESSAC_Use_Case] How does F_MM know the drone has landed? (#24)

Hello Emmanuel,

In 6.6.4 Figure 3, we see that Landing terminates when pdot=qdot=0. But, since F_MM does not have pdot as an input nor q (let alone qdot which can only be estimated), I don't understand how F_MM knows that the drone is landed.

Thanks for your help, Claire

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/AdaCore/RESSAC_Use_Case/issues/24, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AVVweLvd26kybgv848p-QHLV9pXZxx9rks5sIhIDgaJpZM4OHqX7.

clairedross commented 7 years ago

Hi Emmanuel, Thanks for your answer, this is clearer now. Claire

ledinot commented 7 years ago

Yes. In a previous answer, the following specification fix was proposed: F_MM uses Altitude =0 and Speed=0 to detect end of landing, instead of pdot=qdot=0.

De : Claire Dross [mailto:notifications@github.com] Envoyé : mercredi 28 juin 2017 10:43 À : AdaCore/RESSAC_Use_Case Cc : Subscribed Objet : [Message publicitaire : ] [AdaCore/RESSAC_Use_Case] How does F_MM know the drone has landed? (#24)

Hello Emmanuel,

In 6.6.4 Figure 3, we see that Landing terminates when pdot=qdot=0. But, since F_MM does not have pdot as an input nor q (let alone qdot which can only be estimated), I don't understand how F_MM knows that the drone is landed.

Thanks for your help, Claire

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHubhttps://github.com/AdaCore/RESSAC_Use_Case/issues/24, or mute the threadhttps://github.com/notifications/unsubscribe-auth/AVVweLvd26kybgv848p-QHLV9pXZxx9rks5sIhIDgaJpZM4OHqX7.