Statecharts: A visual formalism for complex systems
Science of Computer Programming
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
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
The formalization of message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Communicating sequential processes
Communications of the ACM
Computer Controlled Systems: Theory and Design
Computer Controlled Systems: Theory and Design
Operational and Compositional Semantics of Synchronous Automaton Compositions
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Threshold and Bounded-Delay Voting in Critical Control Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
What Can We Learn from Synchronous Data-Flow Languages?
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Non-massive, Non-high Performance, Distributed Computing: Selected Issues
Euro-Par '02 Proceedings of the 8th International Euro-Par Conference on Parallel Processing
Toward an Approximation Theory for Computerised Control
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Synchronous Modelling of Asynchronous Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Proceedings of the 4th ACM international conference on Embedded software
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A timing model for synchronous language implementations in simulink
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Polychronous design of embedded real-time applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
Proving the properties of communicating imperfectly-clocked synchronous systems
SAS'06 Proceedings of the 13th international conference on Static Analysis
Tools for programming, code generation, and design
Embedded Systems Design
Hi-index | 0.00 |
We propose in this paper a historical perspective of programming issues found in the implementation of control systems, based on the author's observations for more than fifteen years, but especially during the Crisys Esprit project. We show that in contrast with the asynchronous tradition of computer scientists, control engineers were naturally led to a synchronous practice that was later formalised and generalised by computer people. But, we also show that, for the sake of robustness and distribution those practitioners had to incorporate some degree of asynchrony in this synchronous approach and we try to comment the resulting programming style.