2016
DOI: 10.1007/s00165-015-0346-y
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: Abstract. 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 contro… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
2
1

Citation Types

0
5
0

Year Published

2017
2017
2021
2021

Publication Types

Select...
3
2
1

Relationship

1
5

Authors

Journals

citations
Cited by 6 publications
(5 citation statements)
references
References 24 publications
0
5
0
Order By: Relevance
“…Synthesis has also been used at development time to produce glue code, adapters and mediators (e.g., [6,44,50,73]). Its use at runtime has also been explored to support structural reconfiguration of systems (e.g., [4,56,82,83]).…”
Section: Unexpected Search and Rescuementioning
confidence: 99%
See 1 more Smart Citation
“…Synthesis has also been used at development time to produce glue code, adapters and mediators (e.g., [6,44,50,73]). Its use at runtime has also been explored to support structural reconfiguration of systems (e.g., [4,56,82,83]).…”
Section: Unexpected Search and Rescuementioning
confidence: 99%
“…The need for supporting arbitrary specification changes and update requirements that constrain the transition between specifications has been subject of more recent studies (e.g., [47,77,96]). Although they focus on specification and verification of update strategies, more recently work focuses on automated synthesis of update plans (e.g., [11,56,69,71,86]).…”
Section: Unexpected Search and Rescuementioning
confidence: 99%
“…Formal proof was also used to provide evidence for properties of automatically synthesised controllers, e.g. the completeness and soundness of synthesised behavioral models that satisfy an expressive subset of liveness properties [40] and correctness and deadlock free adaptations performed by automatically synthesised controllers [70]. Finally, formal proof was used to demonstrate the correctness of adaptation effects, e.g.…”
Section: Related Workmentioning
confidence: 99%
“…When a system needs to adapt because its goals may be jeopardized, several adaptations might be triggered [7], [9], [19], [27] and the system should choose and enforce one of the triggered adaptations to achieve its goals according to the business policies and preferences [12]. In addition, an adaptation can consist of several steps that are often not performed at once and the system may go through several transient configurations until it reaches the final configuration [10], [17], [18]. Consequently security has to be taken into account both during and in the resulting configuration of the adaptation process to be able to ensure a secure adaptation.…”
Section: Introductionmentioning
confidence: 99%