|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (referee) ; Vranić,, Valentino (referee) ; Zendulka, Jaroslav (advisor)
Vývoj v informačním systému neustále zvyšuje nároky na účinnou, efektivní a adaptivní spolupráci mezi komponenty systému, aby se vyrovnal se změnami v systému a zaručil tak nejlepší výkon. K dosažení těchto požadavků byly zavedeny dva hlavní přístupy. Přístup k adaptaci umožňuje informačnímu systému přizpůsobit se změnám v kontextu informací systému a jeho okolního prostředí na základě adaptační strategie. Přístup ke zvyšování informovanosti zase napomáhá sledovat informace o kontextu a rozpoznat změny, které mohou proces adaptace vyvolat. V této práci představujeme obecný kontextově orientovaný model vlastní adaptivní architektury pro podporu softwarového systému s adaptačními funkcemi, které zaručují dostupnost systému, provozní podmínky a výkon. Navíc poskytujeme dvě případové studie v reálném životě jako důkaz konceptu použitelnosti našeho navrhovaného adaptačního přístupu.
|
|
|
Uncertainty-Aware Self-Adaptive Cyber-Physical Systems
Al Ali, Rima ; Bulej, Lubomír (advisor) ; Pelliccione, Patrizio (referee) ; Bühnová, Barbora (referee)
Cyber-physical systems (CPS) need to be designed to deal with various forms of uncertainty associated with data contributing to the system's knowledge of the environment. Dealing with uncertainty requires adopting an appropriate model, which then allows making the right decisions and carrying out the right actions (possibly affecting the environment) based on imperfect information. However, choosing and incorporating a suitable model into CPS design is difficult, because it requires identifying the kind of uncertainty at hand as well as knowledge of suitable models and their application to dealing with the uncertainty. While inspiration can be found in other CPS designs, the details of dealing with uncertainty in another CPS can be confounded by domain-specific terminology, context, and requirements. To make this aspect of CPS design less daunting, we aim at providing an overview of approaches dealing with uncertainty in the design of CPS targeting collective behavior. To this end, we present a systematic review of relevant scientific projects with industrial leadership and synthesis of relations between system features, the kinds of uncertainty, and methods used to deal with it. The results provide an overview of uncertainty across different domains and challenges and reason about a guide for...
|
|
|
Generic Decentralized Self-Adaptive Context-Aware Architecture Model
Kazzaz, M. Mohanned ; Zimmerová, Barbora (referee) ; Vranić,, Valentino (referee) ; Zendulka, Jaroslav (advisor)
Vývoj v informačním systému neustále zvyšuje nároky na účinnou, efektivní a adaptivní spolupráci mezi komponenty systému, aby se vyrovnal se změnami v systému a zaručil tak nejlepší výkon. K dosažení těchto požadavků byly zavedeny dva hlavní přístupy. Přístup k adaptaci umožňuje informačnímu systému přizpůsobit se změnám v kontextu informací systému a jeho okolního prostředí na základě adaptační strategie. Přístup ke zvyšování informovanosti zase napomáhá sledovat informace o kontextu a rozpoznat změny, které mohou proces adaptace vyvolat. V této práci představujeme obecný kontextově orientovaný model vlastní adaptivní architektury pro podporu softwarového systému s adaptačními funkcemi, které zaručují dostupnost systému, provozní podmínky a výkon. Navíc poskytujeme dvě případové studie v reálném životě jako důkaz konceptu použitelnosti našeho navrhovaného adaptačního přístupu.
|
|
|
Model-Driven Development of Software-Intensive Cyber-Physical Systems
Gerostathopoulos, Ilias ; Hnětynka, Petr (advisor) ; Seinturier, Lionel (referee) ; Crnkovic, Ivica (referee)
Software-Intensive Cyber-Physical Systems (siCPS) are modular, open-ended, networked, large-scale embedded Information and Communication Technology (ICT) systems that are increasingly depending on software. They need to be both dependable and flexible to adapt to changes in their dynamic environments. This combination poses challenges in their design and development, as traditional model-driven design and development techniques cannot account for both dependability and self-adaptivity. The thesis proposes (1) a new, model-based design process for siCPS, which comprises both appropriate methods and models and deals with dependability and self-adaptivity, and (2) a mapping of the design models to implementation-level abstractions, which allows for model-driven development and early experimentations in siCPS. Specifically, the thesis delivers (1) by introducing and elaborating on the Invariant Refinement Method (IRM), and its extension for self-adaptivity, for the design of siCPS based on the ensemble paradigm. IRM was integrated into the ensemble development life cycle, a methodology for the development of autonomic ensemble-based systems. Contributing to (2), the thesis provides a mapping of the IRM concepts to the concepts of the DEECo components model. The mapping is supported by prototype...
|
guest ::
