LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
From a synchronous declarative language to a temporal logic dealing with multiform time
Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
On the use of LOTOS to describe graphical interaction
HCI'92 Proceedings of the conference on People and computers VII
Hi-index | 0.00 |
Mode confusion is a serious problem in aviation safety. New avionics systems are complex and make it difficult for pilots to maintain awareness of the actual states or modes of the flight deck automation. This paper investigates whether it is possible to synthesize the intention of a pilot from the way she interacts with the equipments of the flight deck. It explores then how it would be possible to use such intention data for verifying and validating the behaviors of these equipments and to design new behaviors that take into account this intention in order to improve interactions with the pilot.