论文信息 - The mine pump problem - 字舞流文

The mine pump problem

This report describes the development of a mine pump control program in the synchronous programming language Esterel.

Vinod Kumar | Mathai Joseph | Parvatam Giridhar | M. Joseph | P. Giridhar | Vinod Kumar

[1] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[2] Gérard Berry,et al. The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[3] Thierry Gautier,et al. Programming real-time applications with SIGNAL , 1991, Proc. IEEE.

[4] Albert Benveniste,et al. The synchronous approach to reactive and real-time systems , 1991 .

[5] Mathai Joseph,et al. Real-time systems - specification, verification and analysis , 1995, Prentice Hall International series in computer science.

[6] Gérard Berry,et al. The constructive semantics of pure esterel , 1996 .

[7] Lalita Jategaonkar Jagadeesan,et al. Safety Property Verification of ESTEREL Programs and Applications to Telecommunications Software , 1995, CAV.

[8] Pascal Raymond,et al. The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.