Forma Design of Distributed Control Systems with Lustre

Caspi, Paul; Mazuet, Christine; Salem, Rym; Weber, Daniel

doi:10.1007/3-540-48249-0_34

Cited by 21 publications

(17 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This in turn shows that classes of distributed systems such as quasi synchronous systems [5] can be effectively specified, implemented and verified in this framework.…”

Section: Introductionmentioning

confidence: 86%

“….. (8) The above condition is exactly the condition used in [5] for the distributed set of processes called quasi synchronous processes. These are periodic processes asynchronously interacting with each other .…”

Section: (2a)mentioning

confidence: 99%

“…In section 3, we illustrated the specification of quasi synchronous systems [5] in Multiclock ESTEREL and showed how such an analysis can be augmented for buffer requirements with the given underlying architectural constraints; in fact, such an analysis can be augmented with the analysis relative to various communication mechanisms as discussed in [13]. In section 4, we illustrated CRP [4] as an instance of Multiclock ESTEREL.…”

Section: Concl Usionsmentioning

confidence: 99%

“…Using these illustrations, it is possible [11] to effectively use Multiclock Es-TEREL for the specification, design and implementation of time-triggered architectures [7] that are widely used for distributed embedded systems including web-based interactions. The study of the relationship of Multiclock ESTEREL with other clocked frameworks such as Lustre-scade [5], Mode automata [6] with the view of designing distributed systems is in progress.…”

Section: Concl Usionsmentioning

confidence: 99%

See 3 more Smart Citations

Modeling Distributed Embedded Systems In Multiclock Esterel

Rajan¹,

Shyamasundar

2000

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

In this paper, we show that the paradigm of Multiclock EsTEREL can be effectively used for the design of asynchronously communicating distributed systems. First we show that the protocol used in MulticlockEsTEREL for the modeling of VHDL can be used for the design of asynchronous interaction of processes, and an analysis can be made relative to speed or periodicity of the underlying processes for a safe implementation without missing any signals. The analysis also shows that one can arrive at a tradeoff between the periodicity and the buffer requirements on the average over a sequence of periods. Then, we illustrate the modeling of communicating reactive processes (which is essentially a network of EsTEREL nodes communicating via the rendezvous mechanism) as an instance of Multiclock EsTEREL.

show abstract

“…This in turn shows that classes of distributed systems such as quasi synchronous systems [5] can be effectively specified, implemented and verified in this framework.…”

Section: Introductionmentioning

confidence: 86%

Section: (2a)mentioning

confidence: 99%

Section: Concl Usionsmentioning

confidence: 99%

Section: Concl Usionsmentioning

confidence: 99%

See 2 more Smart Citations

Modeling Distributed Embedded Systems In Multiclock Esterel

Rajan¹,

Shyamasundar

2000

IFIP Advances in Information and Communication Technology

View full text Add to dashboard Cite

show abstract

“…A first solution was proposed in Alain Girault's thesis [CGP99], which consists of (1) replicating the whole sequential code for each site, (2) slicing the code on each site according to the variables to be computed locally, and (3) adding communication and synchronization code, assuming a very simple communication mechanism (fixed size FIFOs). Another solution, inspired by control theory and industrial uses, was proposed in Rym Salem's thesis [CMSW99]: this proposal does not pretend to implement exactly the synchronous semantics of the centralized program, but takes advantage of the remaining non-determinism at the interface between synchronous and asynchronous worlds (mainly asynchronous input sampling). More recently, the problem of really multicycle programs was addressed: through the mechanism of clocks, LUSTRE allows variables to evolve at different rates; however, even if a variable is "slow", its computation must take place in the same "short" cycle than other variables.…”

Section: Distributed Code Generation Dynamic Schedulingmentioning

confidence: 99%

A Synchronous Language at Work: The Story of Lustre

Gnesi¹,

Margaria²

2012

Formal Methods for Industrial Critical Systems

View full text Add to dashboard Cite

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach

Caspi

Mazuet

Paligot

2001

Computer Safety, Reliability and Security

Self Cite

View full text Add to dashboard Cite

Abstract. The European project Crisys " aims at improving and formalizing the actual methods, techniques and tools used in the industries concerned with process control, in order to support a global system approach when developing Distributed Control System. This paper focuses on the main result of the Crisys project: the quasi-synchronous approach which is based on the synchronous language Lustre-Scade. The quasi-synchronous methodology provides (1) a complete framework consistent with usual engineering practices for both programming, simulating, testing a distributed system and (2) a robustness properties checker so as to ensure the behavior preservation during the distributed implementation. Both elements are based on a solid theoretical basis.

show abstract

Forma Design of Distributed Control Systems with Lustre

Cited by 21 publications

References 9 publications

Modeling Distributed Embedded Systems In Multiclock Esterel

Modeling Distributed Embedded Systems In Multiclock Esterel

A Synchronous Language at Work: The Story of Lustre

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach

Contact Info

Product

Resources

About