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|
|Kristina||Lundqvist||Chairman of the MDU recruitment committee,Professor|
|Eduard Paul||Enoiu||Associate Professor|
|Séverine||Sentilles||Senior Lecturer,Thesis Coordinator|
|Peter||Backeman||Associated Senior Lecturer|
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems (Apr 2023) Rong Gu, Eduard Paul Enoiu 19th Workshop on Advances in Model Based Testing (A-MOST 2023)
Supporting 5G Service Orchestration with Formal Verification (Mar 2023) Peter Backeman, Ashalatha Kunnappilly, Cristina Seceleanu Computer Science and Information Systems (ComSIS,10(1))
Automatic Segmentation of Resource Utilization Data (Dec 2022) Shamoona Imtiaz, Moris Behnam, Gabriele Capannini, Jan Carlson, Marcus Jägemar The 1st IEEE Industrial Electronics Society Annual On-Line Conference (ONCON'22)
Correctness-Guaranteed Strategy Synthesis and Compression for Multi-Agent Autonomous Systems (Sep 2022) Rong Gu, Peter Jensen , Cristina Seceleanu, Eduard Paul Enoiu, Kristina Lundqvist Science of Computer Programming (SCICO-223)
Reliable Visibility Algorithms for Emergency Stop Systems in Smart Industries (Jun 2022) Gabriele Capannini, Jan Carlson, Roger Mellander 46th Annual IEEE Computers, Software, and Applications Conference (COMPSAC 2022)
Automatic Quality of Service Control in Multi-core Systems using Cache Partitioning (Oct 2021) Jakob Danielsson, Tiberiu Seceleanu, Marcus Jägemar, Moris Behnam, Mikael Sjödin 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2021)