Synchronous control of reconfiguration in fractal component-based systems

Bouhadiba, Tayeb; Sabah, Quentin; Delaval, Gwenaël; Rutten, Éric

doi:10.1145/2038642.2038690

Cited by 18 publications

(13 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We approach this problem under the angle of Discrete Event Systems (DES), involving properties on events observed during the execution, like requests of computing tasks or work overload, and a state space representing different configurations such as activity or assemblies of components. We build upon previous work on this topic where we explored the integration of reactive languages and tools for the design of controllers, including an application of Discrete Controller Synthesis (DCS) in a particular tool-supported approach using BZR [3,4]. We have recently defined and implemented Ctrl-F, a high-level language for the specification of reconfiguration behaviors in component-based systems [5].…”

Section: B Logico-numerical Control Of Components Reconfigurationsmentioning

confidence: 99%

See 1 more Smart Citation

Logico-numerical control for software components reconfiguration

Berthier

Alvaresd

Marchand

et al. 2017

2017 IEEE Conference on Control Technology and Applications (CCTA)

Self Cite

View full text Add to dashboard Cite

Section: B Logico-numerical Control Of Components Reconfigurationsmentioning

confidence: 99%

“…Heptagon/BZR [3,4] (BZR in the following) is a reactive data-flow language where programs are built as parallel and hierarchical compositions of data-flow nodes, each having input and output flows. The body of a node describes how input flows are transformed into output flows, in the form of a set of equations and/or automata.…”

Section: Dcs Through Heptagon/bzrmentioning

confidence: 99%

Logico-numerical control for software components reconfiguration

Berthier

Alvaresd

Marchand

et al. 2017

2017 IEEE Conference on Control Technology and Applications (CCTA)

Self Cite

View full text Add to dashboard Cite

“…We distinguish between such simple, short actions (instantaneous in the particular sense that they are completed within the execution of a step of the automaton) and long actions (asynchronous), as can be done classically with synchronous models [3]. Thus, when the automaton receives ml, it emits la and goes to S2 representing the processing of the action la.…”

Section: Behavior Of Managersmentioning

confidence: 99%

“…Therefore, in order to make this explicit in the local contract, to be used by upper-level contracts, we must link the values of ai (triggering of the action) and si (current state of the action). This is done by saying that, if the action was not active at the previous instant, i.e., that si was false (not (false fby si) 3 , and ai is not true at the current instant, then si will remain false. As before, c As illustrated in Figure 5(b), in the node ctrl-coordmgrs a DCS problem will be solved, by taking as control objective to be made invariant: Obj ∧ Objm, where Objm of this level of contract is defined as previously explained.…”

Section: Controllable Coordinated Managersmentioning

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

Self Cite

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

“…framework designed for investigating modular compilation. BZR has been used to generate system code in [Bouhadiba et al 2011].…”

Section: Qualitative Evaluationmentioning

confidence: 99%

Synchronous programming of device drivers for global resource control in embedded operating systems

2012

View full text Add to dashboard Cite

In embedded systems, controlling a shared resource like a bus, or improving a property like power consumption, may be hard to achieve when programming device drivers individually. In this paper, we propose a global resource control approach, based on a centralized view of the devices' states. The solution we propose operates on the hardware/software interface. It involves a simple adaptation of the application level, to communicate with the hardware via a control layer. The control layer itself is built from a set of simple automata: the device drivers, whose states correspond to functional or power consumption modes, and a controller to enforce global properties. All these automata are programmed using a synchronous language, and compiled into a single piece of C code. We take as example the node of a sensor network. We explain the approach in details, demonstrate its use and benefits with an event-driven or multithreading operating system, and draw guidelines for its use in other contexts.

show abstract

Synchronous control of reconfiguration in fractal component-based systems

Cited by 18 publications

References 11 publications

Logico-numerical control for software components reconfiguration

Logico-numerical control for software components reconfiguration

Modular coordination of multiple autonomic managers

Synchronous programming of device drivers for global resource control in embedded operating systems

Contact Info

Product

Resources

About