DSL: An environment with automatic code distribution for industrial control systems

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

Volumn 3144, Issue , 2004, Pages 132-145

  De Wachter, Bram ^a   Massart, Thierry ^a   Meuter, Cédric ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

Execution migration; Industrial process control; Transparent code distribution

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL LINGUISTICS; CONTROL SYSTEMS;

AUTOMATIC CODES; EVENT-DRIVEN; EXECUTION MIGRATION; INDUSTRIAL CONTROL SYSTEMS; INDUSTRIAL PROCESS CONTROL; SHARED MEMORY; SYNCHRONOUS LANGUAGES; TRANSPARENT CODE DISTRIBUTION;

DISTRIBUTED PARAMETER CONTROL SYSTEMS;

EID: 35048877166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27860-3_14     Document Type: Article

References (21)

1. P. Aubry. Mises en oeuvre distribues de programmes synchrones (thèse). Phd thesis, IFSIC, Rennes, France, October 1997.
2. E. Balas, G. Cornuéjols, and R. Kannan, eds. Algorithms and min-max theorems for certain multiway cuts. In Proc. of the 2nd Integer Programming and Combinatorial Optimization Conference, pages 334-345. Carnegie Mellon University, May 1992.
3. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. In Proceedings of the IEEE, volume 79, pages 1270-1282, 1991.
4. Gerard Berry, and Georges Gonthier. The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87-152, 1992.
5. P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: A declarative language for programming synchronous systems. Conf Rec 14th Ann ACM Symp on Princ Prog Langs, 1987.
6. I. Castellani, M. Mukund, and P. S. Thiagarajan. Synthesizing Distributed Transition Systems from Global Specification. In Foundations of Software Technology and Theoretical Computer Science, pages 219-231, 1999.
7. Bram DeWachter. Code Distribution in the dsl Environment for the Synthesis of Industrial Process Control. Technical report, U.L.B., 15 January 2003.
8. Bram DeWachter, Thierry Massart, and Cedric Meuter. An experiment on synthesis and verification of an industrial process control in the dsl environment. Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS0S), Technical Report DSSE-TR-2003-2, DSSE, Southampton (GB), April 2-3 2003.
9. B. Dimitrov and V. Rego. Arachne: A portable threads system supporting migrant threads on heterogeneous network farms. IEEE Transactions on Parallel and Distributed Systems, 9(5):459-, 1998.
10. M. Rasit Eskicioglu. Design issues of process migration facilities in distributed systems. In IEEE Computer Society Technical Commute on Operating Systems and Application Environments Newsletter, volume 4, pages 3-13, 1990.
11. A. Girault. Sur la Répartition de Programmes Synchrones. Phd thesis, INPG, Grenoble, France, January 1994.
12. J. Hennessy, M. Heinrich, and A. Gupta. Cache-coherent distributed shared memory: Perspectives on its development and future challenges. Proc. of the IEEE, Special Issue on Distributed Shared Memory, 87(3):418-429, 1999.
13. H. Jiang and V. Chaudhary. Compile/run-time support for thread migration. In Proceedings of the 16th International Parallel and Distributed Processing Symposium, Fort Lauderdale, Florida, April 2002.
14. H. Jiang and V. Chaudhary. On improving thread migration: Safety and performance. In Proceedings: 9th International Conference on High Performance Computing 2002, volume 2552 of LNCS, pages 474-484, Berlin, Germany, December 2002. Springer-Verlag.
15. P. LeGuernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with signal. Proceedings of the IEEE, 79(9):1321-1336, September 1991.
16. T. Massart. A calculus to define correct transformations of LOTOS specifications. In Proceedings of the FORTE'91 conference, pages 281-296, 1992.
17. R. Milner. Communication and Concurrency. PHI Series in Computer Science. Prentice Hall, 1989.
18. C. Morin and I. Puaut. A survey of recoverable distributed shared memory systems. IEEE Trans. on Parallel and Distributed Systems, 8(9):959-969, 1997.
19. B. Nizeberg and V. Lo. Distributed shared memory: A survey of issues and algorithms. IEEE Computer, vol. 24, no.8, pp. 52-60, Aug. 1991.
20. Alin Stefǎnescu, Javier Esparza, and Anca Muscholl. Syntesis of Distributed Algorithm. In To appear at 14th international conference on concurrency theory (CONCUR 2003), 2003.
21. Bram De Wachter, Thierry Massart, and Cédric Meuter, dsl: An environment with automatic code distribution for industrial control systems. Technical Report 512, ULB, 2004. Submitted to OPODIS 2003: 7th International Conference on Principles of Distributed Systems.