Name
Abstract | ||
|---|---|---|
Adaptive systems are systems capable of adapting their behaviour to changes in their environment. Creating such systems is not an easy task, however. Especially, creating such a system as one monolithic software component taking all eventualities and environments into account bears the risk of bad system design. To circumvent this risk, an adaptive system can be composed from partial solutions handling only a subset of all possible circumstances and environments. Then, the system can be changed through reconfigurations as the environment evolves. In this paper, we propose an approach for the verification of systems using reconfiguration as means of adaptation. For the specification of such systems and their components we introduce reMitl which is based on Metric Interval Temporal Logic Mitl and allows to express connectivity of components. Based on an example from the domain of pervasive computing, we show how a system undergoing reconfigurations can be verified to satisfy a global assume-guarantee contract expressed as a pair of reMitl formulas. |
Year | DOI | Venue |
|---|---|---|
2011 | 10.1016/j.jlap.2010.09.001 | The Journal of Logic and Algebraic Programming |
Keywords | Field | DocType |
Component-based software engineering,Reconfiguration,Assume–guarantee contracts,Real-time temporal logic,Pervasive computing | Metric interval temporal logic,Adaptive system,Computer science,Systems design,Theoretical computer science,Ubiquitous computing,Component-based software engineering,Control reconfiguration,Distributed computing | Journal |
Volume | Issue | ISSN |
80 | 3 | 1567-8326 |
Citations | PageRank | References |
3 | 0.37 | 19 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Andreas Schroeder | 1 | 268 | 14.36 |
| Sebastian S. Bauer | 2 | 200 | 11.05 |
| Martin Wirsing | 3 | 2158 | 267.89 |