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

Authors:
Muffy Thomas;Bowen Ormsby
Affiliations:
University of Glasgow, UK;University of Glasgow, UK
Venue:
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Year:
1994

Citing 0
Cited 4

An Adequate Logic for Full LOTOS

FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Experiences with specification and verification in LOTOS: a report on two case studies

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Architectural Unit Testing

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a symbolic modal logic for LOTOS

1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods

Quantified Score

Hi-index	0.01

Visualization

Abstract

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.