Synchronous Modelling of Asynchronous Systems

Halbwachs, Nicolas; Baghdadi, Siwar

doi:10.1007/3-540-45828-x_18

Cited by 25 publications

(23 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…We adopt the approach of synchronous languages [11], because we then have access to the control tools used further. The synchronous paradigm refer to the automata parallel composition that we use in these languages, allowing for clear formal semantics, while supporting modelling asynchronous computations [12]: actions can be asynchronously started, and their completion is waited for, without blocking other activity continuing in parallel. The Heptagon/BZR language [8] supports programming of mixed synchronous data-flow equations and automata, called Mode Automata, with parallel and hierarchical composition.…”

Section: Reactive Languages and Mode Automatamentioning

confidence: 99%

Modular coordination of multiple autonomic managers

Delaval

Gueye

Rutten

et al. 2014

Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering

View full text Add to dashboard Cite

Complex computing systems are increasingly self-adaptive, with an autonomic computing approach for their administration. Real systems require the co-existence of multiple autonomic management loops, each complex to design. However their uncoordinated co-existence leads to performance degradation and possibly to inconsistency. There is a need for methodological supports facilitating the coordination of multiple autonomic managers. In this paper we propose a method focusing on the discrete control of the interactions of managers. We follow a component-based approach and explore modular discrete control, allowing to break down the combinatorial complexity inherent to the state-space exploration technique. This improves scalability of the approach and allows constructing a hierarchical control. It also allows re-using complex managers in different contexts without modifying their control specifications. We build a component-based coordination of managers, with introspection, adaptivity and reconfiguration. We validate our method on a multiple-loop multi-tier system.

show abstract

Section: Reactive Languages and Mode Automatamentioning

confidence: 99%

Modular coordination of multiple autonomic managers

Delaval

Gueye

Rutten

et al. 2014

Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering

View full text Add to dashboard Cite

show abstract

“…Finally, we are also using LUSTRE for modelling, simulating, and verifying non synchronous systems: For instance, so called "globally asynchronous, locally synchronous" systems (GALS) can be modelled [HB02] by introducing controlled non-determinism through the use of additional inputs (oracles), possibly restricted by assertions. Some experiences are driven also concerning the simulation of circuits descriptions at transaction level in SystemC.…”

Section: Unexpected Features and Needsmentioning

confidence: 99%

A Synchronous Language at Work: The Story of Lustre

Gnesi¹,

Margaria²

2012

Formal Methods for Industrial Critical Systems

Self Cite

View full text Add to dashboard Cite

“…For example, in [HB02] and [HM06], the authors show that synchronous Mealy machines can model asynchronous behaviour by introducing stuttering through sporadic activation and nondeterminism through additional arbitrary inputs (also called oracles).…”

Section: Relating Synchrony and Asynchronymentioning

confidence: 99%

On the Compositionality of Round Abstraction

Ghica

Menaa

2010

CONCUR 2010 - Concurrency Theory

View full text Add to dashboard Cite

Game Semantics is an approach to denotational semantics that has been successful in providing accurate, fully abstract models for various programming languages. It has thereafter been applied, amongst other things, to model checking, access control analysis, information flow analysis, and recently, hardware synthesis.While the roots of modern Game Semantics are sequential, several game models of asynchronous concurrency have since been devised. However, synchronous concurrency has not been considered hitherto.This thesis studies synchronous concurrency in game-like models. The central idea is to investigate deriving such synchronous models from their asynchronous counterparts using round abstraction-a technique that allows aggregating a sequence of computational steps to form a larger, more abstract macro-step.We define round abstraction within a trace-semantic setting that generalises game semantic models. We note that, in general, round abstraction is not compositional. We then identify sufficient conditions to guarantee correct composition, thereby proposing a framework for round abstraction that is sound when applied to synchronous and asynchronous behaviours.

show abstract

Synchronous Modelling of Asynchronous Systems

Cited by 25 publications

References 10 publications

Modular coordination of multiple autonomic managers

Modular coordination of multiple autonomic managers

A Synchronous Language at Work: The Story of Lustre

On the Compositionality of Round Abstraction

Contact Info

Product

Resources

About