Simulink-based DEECo Prototyping
Název práce v češtině: | Simulink-based DEECo Prototyping |
---|---|
Název v anglickém jazyce: | Simulink-based DEECo Prototyping |
Akademický rok vypsání: | 2014/2015 |
Typ práce: | diplomová práce |
Jazyk práce: | angličtina |
Ústav: | Katedra distribuovaných a spolehlivých systémů (32-KDSS) |
Vedoucí / školitel: | prof. RNDr. Tomáš Bureš, Ph.D. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 04.09.2015 |
Datum zadání: | 04.09.2015 |
Datum potvrzení stud. oddělením: | 10.09.2015 |
Zásady pro vypracování |
DEECo (Dependable Emergent Ensembles of Components) is a component model featuring autonomous components and their dynamic cooperation groups (so-called ensembles). The communication between components happens by sharing their knowledge within ensembles as defined by the application architecture and the computational semantics of DEECo.
The experiments with existing DEECo implementation in Java (jDEECo) have shown that the design of DEECo applications (especially the early prototyping) is a complex and challenging process as it combines architecture design with control and real-time aspects. The primary goal of the thesis is to explore options of modeling DEECo applications in Simulink (a tool for simulating dynamic systems and offering rapid prototyping of control). Since Simulink inherently does not support dynamic and evolving architectures, the thesis is supposed to provide (a) a methodology and set of concepts (embodied in Simulink blocks) that will allow modeling of DEECo application (and systems with highly dynamic architectures in general), (b) an implementation of the Simulink blocks, bundled in a Simulink library, that support the methodology, and (c) validate the approach on a selected use-case. |
Seznam odborné literatury |
[1] Gerostathopoulos I., Bures T., Hnetynka P: Position Paper: Towards a Requirements-Driven Design of Ensemble-Based Component Systems: In Proceedings of International Workshop on Hot Topics in Cloud Services, ICPE '13, Prague, Czech Republic. ACM, pp. 79-86, April 2013
[2] Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System, In Proceedings of CBSE 2013, Vancouver, Canada, June 2013 [3] Keznikl J., Bures T., Plasil F., Gerosthatopoulos I., Hnetynka P., Hoch N.:Design of Ensemble-Based Component Systems by Invariant Refinement, In Proceedings of 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2013), Vancouver, Canada. ACM, pp. 91-100. ACM Distinguished Paper Award, June 2013 [4] Matlab & Simulink documentation http://www.mathworks.com/help/simulink/index.html |