On the design of side-stick controllers in fly-by-wire aircraft

Muffy Thomas, Bowen Ormsby
1994 ACM SIGAPP Applied Computing Review  
This paper presents the problem of designing the functional behaviour of the interaction between two side-stick controllers, an autopilot, and a ight c o n trol computer in a y-by-wire aircraft. Two models are developed using the ISO formal description technique LOTOS, and analysed using rigorous abstract testing techniques.
doi:10.1145/381766.381769 fatcat:2fd6k6n6wnb6zofrxgk225lya4