Thesis (Selection of subject)Thesis (Selection of subject)(version: 308)
Assignment details
Simulink-based DEECo Prototyping
Thesis title in Czech: Simulink-based DEECo Prototyping
Thesis title in English: Simulink-based DEECo Prototyping
Academic year of topic announcement: 2014/2015
Type of assignment: diploma thesis
Thesis language: angličtina
Department: Department of Distributed and Dependable Systems (32-KDSS)
Supervisor: prof. RNDr. Tomáš Bureš, Ph.D.
Author: hidden - assigned and confirmed by the Study Dept.
Date of registration: 04.09.2015
Date of assignment: 04.09.2015
Confirmed by Study dept. on: 10.09.2015
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.
[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
Charles University | Information system of Charles University |