With the emergence of “Industry 4.0”, the integration of cloud technologies and industrial cyber-physical systems (ICPS) becomes increasingly important to boost productivity by simplifying business operations and enhancing collaboration. By associating cloud, infrastructure platform and service applications, ICPS will promote the next generation of intelligent and autonomous systems, as well as increased quality, efficient production and sustainable industrial systems.
Along with the significant benefits, this trend comes with many associated challenges. The ICPS 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 system level. By means of virtualization techniques, IT services are accessed over the Internet, with data being computed in the network but not in a-priori known places. In such context, ensuring timely interaction from data collection to analysis and decision is non-trivial. Moreover, the co-existence of private industry-specific cloud services with public cross-industry cloud services within the same ecosystem entails that some cloud-based data might need to be undisclosed to users outside a particular company or domain. At the same time, private cloud data needs to be combined with data from public clouds, therefore both data security and interoperability need to be ensured. ICPS failures may result in havoc with escalated effects that may cause serious harm to people and property, therefore tackling the safety of cloud-based ICPS ecosystems is a key factor for their application in critical systems. Although cloud- assisted ICPS 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 applications.
The overall goal of ACICS is to provide models, methods and tools that facilitate a substantial increase of dependability of cloud-based platforms for ICPS applications, with respect to consistency, security and interoperability of data, timing predictability of using shared virtual resources, together with a framework of guaranteeing QoS enforcement by formal analysis and verification.
Through ACICS, Mälardalen University and three companies, ABB, Volvo GTO, and Ericsson, will develop deep competence to boost the dependability of cloud-based platforms with respect to timing, safety, and data security of ICPS applications. We will be able to drastically enhance the current practices for the design, analysis, and virtual allocation of applications for cloud-based ICPS.
The ACICS team is composed of a strong group of researchers covering all aspects of the synergy, with proven research records, and a group of companies strategically important for Swedish industry.
|First Name||Last Name||Title|
|Eduard Paul||Enoiu||Senior Lecturer|
|Séverine||Sentilles||Senior Lecturer,Thesis Coordinator|
Specification and Automated Verification of Atomic Concurrent Real-time Transactions (Oct 2020) Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)
Verification and Validation of Concurrent and Distributed Systems (Track Summary) (Oct 2020) Marieke Huisman , Cristina Seceleanu 9th International Symposium on Leveraging Applications of Formal Methods (ISoLA 2020)