Run-time evolution for embedded component-oriented systems

Vandewoude, Yves; Berbers, Yolande

doi:10.1109/icsm.2002.1167773

Cited by 18 publications

(14 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Dynamic software updating is also known as hot-swapping [6], on-line change [4], runtime-evolution [14], etc. Many updating approaches are proposed such as dynamic-linking [9] and hot-swapping [6], and tools are implemented [9], [15], [10], [16].…”

Section: Abstract View Of Dynamic Software Updatesmentioning

confidence: 99%

Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates

Zhang

Ogata

Futatsugi

2015

2015 Asia-Pacific Software Engineering Conference (APSEC)

View full text Add to dashboard Cite

Even though software systems in some domains are expected to provide continuous services, most of them must undergo some form of changes. It leads to the emergence of dynamic software updating, a technique for updating a running software system without incurring any downtime. One of the challenges of designing a correct dynamic update is to identify a set of update points where the update can be safely applied to a running system. In this paper, we present a formal approach to modeling dynamic software updates and use the formal model to identify safe update points. In our approach, we formalize dynamic updates as state machines, and verify by model checking a set of desired properties which the running system is expected to satisfy after being updated. If counterexamples are found, we exclude those states that cause the counterexamples, and do model checking again. The process is iterated until all desired properties are successfully verified. We then finally obtain a set of safe update points. A case study is also presented to demonstrate the feasibility of the proposed approach.

show abstract

Section: Abstract View Of Dynamic Software Updatesmentioning

confidence: 99%

Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates

Zhang

Ogata

Futatsugi

2015

2015 Asia-Pacific Software Engineering Conference (APSEC)

View full text Add to dashboard Cite

show abstract

“…To realize dynamic replacement, it must ensure the mission component to be replaced is in a quiescent state [4], that is, ensure that there is no call of this mission component and all calls about this mission component are over. Otherwise, it can bring unpredictable behavior result because the calls change the state of the component during the state transfer.…”

Section: Capturing Mechanism Of Quiescent Statementioning

confidence: 99%

Research on Mission Hot-Swapping and Dynamic Replacement Mechanism of Mission Component

Ye¹,

Wang²,

Liu³

2007

2007 International Conference on Computational Intelligence and Security Workshops (CISW 2007)

View full text Add to dashboard Cite

It's urgently necessary for many mission-critical systems with high availability to implement online updating, fault recovery and environmental adaptability of software. Therefore, the idea of mission hot-swapping is proposed, in which, related problems and key technologies of mission component's dynamic replacement is analyzed. A dynamic replacement mechanism of mission component based on interceptor and component container is put forward. The research results show that the dynamic replacement of mission component is feasible and the idea of mission hotswapping is correct.

show abstract

“…SEESCOA [24] supports dynamic reconfiguration and evolution of components in embedded systems by leveraging ports to reroute messages between components. However, the intent is not aimed at supporting P2P application interactions and protocol independence.…”

Section: Comparison With Related Workmentioning

confidence: 99%