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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Proceedings of the Seventh IEEE International Workshop on Object-Oriented Real-Time Dependable Systems. (WORDS 2002) s. 188 - 195
Hlavní autoři: Pirmez, L., Carmo, L.F.R.C., Correia, R.D.B., Correa, R.F., Gomes, R.L., de Bacellar, L.F.H.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 2002
Témata:
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
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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