You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at
  • technical reports and other articles issued by M‰lardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact

Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach

Publication Type:

Conference/Workshop Paper


7th international Conference on the Engineering of Computer Based Systems


With the emergence of “Industry 4.0”, the integration of cloud technologies and industrial cyber-physical systems becomes increasingly important to boost productivity by simplifying business operations and enhancing collaboration. The industrial cyber-physical systems infrastructures and their fusion with the cloud lead to massive amounts of real-time and non-real-time data acquired for controlling particular processes, but also for supporting decision-making at the system level. Although cloud-assisted cyber-physical systems are increasingly important in many industrial domains, and ensuring their dependability is crucial, existing platforms do not provide satisfactory support to meet the dependability demands of industrial applicationsThe overall goal of the project ACICS is to provide models, methods and tools that facilitate a substantial increase of dependability of cloud-based platforms for industrial cyber-physical applications, with respect to consistency, security and interoperability of data, timing predictability of using shared virtual resources, together with a framework of guaranteeing quality-of-service enforcement by formal analysis and verification. In this poster paper, we present the main conceptual ideas behind the ACICS approach.


author = {Cristina Seceleanu and Eduard Paul Enoiu and Moris Behnam and Gabriele Capannini and Jan Carlson and Kristina Lundqvist and S{\'e}verine Sentilles},
title = {Assured Cloud Platforms for Industrial Cyber-Physical Systems: The ACICS Approach},
month = {April},
year = {2021},
booktitle = {7th international Conference on the Engineering of Computer Based Systems},
url = {}