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|
|Department:||Department of Distributed and Dependable Systems (32-KDSS)|
|Supervisor:||doc. 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.
| 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
 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
 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
 Matlab & Simulink documentation