Smart Cyber-Physical Systems and IoT

Smart Cyber-Physical Systems (sCPS) are complex distributed decentralized systems of cooperating components. IoT is commonly seen as a subset of sCPS; while IoT focuses on a connectivity among globally distributed smart objects that are uniquely addressable, for sCPS this connectivity is just one aspect of the overall smart society landscape where sCPS also comprise issues of interaction with the physical environment, self-management, self-awareness, humans-in-the-loop, and other aspects. 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.

In particular, we are targeting following areas and topics:

  • models and techniques for runtime self-adaptivity and self-awareness of sCPS
  • methods and tools for network-precise simulations of large-scale deployment of sCPS
  • communication models for opportunistic knowledge sharing in networks with limited connectivity
  • supporting complete development life-cycle of sCPS (requirements engineering, development, testing, verification, deployment)
  • runtime platforms for analysis and experiments with sCPS
  • combination of sCPS and cloud computing (CC) into cyber-physical cloud-computing systems (CPCC)

Software projects — platforms and tools

Our research in the area of sCPS and IoT primarily takes place in the scope of software projects. A list of them is below.

Tool Description
DEECo A component model targeting design of systems consisting of autonomous, self-aware, and adaptable components
IRM A method and corresponding model that allow for requirements engineering and design of sCPS with a focus on dependability aspects

Contact

Tomas Bures bures<at-sign>d3s.mff.cuni.cz
Petr Hnetynka hnetynka<at-sign>d3s.mff.cuni.cz
Frantisek Plasil plasil<at-sign>d3s.mff.cuni.cz

References

2016 (9)

Refereed (journals/proceedings)

Link Bureš T., Plášil F., Kit M., Tůma P., Hoch N.: Software Abstractions for Component Interaction in the Internet of Things,
Computer ( Volume: 49, Issue: 12, Dec. 2016 ) doi:10.1109/MC.2016.377, December 2016
Link Kroiß C., Bureš T.: Logic-based modeling of information transfer in cyber-physical multi-agent systems,
Future Generation Computer Systems, Volume 56 Issue C, pp. 124-139, doi:10.1016/j.future.2015.09.013, March 2016
PDF Gerostathopoulos I., Škoda D., Plášil F., Bureš T., Knauss A.: Architectural Homeostasis in Self-Adaptive Software-Intensive Cyber-Physical Systems,
In Proceedings of ECSA 2016, Copenhagen, Denmark, LNCS 9839, Springer, November 2016
Link Masrur A., Kit M., Matěna V., Bureš T., Hardt W.: Component-Based Design of Cyber-Physical Applications with Safety-Critical Requirements,
Microprocessors and Microsystems, Volume 42, pp. 70–86, doi:10.1016/j.micpro.2016.01.007, May 2016
Link Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Proceedings of WICSA 2016, Venice, Italy, IEEE, pp. 168-177, doi: 10.1109/WICSA.2016.33, April 2016
Gerostathopoulos I., Bureš T., Hnětynka P., Hujecek A., Plášil F., Škoda D.: Strengthening Adaptation in Cyber-Physical Systems via Meta-Adaptation Strategies,
Accepted for publication in Transactions on Cyber-Physical Systems, September 2016
PDF, Link Matěna V., Bureš T., Gerostathopoulos I., Hnětynka P.: Model Problem and Testbed for Experiments with Adaptation in Smart Cyber-Physical Systems,
In Proceedings of SEAMS 2016, Austin, USA, ACM, doi:10.1145/2897053.2897065, May 2016
Link Bureš T., Hnětynka P., Krijt F., Matěna V., Plášil F.: Smart coordination of autonomic component ensembles in the context of ad-hoc communication,
Proceedings of ISOLA 2016, Corfu, Greece, Springer, LNCS 9952, pp. 642-656, doi: 10.1007/978-3-319-47166-2_45, October 2016
PDF, Link Gerostathopoulos I., Bureš T., Hnětynka P., Keznikl J., Kit M., Plášil F., Plouzeau N.: Self-Adaptation in Software-Intensive Cyber-Physical Systems: from System Goals to Architecture Configurations,
Journal of Systems and Software, Volume 122, pp. 378–397, doi:10.1016/j.jss.2016.02.028, December 2016

2015 (5)

Refereed (journals/proceedings)

