Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems

Authors:
Jean-Louis Camus;Thierry Le Sergent
Affiliations:
-;-
Venue:
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Year:
2001

Citing 4
Cited 0

The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
TTP-A Protocol for Fault-Tolerant Real-Time Systems

Computer
Modeling Reactive Systems with Statecharts: The Statemate Approach

Modeling Reactive Systems with Statecharts: The Statemate Approach
From Synchrony to Asynchrony

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Quantified Score

Hi-index	0.00

Visualization

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.