Abstract
We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial control systems. dSL provides transparent code distribution using simple mechanisms. Its use allows the industrial control system’s designer to concentrate on the sequences of control required; the dSL compiler-distributer taking into account the distribution aspects. We show the advantages of our approach compared to others proposed using e.g. shared memory or synchronous languages like Esterel, Lustre or Signal.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aubry, P.: Mises en oeuvre distribues de programmes synchrones (thèse). Phd thesis, IFSIC, Rennes, France (October 1997)
Algorithms and min-max theorems for certain multiway cuts. In: Balas, E., Cornuéjols, G., Kannan, R. (eds.) Proc. of the 2nd Integer Programming and Combinatorial Optimization Conference, Carnegie Mellon University, May 1992, pp. 334–345 (1992)
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE 79, 1270–1282 (1991)
Berry, G., Gonthier, G.: The esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming 19(2), 87–152 (1992)
Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.: Lustre: A declarative language for programming synchronous systems. In: Conf Rec 14th Ann ACM Symp. on Princ. Prog. Langs. (1987)
Castellani, I., Mukund, M., Thiagarajan, P.S.: Synthesizing Distributed Transition Systems from Global Specification. In: Foundations of Software Technology and Theoretical Computer Science, pp. 219–231 (1999)
DeWachter, B.: Code Distribution in the dsl Environment for the Synthesis of Industrial Process Control. Technical report, U.L.B., January 15 (2003)
DeWachter, B., Massart, T., Meuter, C.: An experiment on synthesis and verification of an industrial process control in the dsl environment. In: Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS 2003), Technical Report DSSE-TR-2003-2, DSSE, Southampton (GB), April 2-3 (2003)
Dimitrov, B., Rego, V.: Arachne: A portable threads system supporting migrant threads on heterogeneous network farms. IEEE Transactions on Parallel and Distributed Systems 9(5), 459 (1998)
Rasit Eskicioglu, M.: Design issues of process migration facilities in distributed systems. IEEE Computer Society Technical Committe on Operating Systems and Application Environments Newsletter 4, 3–13 (1990)
Girault, A.: Sur la Répartition de Programmes Synchrones. Phd thesis, INPG, Grenoble, France (January 1994)
Hennessy, J., Heinrich, M., Gupta, A.: 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)
Jiang, H., Chaudhary, V.: Compile/run-time support for thread migration. In: Proceedings of the 16th International Parallel and Distributed Processing Symposium, Fort Lauderdale, Florida (April 2002)
Jiang, H., Chaudhary, V.: On improving thread migration: Safety and performance. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol. 2552, pp. 474–484. Springer, Heidelberg (2002)
LeGuernic, P., Gautier, T., LeBorgne, M., LeMaire, C.: Programming real time applications with signal. Proceedings of the IEEE 79(9), 1321–1336 (1991)
Massart, T.: A calculus to define correct transformations of LOTOS specifications. In: Proceedings of the FORTE 1991 conference, pp. 281–296 (1992)
Milner, R.: Communication and Concurrency. PHI Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Morin, C., Puaut, I.: A survey of recoverable distributed shared memory systems. IEEE Trans. on Parallel and Distributed Systems 8(9), 959–969 (1997)
Nizeberg, B., Lo, V.: Distributed shared memory: A survey of issues and algorithms. IEEE Computer 24(8), 52–60 (1991)
Stefănescu, A., Esparza, J., Muscholl, A.: Syntesis of Distributed Algorithm. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol. 2761, pp. 27–41. Springer, Heidelberg (2003)
De Wachter, B., Massart, T., Meuter, C.: dsl: An environment with automatic code distribution for industrial control systems. Technical Report 512, ULB, Submitted to OPODIS 2003, 7th International Conference on Principles of Distributed Systems (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
De Wachter, B., Massart, T., Meuter, C. (2004). dSL: An Environment with Automatic Code Distribution for Industrial Control Systems. In: Papatriantafilou, M., Hunel, P. (eds) Principles of Distributed Systems. OPODIS 2003. Lecture Notes in Computer Science, vol 3144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27860-3_14
Download citation
DOI: https://doi.org/10.1007/978-3-540-27860-3_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22667-3
Online ISBN: 978-3-540-27860-3
eBook Packages: Springer Book Archive