Reconfiguring Self-stabilizing Publish/Subscribe Systems

Jaeger, Michael A.; Mühl, Gero; Werner, M.; Parzyjegla, Helge

doi:10.1007/11907466_21

Cited by 7 publications

(4 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…AgentService, SimAgent [14], JACK [15]) or convenient Publish/Subscribe systems (e.g. [16], [17], [18]). With the presented framework as starting point we began an implementation and verification of the adaptive production cell.…”

Section: Discussionmentioning

confidence: 99%

Design and construction of organic computing systems

Seebach

Ortmeier

Reif

2007

2007 IEEE Congress on Evolutionary Computation

View full text Add to dashboard Cite

The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changing environments and to interact with one another if necessary. Such systems are called organic. Organic Computing systems are similar to Autonomic Computing systems. In addition Organic Computing systems often behave life-like and are inspired by nature/biological phenomena.Design and construction of such systems brings new challenges for the software engineering process. In this paper we present a framework for design, construction and analysis of Organic Computing systems. It can facilitate design and construction as well as it can be used to (semi-)formally define organic properties like self-configuration or self-adaptation. We illustrate the framework on a real-world case study from production automation.

show abstract

Section: Discussionmentioning

confidence: 99%

Design and construction of organic computing systems

Seebach

Ortmeier

Reif

2007

2007 IEEE Congress on Evolutionary Computation

View full text Add to dashboard Cite

show abstract

“…The concept of self-stabilization has been introduced by Dijkstra [1] and has been subject to further research in recent years [2,4,5,7]. A self-stabilizing system is guaranteed to return from any state (including undetectable invalid states) into a valid state in constant time.…”

Section: Self-stabilization Versus Fault Tolerancementioning

confidence: 99%

Self-stabilizing embedded systems

Weis

Wacker

2011

Proceedings of the 2011 Workshop on Organic Computing

View full text Add to dashboard Cite

The reliability of embedded systems is under constant pressure from miniaturization and cost savings. At some point miniaturized systems built into articles of daily use will show temporary hardware faults, induced for example by temperature changes, radiation of phones passing by, or simply mechanical stress. Thus, software can no longer safely assume that hardware offers fail-stop semantics. This paper shows how to build a self-stabilizing system that can recover from temporary hardware faults. Our approach is mainly carried out in software and requires only little hardware support. The goal is to deliver a low-cost system that can repair itself in constant time from a very wide range of faults.

show abstract

“…Recent research addresses the dynamic reconfiguration of Publish/Subscribe systems. However, the major issues which have been treated are about notification and (un)subscription loss as well as duplication during reconfiguration [15,16,17]. In addition, most of them [15,18,19,20] consider reconfiguration by repeatedly exchanging a single link in the network of dispatchers.…”

Section: Related Workmentioning

confidence: 99%

Consistent Reconfiguration for Publish/Subscribe Architecture Styles

Loulou

Kacem

Jmaïel

et al. 2007

Electronic Workshops in Computing

View full text Add to dashboard Cite

This paper addresses the dynamic aspect of Publish/Subscribe architectures. We propose an integrated formal approach for the specification and verification of reconfigurations over the topology of Publish/Subscribe architecture styles. We integrate a functional approach and a structural approach based on graph grammars. The purpose is to express dynamism while offering a simple specification which can be easy to read and to understand. We use the specification language Z to describe the constraints made on the architecture style and we describe the dynamic of architecture via guarded graph-rewriting rules whose guards mainly describe the pre-and post-conditions ensuring in this way the preservation of stylistic constraints. To ensure that the system is evolving correctly, we elaborate a verification process which validates each rule, whose semantic is described in Z notation, using the Z-EVES theorem prover.

show abstract

Reconfiguring Self-stabilizing Publish/Subscribe Systems

Cited by 7 publications

References 11 publications

Design and construction of organic computing systems

Design and construction of organic computing systems

Self-stabilizing embedded systems

Consistent Reconfiguration for Publish/Subscribe Architecture Styles

Contact Info

Product

Resources

About