Embedded Control: From Asynchrony to Synchrony and Back
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.
KeywordsLogical Time Continuous Signal Message Sequence Chart Programming Style Synchronous Language
Unable to display preview. Download preview PDF.
- 1.C. André. Representation and analysis of reactive behaviors: a synchronous approach. In Proc. CESA’96, Lille, July 1996.Google Scholar
- 3.J. L. Bergerand and E. Pilaud. SAGA; a software development environment for dependability in automatic control. In SAFECOMP’88. Pergamon Press, 1988.Google Scholar
- 5.G. Boudol, V. Roy, R. de Simone, and D. Vergamini. Process algebras and systems of communicating processes. In Automatic Verification For Finite States Systems, volume 407 of Lecture Notes in Computer Science. Springer Verlag, 1990.Google Scholar
- 6.D. Briére, D. Ribot, D. Pilaud, and J.L. Camus. Methods and specification tools for Airbus on-board systems. In Avionics Conference and Exhibition, London, December 1994. ERA Technology.Google Scholar
- 7.J. A. Brzozowski and C-J. H. Seger. Asynchronous Circuits. Springer-Verlag, 1995.Google Scholar
- 8.P. Caspi and R. Salem. Threshold and bounded-delay voting in critical control systems. In Mathai Joseph, editor, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 1926 of Lecture Notes in Computer Science, pages 68–81, September 2000.Google Scholar
- 9.A. Chatha. Fieldbus: The foundation for field control systems. Control Engineering, pages 47–50, May 1994.Google Scholar
- 12.D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8(3), 1987.Google Scholar
- 14.K.J.A? strÖm and B. Wittenmark. Computer Controlled Systems. Prentice-Hall, 1984.Google Scholar
- 16.G. LeGoff. Using synchronous languages for interlocking. In First International Conference on Computer Application in Transportation Systems, 1996.Google Scholar
- 17.F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In Proc. of CONCUR’92, volume 630 of Lecture Notes in Computer Science. Springer Verlag, August 1992.Google Scholar
- 20.P. Caspi. What can we learn from synchronous data-flow languages. In O. Maler, editor, Hybrid and Real-Time Systems, volume 1201 of Lecture Notes in Computer Science, pages 255–258. Springer, 1997. invited conference.Google Scholar