This paper presents the problem of designing the functional behaviour of the interaction between two side-stick controllers, an autopilot, and a flight control computer in a fly-by-wire aircraft. Two models are developed using the ISO formal description technique LOTOS, and analysed using rigorous abstract testing techniques.
/lp/association-for-computing-machinery/on-the-design-of-side-stick-controllers-in-fly-by-wire-aircraft-XxTs7wtaNs