The Sigali Tool Box Environment

Besnard, Loïc; Marchand, Hervé; Rutten, Éric

doi:10.1109/wodes.2006.382518

Cited by 8 publications

(10 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…With some controllable transitions in the automata, Discrete Controller Synthesis (DCS) tools [6] can compute a controller that restrains the set of reachable states (i.e., all possible behaviours) to those satisfying a control objective (e.g., a coordination policy).…”

Section: Synchronous Programming and Discrete Controller Synthesismentioning

confidence: 99%

“…pilation involves discrete controller synthesis [6]. DCS can be described as a formal operation on automata [9]: given an automaton representing all possible behaviours of a system, its variables are partitioned into controllable and uncontrollable variables.…”

Section: Contracts and Control In Bzrmentioning

confidence: 99%

“…Formalisms and algorithms are related to model-checking techniques for state space exploration. They are described elsewhere by [6] and [10].…”

Section: Contracts and Control In Bzrmentioning

confidence: 99%

See 2 more Smart Citations

Discrete control for ensuring consistency between multiple autonomic managers

Gueye¹,

Palma²,

Rutten

et al. 2013

J Cloud Comp

Self Cite

View full text Add to dashboard Cite

The increasing complexity of computer systems has led to the automation of administration functions, in the form of autonomic managers. Today many autonomic managers are available but they mostly address a specific administration aspect which makes necessary their coexistence for a complete autonomic system management. However, coordinating them is necessary for proper and effective global administration. Such coordination can be considered as a problem of synchronization and logical control of managers actions. We therefore investigate the use of reactive models with events and states, and discrete control techniques to solve this problem. This paper presents an application of the latter approach for coordinating autonomic managers addressing resource optimization, in the perspective of green computing. The managers control server provisioning (self-sizing manager) and CPU frequency (Dvfs manager), and the coordination controller controls the managers actions so as to avoid incoherent management decisions. The coordination controller is designed using synchronous programming and Discrete controller synthesis (DCS) which are well-suited for the design of reactive systems. Experimental results are presented to evaluate the efficacy of the approach.

show abstract

Section: Synchronous Programming and Discrete Controller Synthesismentioning

confidence: 99%

Section: Contracts and Control In Bzrmentioning

confidence: 99%

See 1 more Smart Citation

Discrete control for ensuring consistency between multiple autonomic managers

Gueye¹,

Palma²,

Rutten

et al. 2013

J Cloud Comp

Self Cite

View full text Add to dashboard Cite

show abstract

“…Therefore, a wide spectrum of properties, such as liveness, invariance, reachability and attractivity, can be checked. Algorithms for the computation of predicates on states are also available [27] [23]. SIGALI is connected with the Polychrony environment (ESPRESSO project-team) as well as the Matou environment (VERIMAG), thus allowing the modeling of reactive systems by means of Signal Specification or Mode Automata and the visualization of the synthesized controller by an interactive simulation of the controlled system.…”

Section: Sigalimentioning

confidence: 99%

Embedded and Real-time Systems

Lamie¹

2009

Real-Time Embedded Multithreading Using ThreadX and MIPS

View full text Add to dashboard Cite

show abstract

“…In spite of Statecharts [14], Argos [23] and SyncCharts [2], etc., we are concentrated in Mode-automata, which we can find in Matou [24], Lucid synchrone and Signal etc. Both Lustre and Signal provide model-checking tools, which are called Lesar [32] and Sigali [4] respectively. Another interesting technology is the controller synthesis [25,26].…”

Section: Inriamentioning

confidence: 99%