skip to main content
Idioma:

Synthesizing structural and behavioral control for reconfigurations in component-based systems

Khakpour, Narges ; Arbab, Farhad ; Rutten, Eric

Formal aspects of computing, 2016-03, Vol.28 (1), p.21-43 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

Citações Citado por
  • Título:
    Synthesizing structural and behavioral control for reconfigurations in component-based systems
  • Autor: Khakpour, Narges ; Arbab, Farhad ; Rutten, Eric
  • Assuntos: Adaptation ; Computer Science ; Control systems ; Controllers ; Datavetenskap ; Distributed, Parallel, and Cluster Computing ; Dynamical systems ; Dynamics ; Graphs ; Math Applications in Computer Science ; Original Article ; Reconfiguration ; Servers ; Software Engineering ; Theory of Computation
  • É parte de: Formal aspects of computing, 2016-03, Vol.28 (1), p.21-43
  • Notas: ObjectType-Article-1
    SourceType-Scholarly Journals-1
    ObjectType-Feature-2
    content type line 23
  • Descrição: Correctness of the behavior of an adaptive system during dynamic adaptation is an important challenge to realize correct adaptive systems. Dynamic adaptation refers to changes to both the functionality of the computational entities that comprise a composite system, as well as the structure of their interconnections, in response to variations in the environment, e.g., the load of requests on a server system. In this research, we view the problem of correct structural adaptation as a supervisory control problem and synthesize a reconfiguration controller that guides the behavior of a system during adaptation. The reconfiguration controller observes the system behavior during an adaptation and controls the system behavior by allowing/disallowing actions in a way to ensure that a given property is satisfied and a deadlock is avoided. The system during adaptation is modeled using a graph transition system and properties to be enforced are specified using a graph automaton. We adapt a classical theory of supervisory control for synthesizing a controller for controlling the behavior of a system modeled using graph transition systems. This theory is used to synthesize a controller that can impose both behavioral and structural constraints on the system during an adaptation. We apply a tool that we have implemented to support our approach on a case study involving https servers.
  • Editor: London: Springer London
  • Idioma: Inglês
Links
Voltar para lista de resultados
Resultado  1 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.