Abstract
Engineers are faced nowadays with the challenge of designing strongly distributed control systems, with complex interactions. There is little theory and tool support to address this recent challenge. Control engineering and telecom engineering have dedicated but unrelated techniques, each for their specific domain. In this paper, we explore an approach where we combine two complementary formal methods, with good tool support and industrial acceptance:SCADE/Lustre from the Control Engineering domain, and SDL, from the Telecom domain.
Work supported by the European project CRISYS, EP 25.514 - Critical Instrumentation and control SYStems.
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
D. Brière, D. Ribot, D Pilaud, JL Camus, “Methods and specification tools for Airbus on-board systems” in Avionics Conference and exhibition, London, December 1994, ERA Technology.
G Le Goff, “Using synchronous languages for interlocking”, First International Conference on Computer Application in Transportation Systems, 1996.
N Halbwachs, P Caspi, P Raymond and D Pilaud “The synchronous dataflow programming language Lustre”. Proceedings of the IEEE, vol 79, n○9, pp 1305–1320, September 1991.
Modeling Reactive Systems With Statecharts:The Statemate Approach by David Harel and Michael Politi, McGraw Hill.
G Berry and G Gonthier, “The Esterel synchronous programming language, design, semantics, implementation”, Science of Computer Programming, Vol 19, No 2, pp87–152, 1992.
P Le Guernic et al, Programming real-time applications with SIGNAL, another look at real time programming, special section of Proc. Of the IEEE, 79(9): 1321–1336, Sept 1991.
ITU-T Recommendation Z.100-Specification and Description Language (SDL).
Scheduling in SDL simulation. Application to Future Air Navigation Systems F. Boutet, G. Rieux, Y. Lejeune, E. Choveau, 2nd Workshop on SDL and MSC, Grenoble, France June, 26-28 2000.
H. Kopetz and G. Grünsteidl. TTP A Protocol for Fault-Tolerant Real-Time Systems. COMPUTER, pages 14–23, January 1994.
Paul Caspi et Al. Formal design of distributed control systems with Lustre. In Proc Safecomp’Safecomp99, September 1999.
A Benveniste, B Caillaud, P Le Guernic, “From Synchrony to Asynchrony”, CONCUR’99, Concurrency Theory,10th Int Conf, Lecture notes in Computer Science, Vol 1664, pp162–177, Springer Aug 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Camus, JL., Le Sergent, T. (2001). Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems. In: Reed, R., Reed, J. (eds) SDL 2001: Meeting UML. SDL 2001. Lecture Notes in Computer Science, vol 2078. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48213-X_1
Download citation
DOI: https://doi.org/10.1007/3-540-48213-X_1
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42281-5
Online ISBN: 978-3-540-48213-0
eBook Packages: Springer Book Archive