Embedded control: From Asynchrony to synchrony and back

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2211, Issue , 2001, Pages 80-96

  Caspi, Paul ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ASYNCHRONY; COMPUTER SCIENTISTS; EMBEDDED CONTROL; HISTORICAL PERSPECTIVE; PROGRAMMING STYLES;

EMBEDDED SOFTWARE;

EID: 84947272676     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45449-7_7     Document Type: Conference Paper

References (20)

1. C. André. Representation and analysis of reactive behaviors: a synchronous approach. In Proc. CESA’96, Lille, July 1996.
2. A. Benveniste, P. LeGuernic, and Ch. Jacquemot. Synchronous programming with events and relations: the SIGNAL language and its semantics. Science of Computer Programming, 16:103–149, 1991.
3. J.L. Bergerand and E. Pilaud. SAGA; a software development environment for dependability in automatic control. In SAFECOMP’ 88. Pergamon Press, 1988.
4. G. Berry and G. Gonthier. The esterel synchronous programming language, design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.
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.
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.
7. J. A. Brzozowski and C-J. H. Seger. Asynchronous Circuits. Springer-Verlag, 1995.
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.
9. A. Chatha. Fieldbus: The foundation for field control systems. Control Engineering, pages 47–50, May 1994.
10. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305–1320, September 1991.
11. N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous data-flow language lustre. IEEE Transactions on Software Engineering, 18(9):785–793, september 1992.
12. D. Harel. Statecharts: a visual approach to complex systems. Science of Computer Programming, 8(3), 1987.
13. C.A.R. Hoare. Communicating sequential processes. Communication of the ACM, 21(8):666–676, 1978.
14. K.J.A˙ ström and B. Wittenmark. Computer Controlled Systems. Prentice-Hall, 1984.
15. H. Kopetz, A. Damm, Ch. Koza, M. Mulazzani, W. Schwabl, Ch. Senft, and R. Zainlinger. Distributed fault-tolerant real-time systems: the MARS approach. IEEE Micro, 9(1):25–40, 1989.
16. G. LeGoff. Using synchronous languages for interlocking. In First International Conference on Computer Application in Transportation Systems, 1996.
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.
18. S. Mauw. The formalization of message sequence charts. Computer Networks and ISDNSystems, 28:1643–1657, 1996.
19. R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25:267–310, 1983.
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.