Model Based Approach to Cyber–Physical Systems Status Monitoring
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 ob...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-06-01
|
| Series: | Computers |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2073-431X/9/2/47 |
| _version_ | 1797565979516993536 |
|---|---|
| author | Alexander Vodyaho Saddam Abbas Nataly Zhukova Michael Chervoncev |
| author_facet | Alexander Vodyaho Saddam Abbas Nataly Zhukova Michael Chervoncev |
| author_sort | Alexander Vodyaho |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-03-10T19:20:19Z |
| format | Article |
| id | doaj.art-dee93749908c4999aea291da80e77ba7 |
| institution | Directory Open Access Journal |
| issn | 2073-431X |
| language | English |
| last_indexed | 2024-03-10T19:20:19Z |
| publishDate | 2020-06-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Computers |
| spelling | doaj.art-dee93749908c4999aea291da80e77ba72023-11-20T03:06:06ZengMDPI AGComputers2073-431X2020-06-01924710.3390/computers9020047Model Based Approach to Cyber–Physical Systems Status MonitoringAlexander Vodyaho0Saddam Abbas1Nataly Zhukova2Michael Chervoncev3Department of Computer Science and Engineering Saint Petersburg Electrotechnical University, “LETI” (ETU), 197376 St. Petersburg, RussiaDepartment of Computer Science and Engineering Saint Petersburg Electrotechnical University, “LETI” (ETU), 197376 St. Petersburg, RussiaSaint-Petersburg Institute for Information and Automation RAS, 199178 St. Petersburg, RussiaDepartment of Computer Science and Engineering Saint Petersburg Electrotechnical University, “LETI” (ETU), 197376 St. Petersburg, RussiaThe 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.https://www.mdpi.com/2073-431X/9/2/47Cyberphysical systemsmonitoringmodel synthesis |
| spellingShingle | Alexander Vodyaho Saddam Abbas Nataly Zhukova Michael Chervoncev Model Based Approach to Cyber–Physical Systems Status Monitoring Computers Cyberphysical systems monitoring model synthesis |
| title | Model Based Approach to Cyber–Physical Systems Status Monitoring |
| title_full | Model Based Approach to Cyber–Physical Systems Status Monitoring |
| title_fullStr | Model Based Approach to Cyber–Physical Systems Status Monitoring |
| title_full_unstemmed | Model Based Approach to Cyber–Physical Systems Status Monitoring |
| title_short | Model Based Approach to Cyber–Physical Systems Status Monitoring |
| title_sort | model based approach to cyber physical systems status monitoring |
| topic | Cyberphysical systems monitoring model synthesis |
| url | https://www.mdpi.com/2073-431X/9/2/47 |
| work_keys_str_mv | AT alexandervodyaho modelbasedapproachtocyberphysicalsystemsstatusmonitoring AT saddamabbas modelbasedapproachtocyberphysicalsystemsstatusmonitoring AT natalyzhukova modelbasedapproachtocyberphysicalsystemsstatusmonitoring AT michaelchervoncev modelbasedapproachtocyberphysicalsystemsstatusmonitoring |