Formal specification of services
The future work planed includes getting through existing formal specification of distributed and adaptive services to identify challenges and concrete research questions. The work will be developed based on formal specification of services in the model of DEECo. It will also define algorithms for service verifications and predictions. The main concern of those algorithms will be measuring the performance and resource usage of DEECo-based applications. That is to say, there are some delays in the system which will cause various freshness and corresponding accuracy of the data. Those delays are result of non immediate computation of component processes and knowledge transfer. Hence, this work will cover the impact of caused delays in the system. Moreover, it will introduce a prototype of the defined algorithms. Finally, to demonstrate those services as distributed autonomous services, it will be applied in the cloud case-study.
Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo: an Ecosystem for Cyber-Physical Systems. In Companion proceedings of the 36th International Conference on Software Engineering (ICSE 2014), Hyderabad, India, ACM, poster and extended abstract, June 2014, pp. 610-611, LINK
Al Ali R., Bureš T., Gerostathopoulos I., Keznikl J., Kit M., Plášil F.: Architecture Adaptation Based on Belief Inaccuracy Estimation. In Proceedings 2014 IEEE/IFIP Conference on Software Architecture (WICSA 2014), April 7-11, Sydney, Australia, 2014, p.87-90, LINK
Al Ali R., Gerostathopoulos I., Gonzalez-Herrera I., Juan-Verdejo A., Kit M., Surajbali B.: An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments. In Proceedings of International Workshop on Hot Topics in Cloud service Scalability (ICPE ’14), March 20, Dublin, Ireland, 2014, PDF
Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., and Plášil F.: DEECo computational model – I. Technical Report no. D3S-TR-2013-01. D3S, Charles University in Prague, 2013, PDF
Bureš T., Gerostathopoulos I., Al Ali R. DEECo: Software Engineering for Smart CPS, In ERCIM news Special theme: Cyber-Physical Systems, April 2014, LINK