PDF Kit M., Plášil F., Matěna V., Bureš T., Kovac O.: Employing Domain Knowledge for Optimizing Component Communication,
Accepted for publication in Proceedings of the 18th International ACM Sigsoft Symposium on Component-Based Software Engineering, May 2015
PDF, Link Kit M., Gerostathopoulos I., Bureš T., Hnětynka P., Plášil F.: An Architecture Framework for Experimentations with Self-Adaptive Cyber-Physical Systems,
In Proceedings of SEAMS 2015, Firenze, Italy, pp. 93-96, IEEE, doi:10.1109/SEAMS.2015.28, May 2015
PDF, Link Štumpf O., Bureš T., Matěna V.: Security and Trust in Data Sharing Smart Cyber-Physical Systems,
In Proceedings of the 9th European Conference on Software Architecture Workshops (ECSAW 2015). Article No. 18. ACM., September 2015
PDF, Link Bureš T., Krijt F., Plášil F., Hnětynka P., Jiráček Z.: Towards Intelligent Ensembles,
In Proceedings of the 9th European Conference on Software Architecture Workshops (ECSAW 2015). Article No. 17. ACM., September 2015

Technical Reports

PDF Bureš T., Hnětynka P., Kofroň J., Al Ali R., Škoda D.: Statistical Approach to Architecture Modes in Smart Cyber Physical Systems,
Tech. Report No. D3S-TR-2015-04, Dep. of Distributed and Dependable Systems, Charles University in Prague, December 2015

2014 (13)

Refereed (journals/proceedings)

PDF, Link 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. Best Research Paper Award, August 2014
PDF, PDF, Link 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, pp. 610-611 (poster and extended abstract), June 2014
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
Link Bureš T., Gerostathopoulos I., Al Ali R.: DEECo: Software Engineering for Smart CPS,
In ERCIM news Special theme: Cyber-Physical Systems, v. 2014, no. 96, January 2014
PDF, WWW Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
In Proceedings of the 44th Annual Meeting of the German Informatics Society – 44. Gesellschaft für Informatik Jahrestagung (INFORMATIK 2014). Gesellschaft für Informatik, Bohn, pp. 1179-1190, September 2014
Link Bureš T., Hnětynka P., Plášil F.: Strengthening architectures of smart CPS by modeling them as runtime product-lines,
In Proceedings of CBSE 2014, Lille, France, ACM, pp. 91-96, doi:10.1145/2602458.2602478, July 2014
PDF, 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, pp. 87-90, April 2014
PDF, 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, Dublin, Ireland. ACM, in press, March 2014
PDF, Link Bureš T., Horký V., Kit M., Marek L., Tůma P.: Towards Performance-Aware Engineering of Autonomic Component Ensembles,
In Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), Corfu, Greece, Springer, October 2014

Ph.D. Theses

PDF, Link Keznikl J.: Dynamic Software Architectures for Resilient Distributed Systems,
Ph.D. thesis, advisor: Tomas Bures, September 2014

Technical Reports

PDF Gerostathopoulos I., Keznikl J., Bureš T., Kit M., Plášil F.: Software Engineering for Software-Intensive Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F., Noel Plouzeau: Adaptation in Cyber-Physical Systems: from System Goals to Architecture Configurations,
Tech. Report No. D3S-TR-2014-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, January 2014
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: Computational Model for Gossiping Components in Cyber-Physical Systems,
Tech. Report No. D3S-TR-2014-03, Dep. of Distributed and Dependable Systems, Charles University in Prague, April 2014

2013 (7)

Refereed (journals/proceedings)

Link Šerbedžija N., Bureš T., Keznikl J.: Engineering Autonomous Systems,
In Proceedings of PCI 2013, Thessaloniki, Greece, ACM, September 2013
Link Philip Mayer, Annabelle Klarl, Rolf Hennicker, Mariachiara Puviani, Francesco Tiezzi, Rosario Pugliese, Keznikl J., Bureš T.: The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud,
In Proceedings of 3rd AWARENESS workshop at SASO 2013, Philadelphia, USA., September 2013
PDF, Link Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System,
In Proceedings of 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2013), Vancouver, Canada. ACM, pp. 81-90, June 2013
PDF, Link Bureš T., Rocco de Nicola, Gerostathopoulos I., Nicklas Hoch, Kit M., Nora Koch, Giacoma Valentina Monreale, Ugo Montanari, Rosario Pugliese, Nikola Serbedzija, Martin Wirsing, Franco Zambonelli: A Life Cycle for the Development of Autonomic Systems: The e-Mobility Showcase,
In Proceedings of the 3rd Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems, Philadelphia, USA. IEEE, pp. 71-76, September 2013
Link Barnat J., Benes N., Bureš T., Cerna I., Keznikl J., Plášil F.: Towards Verification of Ensemble-Based Component Systems,
In Proceedings of FACS 2013, LNCS 8348, pp 41-60, Springer, Nanchang, China, October 2013

Technical Reports

PDF Al Ali R., Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo Computational Model - I,
Tech. Report No. D3S-TR-2013-01, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013
PDF Bureš T., Gerostathopoulos I., Hnětynka P., Keznikl J., Kit M., Plášil F.: DEECo - an Ensemble-Based Component System,
Tech. Report No. D3S-TR-2013-02, Dep. of Distributed and Dependable Systems, Charles University in Prague, February 2013

2012 (1)

Refereed (journals/proceedings)

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
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-02-17