ASCENS Logo

Dependable Ensembles of Emerging Components (DEECo)

In scope of the ASCENS project have developed the DEECo component model (stands for Dependable Emergent Ensembles of Components) targeting design of systems consisting of autonomous, self-aware, and adaptable components. The components, implicitly organized in groups called ensembles, live in a very dynamic environment where a component can enter/exit an ensemble at any time. The goal of DEECo is to support development of applications in such a dynamic environment.

An overview of the basic DEECo concepts can be found in the JDEECo Wiki.

Implementation

As for implementation, we work on a prototype in Java (JDEECo). All the necessary information can be found at https://github.com/d3scomp/JDEECo.

Specifically, you can find there installation instructions, examples, and source code.

Essentials Pack

It contains all the necessary libraries for building and running jDEECo applications as well as Ant scripts for convenient run. It can be downloaded here.

Simulations

The simulation-based experiments, submitted at ECSA2014, are available here.

Projects

Architecture Adaptation Based on Belief Inaccuracy Estimation

This sub-project focuses on runtime estimation of component belief inaccuracy by employing models governing knowledge evolution. As a proof of the concept, we have implemented a Cooperative Adaptive Cruise Control system (CACC). The jDEEco implementation of CACC, based on a Simulink model, is available at https://github.com/d3scomp/ACC_Belief_Boundaries_Demo.

DEECo C++ Framework for Real-Time Embedded Systems

A C++ implementation of the DEECo component framework for resource-constrained embedded systems with strict real-time requirements. It allow deployment of DEECo systems to a real-life hardware. Download

Network Delays-Aware Simulator of Smart Cyber-Physical Systems

A simulator of influence of network packet loses and delays on behavior of smart cyber-physical systems developed for the DEECo platform. Download

MATSim-JDEECo Simulation Framework

A software for simulation of smart cyber-physical systems in a transportation (cars) environment. It was developed for a project with Volkswagen AG. Download

Demonstrators

Convoy Tutorial

A jDEECo tutorial featuring a simple convoy example can be found as a separate project at https://github.com/d3scomp/JDEECo-Convoy-Tutorial.

Migration in Cloud

This demonstrator focuses on a scenario, where autonomous servers in a colaborative cloud platform conditionally interact in order to colaboratively ballance their load. Source code can be found at https://github.com/d3scomp/JDEECo

Firefighter Tactical Decision System

This demonstrator focuses on the Firefighter Tactical Decision System case study. An implementation of the Firefighters scenario can be found at http://github.com/d3scomp/IRM-SA.

Publications

[PDF] Masrur A., Kit M., Bureš T., Hardt W.: Towards Component-Based Design of Safety-Critical Cyber-Physical Applications,
Accepted for publication in Proceedings of the 17th Euromicro Conference on Digital Systems Design (DSD 2014), Verona, Italy, August 2014

[PDF] Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Gossiping Components for Cyber-Physical Systems,
Accepted for publication in Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria, Springer, August 2014

[Link] Bureš T., Gerostathopoulos I., Al Ali R.: DEECo: Software Engineering for Smart CPS,
In ERCIM news Special theme: Cyber-Physical Systems, April 2014

[PDF] Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
Accepted for presentation at the CPSData Workshop: Big Data Technologies for the Analysis and Control of complex Cyber-Physical Systems, September 2014

[PDF] Al Ali R., Bureš T., Gerostathopoulos I., Keznikl J., Plášil F.: Architecture Adaptation Based on Belief Inaccuracy Estimation,
In Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture (WICSA 2014), Sydney, Australia, IEEE CS, April 2014

[PDF] Bureš T., Horký V., Kit M., Marek L., Tůma P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles,
Accepted for publication in Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, Springer, October 2014

[PDF] 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

[Link] Keznikl J., Bureš T., Plášil F., Kit M.: Towards Dependable Emergent Ensembles of Components: The DEECo Component Model,
Proceedings of WICSA/ECSA 2012, Helsinki, Finland, pp. 249-252, IEEE CS, ISBN 978-0-7695-4827-2, DOI 10.1109/WICSA-ECSA.212.39, August 2012

[PDF] Keznikl J., Bureš T., Plášil F., Gerostathopoulos I., Hnětynka P., Nicklas Hoch: Design of Ensemble-Based Component Systems by Invariant Refinement,
Accepted for publication in Proceedings of CBSE 2013, Vancouver, Canada, June 2013

[Link] Bulej L., Bureš T., Horký V., Keznikl J.: Adaptive Deployment in Ad-Hoc Systems Using Emergent Component Ensembles: Vision Paper,
In proceedings of the 4th ACM/SPEC International Conference on Performance Engineering (ICPE 2013), Prague, Czech Republic, ACM, ISBN: 978-1-4503-1636-1, pp. 343-346, April 2013

Downloads

The most current state of the source code can be found at https://github.com/d3scomp/JDEECo

Following are the snapshots of the jDEECo versions.

jDEECo version 1.1zip
jDEECo version 2.0zip
jDEECo version 2.1zip
jDEECo version 3.0zip

Following is the snapshot of the jDEECo-MATSim integration.

Simulation jDEECo package + MATSim librarieszip

Following is the snapshot of the jDEECo-OMNet integration.

Simulation jDEECo package + OMNeT++ librarieszip

Following is the snapshot of the CDEECo implementation.

CDEECo version 1.0zip

Contact

All your questions, opinions, and comments are welcome. For proposing improvements and reporting bugs, please use the issues tool on github

Current progress and details are also discussed on the D3S Component Group blog.

Jaroslav Keznikl keznikl@d3s.mff.cuni.cz
Rima Al Ali alali@d3s.mff.cuni.cz
Michal Kit kit@d3s.mff.cuni.cz
Tomáš Bureš bures@d3s.mff.cuni.cz
Petr Hnětynka hnetynka@d3s.mff.cuni.cz
Ilias Gerostathopoulos iliasg@d3s.mff.cuni.cz
František Plášil plasil@d3s.mff.cuni.cz
Logo of Faculty of Mathematics and Physics
  • Phone: +420 951 554 267, +420 951 554 236
  • Email: info<at-sign>d3s.mff.cuni.cz
  •  
  • How to find us?
Modified on 2016-03-01