Loading...
Please wait, while we are loading the content...
Similar Documents
Refinement Checking of Self-Adaptive Embedded Component Architectures
| Content Provider | Semantic Scholar |
|---|---|
| Author | Heinzemann, Christian Henkler, Stefan |
| Copyright Year | 2010 |
| Abstract | Software is increasingly used in embedded systems which have to support self* properties like self-adaptation, -management or optimization. These systems enhance their functionality and improve their performance by building networks of embedded components which exploit local and global knowledge. Such systems include complex coordination protocols which require execution in real-time and reconfiguration of the software structure at runtime to adjust their behavior to the changing system goals leading to selfadaptation. Due to the complex nature of networked embedded systems and their usually safety-critical and hard real-time operations, e. g. lives may be at risks in case of failure, model-driven development of the software has become the means to construct reliable software. The key enabler for a consistent model-driven development approach is refinement. Refinement facilitates to preserve properties of abstract models in more concrete models. Despite the increased significance of self* properties in the last years, surprisingly there is a lack in support of refinement techniques being integrated in a model-driven development approach. We present a modeling approach, called Timed Story Charts, which defines a common formalism for real-time behavior and reconfigurations of the software structure to address the challenge of modeling the behavior self-adaptive embedded component architectures. Based on this common formalism and a well defined internal component architecture, we introduce a refinement definition and -check which preserves safety and bounded liveness properties as well as selfadaptation in form of runtime reconfigurations. |
| File Format | PDF HTM / HTML |
| Alternate Webpage(s) | https://web.cs.upb.de/archive/fujaba/uploads/tx_sibibtex/HHH10.pdf |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
