Home
People
Research
Seminar
Software
Publications
For Students
Links
Contact
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
[Link]
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
[Link]
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
[Link]
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
[Link]
Bureš T., Horký V., Kit M., Marek L., Tůma P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles,
in Proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, Springer, October 2014
[Link]
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
[Link]
Keznikl J., Bureš T., Plášil F., Gerostathopoulos I., Hnětynka P., Nicklas Hoch: Design of Ensemble-Based Component Systems by Invariant Refinement,
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.1 | zip |
| jDEECo version 2.0 | zip |
| jDEECo version 2.1 | zip |
| jDEECo version 3.0 | zip |
Following is the snapshot of the jDEECo-MATSim integration.
| Simulation jDEECo package + MATSim libraries | zip |
Following is the snapshot of the jDEECo-OMNet integration.
| Simulation jDEECo package + OMNeT++ libraries | zip |
Following is the snapshot of the CDEECo implementation.
| CDEECo version 1.0 | zip |
Contact
All your questions, opinions, and comments are welcome. For proposing improvements and reporting bugs, please use the issues tool on github
