Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems
Generally, simulation models are constructed to replicate and predict the behavior of real systems that currently exist or are expected to exist in the future. Once a simulation model is implemented, the model can be connected to a real system for which the model has been built through sensors or ne...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2020-09-01
|
| Series: | Symmetry |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2073-8994/12/9/1568 |
| _version_ | 1797552990333173760 |
|---|---|
| author | Tae Ho Cho |
| author_facet | Tae Ho Cho |
| author_sort | Tae Ho Cho |
| collection | DOAJ |
| description | Generally, simulation models are constructed to replicate and predict the behavior of real systems that currently exist or are expected to exist in the future. Once a simulation model is implemented, the model can be connected to a real system for which the model has been built through sensors or networks so that important activities in the real system can be monitored indirectly through the model. This article proposes a modeling formalism BM-DEVS (Behavior Monitor-DEVS) that defines simulation models capable of monitoring the desired behavior patterns within the models so that the target system’s behavior can be monitored indirectly. In BM-DEVS, an extension of classic Discrete Event System Specification (DEVS), the behavior to be monitored is expressed as a set of temporal logic (TL) production rules within a multi-component model that consists of multiple component models to be monitored. An inference engine module for reasoning with the TL rules is designed based on the abstract simulator that carries out instructions in the BM-DEVS models to perform the simulation process. The major application of BM-DEVS is in the design and implementation of the context-aware architecture needed for various intelligent systems as a core constituent. Essentially all systems where some form of behavior monitoring is required are candidate applications of BM-DEVS. This research is motivated by the view that there exists symmetry between the real-world and the cyber world, in that the problems in both environments should be expressed with the same basic constituents of time and space; this naturally leads to adopting spatiotemporal variables composed of simulation models and developing a problem solver that exploits these variables. |
| first_indexed | 2024-03-10T16:10:00Z |
| format | Article |
| id | doaj.art-c15d2f1b4db44ffa85f77ae903506d27 |
| institution | Directory Open Access Journal |
| issn | 2073-8994 |
| language | English |
| last_indexed | 2024-03-10T16:10:00Z |
| publishDate | 2020-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Symmetry |
| spelling | doaj.art-c15d2f1b4db44ffa85f77ae903506d272023-11-20T14:36:41ZengMDPI AGSymmetry2073-89942020-09-01129156810.3390/sym12091568Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of SystemsTae Ho Cho0College of Computing, Sungkyunkwan University, Suwon 16419, KoreaGenerally, simulation models are constructed to replicate and predict the behavior of real systems that currently exist or are expected to exist in the future. Once a simulation model is implemented, the model can be connected to a real system for which the model has been built through sensors or networks so that important activities in the real system can be monitored indirectly through the model. This article proposes a modeling formalism BM-DEVS (Behavior Monitor-DEVS) that defines simulation models capable of monitoring the desired behavior patterns within the models so that the target system’s behavior can be monitored indirectly. In BM-DEVS, an extension of classic Discrete Event System Specification (DEVS), the behavior to be monitored is expressed as a set of temporal logic (TL) production rules within a multi-component model that consists of multiple component models to be monitored. An inference engine module for reasoning with the TL rules is designed based on the abstract simulator that carries out instructions in the BM-DEVS models to perform the simulation process. The major application of BM-DEVS is in the design and implementation of the context-aware architecture needed for various intelligent systems as a core constituent. Essentially all systems where some form of behavior monitoring is required are candidate applications of BM-DEVS. This research is motivated by the view that there exists symmetry between the real-world and the cyber world, in that the problems in both environments should be expressed with the same basic constituents of time and space; this naturally leads to adopting spatiotemporal variables composed of simulation models and developing a problem solver that exploits these variables.https://www.mdpi.com/2073-8994/12/9/1568behavior monitoringcontext-aware architecturetemporal logicinference engineBM-DEVS |
| spellingShingle | Tae Ho Cho Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems Symmetry behavior monitoring context-aware architecture temporal logic inference engine BM-DEVS |
| title | Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems |
| title_full | Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems |
| title_fullStr | Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems |
| title_full_unstemmed | Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems |
| title_short | Simulation Methodology-Based Context-Aware Architecture Design for Behavior Monitoring of Systems |
| title_sort | simulation methodology based context aware architecture design for behavior monitoring of systems |
| topic | behavior monitoring context-aware architecture temporal logic inference engine BM-DEVS |
| url | https://www.mdpi.com/2073-8994/12/9/1568 |
| work_keys_str_mv | AT taehocho simulationmethodologybasedcontextawarearchitecturedesignforbehaviormonitoringofsystems |