An adaptive distributed system based on conditional dependencies

Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also provide a time-varying adaptive set of functionalities. An adaptive system is defined by means of two main features: (i) an approach to specify t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002) S. 188 - 195
Hauptverfasser: Pirmez, L., Carmo, L.F.R.C., Correia, R.D.B., Correa, R.F., Gomes, R.L., de Bacellar, L.F.H.
Format: Tagungsbericht
Sprache:Englisch
Veröffentlicht: IEEE 2002
Schlagworte:
Adaptive control
Adaptive systems
Control systems
Distributed computing
Distributed processing
Multimedia systems
Programmable control
Real time systems
Silver
Time varying systems
ISBN:9780769515762, 0769515762
ISSN:1530-1443
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Distributed programming is applicable in a wide range of domains, such as control systems. These systems are subject to mutable environments and must also provide a time-varying adaptive set of functionalities. An adaptive system is defined by means of two main features: (i) an approach to specify the correspondence between objects and resources, and (ii) the related mechanisms to dynamically assure that the correct set of objects is running. The conditional dependency concept has proven to be an efficient way to specify this kind of correspondence between resources and objects for adaptive systems in the context of multimedia distributed processing (in the ServiMidia Project). This paper presents a framework for designing general-purpose adaptive systems anchored on the concept of conditional dependencies. As the use of such an approach may lead to inconsistent system behaviour when specifying very large systems, we show that it is easy to design verification tools based on the same framework mechanisms.
ISBN:9780769515762
0769515762
ISSN:1530-1443
DOI:10.1109/WORDS.2002.1000052