The SmartArch research group is a part of the Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University in Prague, Czech Republic. SmartArch focuses on dynamic software architectures for modern smart systems. This comprises modern IoT system, smart cyber-physical systems (CPS), cloud, and edge-cloud systems.
We focus on state-of-the-art methods of model-driven development, requirements-oriented design, and component-based modeling and development. We specifically target large-scale software-intensive cyber-physical systems and aim at developing holistic, multi-paradigm, and well-integrated methods for modeling and developing such systems. Further, we focus on interconnection with cloud and especially edge-cloud and data processing that has soft real-time and other QoS requirements.
We build on our long standing experience with design and development of component models. Starting from the SOFA 2 component model, we collaborated on the ProCom component model for real-time embedded devices and capitalized the experience with these models in the novel component model DEECo, which was conceived within project ASCENS (FP7, FET) for modeling and development highly distributed and dynamically evolving decentralized smart cyber-physical systems. In DEECo, systems are modeled as ensembles of opportunistically cooperating autonomic components.
These results of the ASCENS project established a new branch of component models, so called ensemble-based component models. We have continued in this line with the design methods (namely the Invariant Refinement Method â IRM), many testbeds (robots, autonomous vehicles, adaptive edge- and ad-hoc cloud, coordination in rescue scenarios), and further models, domain-specific languages and frameworks for development of ensemble-based systems.
Results / Artifacts
- 6108669945 â Trait-based Coalition Formation Framework. A framework for logical design of cooperating agents.
- IVIS â A web-based framework for visualization of IoT data.
- 5086644941 â A component model targeting design of systems consisting of autonomous, self-aware, and adaptable components
- 212-456-2292 â A method and corresponding model that allow for requirements engineering and design of sCPS with a focus on dependability aspects
- Robotic playground - Simulator for DEECo-based systems of robot movement in a 2D space.
- Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems - A testbed for testing of of collaborative robot scenarios with realistic simulation of network delays.
- CDEECo - Component framework for development of DEECo-based smart CPS. Implementation in C++ for STM32F4 prototype boards.
- SOFA2 â Component framework employing hierarchically composed components and providing features like ADL-based design, behavior specification using behavior protocols, automatically generated connectors supporting seamless and transparent distribution of applications, and distributed runtime environment with dynamic update of components.
- SOFA-HI â SOFA High Integrity is a profile of the SOFA 2 project targeting embedded, safety and mission-critical domains.
Projects / Grants
International projects of applied research (publicly funded):
- From the cloud to the edge - smart IntegraTion and OPtimisation Technologies for highly efficient Image and VIdeo processing Systems (FitOptiVis), ECSEL, 2018 â 2020
- Aggregate Farming in the Cloud (AFarCloud), ECSEL, 2018 â 2020
- Trust 4.0: Dataflow-based Privacy and Trust Modelling and Analysis in Industry 4.0 Systems, bi-lateral projects between Czech Republic (TAÄR DELTA) and Germany (BMBF), 2018 â 2019
- Environmental Sensing To Act for a Better quality of Life: Smart Health (ESTABLISH), ITEA3/EUREKA project, 2017 â 2019
- Multi-Paradigm Modelling for Cyber-Physical Systems (COST IC 1404, supported by parallel national grant of Ministry of Education and Sports of the Czech Republic), 2015 â 2017
- Trans-European Research Training Network on Engineering and Provisioning of Service Based Cloud Applications (RELATE), FP7 Marie Curie Initial Training Network, 2011 â 2015
- Autonomic Service Component Ensembles (ASCENS), FP7 IP project, 2011 â 2015
- On-Board software reference architecture consolidation, European Space Agency tender, 2011 â 2014
Industrial research partners (research fully funded by the industrial partner):
- Deutsche Telekom, 2017 â 2018
- Volkswagen AG, 2012 â 2014
- ICSA 2018 Most Influential Paper Award for Sentilles S., Vulgarakis A., BureÅ¡ T., Carlson J., CrnkoviÄ I.: A Component Model for Control-Intensive Distributed Embedded Systems, In Proceedings of 11th International Symposium, CBSE 2008, Karlsruhe, Germany pp. 310-317, 2008
- Best Research Paper Award for BureÅ¡ T., Gerostathopoulos I., HnÄtynka P., Keznikl J., Kit M., PlÃ¡Å¡il F.: Gossiping Components for Cyber-Physical Systems, In Proceedings of the 8th European Conference on Software Architecture (ECSA 2014), Vienna, Austria. Springer, pp. 250-266., August 2014
- ACM Distinguished Paper Award for Keznikl J., BureÅ¡ T., PlÃ¡Å¡il F., Gerostathopoulos I., HnÄtynka 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., June 2013