On the design of side-stick controllers in fly-by-wire aircraft
Muffy Thomas, Bowen Ormsby · ACM SIGAPP Applied Computing Review · 1994
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.