scholarly journals Model Based Approach to Cyber–Physical Systems Status Monitoring

Computers ◽  
2020 ◽  
Vol 9 (2) ◽  
pp. 47
Author(s):  
Alexander Vodyaho ◽  
Saddam Abbas ◽  
Nataly Zhukova ◽  
Michael Chervoncev

The distinctive feature of new generation information systems is not only their complexity in terms of number of elements, number of connections and hierarchy levels, but also their constantly changing structure and behavior. In this situation the problem of receiving actual information about the observed complex Cyber–Physical Systems (CPS) current status becomes a rather difficult task. This information is needed by stakeholders for solving tasks concerning keeping the system operational, improving its efficiency, ensuring security, etc. Known approaches to solving the problem of the complex distributed CPS actual status definition are not enough effective. The authors propose a model based approach to solving the task of monitoring the status of complex CPS. There are a number of known model based approaches to complex distributed CPS monitoring, but their main difference in comparison with the suggested one is that known approaches by the most part use static models which are to be build manually by experts. It takes a lot of human efforts and often results in errors. Our idea is that automata models of structure and behavior of the observed system are used and both of these models are built and kept in actual state in automatic mode on the basis of log file information. The proposed approach is based, on one hand, on the results of the authors researches in the field of automatic synthesis of multi-level automata models of observed systems and, on the other hand, on well known algorithms of process mining. In the paper typical monitoring tasks are described and generalized algorithms for solving them using the proposed system of models are presented. An example of real life systems based on the suggested approach is given. The approach can be recommended to use for building CPS of medium and high complexity, characterized by high structural dynamics and cognitive behavior.

2015 ◽  
Vol 37 ◽  
pp. 517-527 ◽  
Author(s):  
Lihui Wang ◽  
Martin Törngren ◽  
Mauro Onori

2017 ◽  
Vol 90 (8-9) ◽  
pp. 1191-1204 ◽  
Author(s):  
Ping Wang ◽  
Jing Liu ◽  
Jinlong Lin ◽  
Chao-Hsien Chu

Procedia CIRP ◽  
2021 ◽  
Vol 100 ◽  
pp. 253-258
Author(s):  
Iris Gräßler ◽  
Dominik Wiechel ◽  
Daniel Roesmann ◽  
Henrik Thiele

2018 ◽  
Vol 66 (10) ◽  
pp. 849-858
Author(s):  
Christopher Haubeck ◽  
Heiko Bornholdt ◽  
Winfried Lamersdorf ◽  
Abhishek Chakraborty ◽  
Alexander Fay

Abstract Production systems are no longer rigid, unyielding, and isolated systems anymore. They are rather interconnected cyber-physical systems with an evolution process that needs to be supported. To enable reusability in evolution, a change-first cooperative support is proposed that relies on model-based evolution steps. The approach establishes a network-wide evolution process in a peer-to-peer networked community. Thus, moving towards decentralised marketplaces for evolution steps.


2016 ◽  
Vol 13 (1) ◽  
pp. 40-52 ◽  
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

A method preserving cyber-physical systems to operate safely in a joint physical space is presented. It comprises the model-based development of the control software and simulators for the continuous physical environment as well as proving the models for spatial and real-time properties. The corresponding toolchain is based on the model-based engineering tool Reactive Blocks and the spatial model checker BeSpaceD. The real-time constraints to be kept by the controller are proven using the model checker UPPAAL.


Sensors ◽  
2019 ◽  
Vol 19 (24) ◽  
pp. 5463 ◽  
Author(s):  
Po-Wen Chi ◽  
Ming-Hung Wang

Cloud-assisted cyber–physical systems (CCPSs) integrate the physical space with cloud computing. To do so, sensors on the field collect real-life data and forward it to clouds for further data analysis and decision-making. Since multiple services may be accessed at the same time, sensor data should be forwarded to different cloud service providers (CSPs). In this scenario, attribute-based encryption (ABE) is an appropriate technique for securing data communication between sensors and clouds. Each cloud has its own attributes and a broker can determine which cloud is authorized to access data by the requirements set at the time of encryption. In this paper, we propose a privacy-preserving broker-ABE scheme for multiple CCPSs (MCCPS). The ABE separates the policy embedding job from the ABE task. To ease the computational burden of the sensors, this scheme leaves the policy embedding task to the broker, which is generally more powerful than the sensors. Moreover, the proposed scheme provides a way for CSPs to protect data privacy from outside coercion.


Sign in / Sign up

Export Citation Format

Share Document