AdaCore RESSAC_Use_Case issues

AdaCore / RESSAC_Use_Case

A Collaborative Development Assurance Lab

5 stars 12 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Relation between F_EL and MMS SW

#34 SylvanDissoubray opened 6 years ago
1
Interfaces of F_CM (more specifically with F_MM)

#33 SylvanDissoubray opened 6 years ago
4
Sub Functions Activation Logic (F_EL, F_PT, MMS)

#32 SylvanDissoubray opened 6 years ago
2
F_MM: computation of nearest neighbours

#31 AnthonyLeonardoGracio closed 7 years ago
2
F_FC: different gain tables for braking and propulsion?

#30 clairedross opened 7 years ago
0
Distance objective when landing

#29 AnthonyLeonardoGracio opened 7 years ago
1
How do we pass from Take-Off to Climb in F_MM

#28 AnthonyLeonardoGracio opened 7 years ago
21
Getting the NavigationOption from CP

#27 clairedross opened 7 years ago
3
Difference between aborted and cancelled

#26 clairedross opened 7 years ago
12
Clarification on unit of pdot

#25 AnthonyLeonardoGracio closed 7 years ago
2
How does F_MM know the drone has landed?

#24 clairedross opened 7 years ago
3
Mission_Cancelled input for F_FC

#23 clairedross opened 7 years ago
3
Switching between Climb, Cruise, and Descent modes in F_MM

#22 clairedross opened 7 years ago
7
Fix typos

#21 JoseRuizAdaCore closed 7 years ago
0
OperatingPoint and ENERGY mode

#20 AnthonyLeonardoGracio opened 7 years ago
3
Physical parameters

#19 clairedross opened 7 years ago
4
Safety envelope in F_FC

#18 clairedross opened 7 years ago
7
Domain mesh for tabulated functions in F_MM

#17 clairedross opened 7 years ago
6
Confusion between gains table and FlightDomainMesh

#16 AnthonyLeonardoGracio opened 7 years ago
9
Typing, units and bounds of data

#15 AnthonyLeonardoGracio opened 7 years ago
1
GS and mass information

#14 AnthonyLeonardoGracio opened 7 years ago
3
Changing the NavigationMode on flight

#13 AnthonyLeonardoGracio opened 7 years ago
7
Information about disabled inputs

#12 AnthonyLeonardoGracio opened 7 years ago
4
PropulsionEnergy not listed in F_CM outputs

#11 AnthonyLeonardoGracio opened 7 years ago
0
F_EL: propulsion and Soft Landing

#10 AnthonyLeonardoGracio opened 7 years ago
0
F_EL: decision between Soft and Hard Landing

#9 AnthonyLeonardoGracio opened 7 years ago
0
F_EL: MissionAbort signal

#8 AnthonyLeonardoGracio opened 7 years ago
0
Guarantees: Missions cancelled for energy reasons can be proven infeasible but not the opposite

#7 AnthonyLeonardoGracio opened 7 years ago
0
F_MM takes MissionAbort from F_FC but is not listed in F_FC outputs

#6 AnthonyLeonardoGracio opened 7 years ago
0
StartTakeOff and StartLanding not listed in F_FC inputs

#5 AnthonyLeonardoGracio opened 7 years ago
5
F_CM: no arbitration made between USBKey and NavigationParameters

#4 AnthonyLeonardoGracio opened 7 years ago
1
AV_CP_Switches listed in F_CM inputs but not in F_PT inputs

#3 AnthonyLeonardoGracio opened 7 years ago
5
Master

#2 anneperrineporte closed 7 years ago
0
Essai de commentaire

#1 HerveDelseny closed 7 years ago
1