Corpus ID: 146120267

Analysis of the Verification Approaches for the Cyber-Physical Systems

  title={Analysis of the Verification Approaches for the Cyber-Physical Systems},
  author={S. Korotunov and G. Tabunshchyk and K. Henke and H. Wuttke},
  • S. Korotunov, G. Tabunshchyk, +1 author H. Wuttke
  • Published in CMIS 2019
  • Computer Science
  • In the paper the possibility of utilization of the Kripke structures for applying linear-time temporal logic in problems of verification of reactive systems is considered. The definition and main characteristics of the cyberphysical systems, finite state machines, Kripke structures and temporal logics are considered by the authors. Example of modeling on the base of GOLDi is provided. 
    1 Citations

    Figures and Topics from this paper


    About dependability in cyber-physical systems
    • L. Miclea, T. Sanislav
    • Engineering, Computer Science
    • 2011 9th East-West Design & Test Symposium (EWDTS)
    • 2011
    • 56
    Cyber-Physical Systems Architectures and Modeling Methods Analysis for Smart Grids
    • S. Korotunov, G. Tabunshchyk, C. Wolff
    • Computer Science
    • 2018 IEEE 13th International Scientific and Technical Conference on Computer Sciences and Information Technologies (CSIT)
    • 2018
    • 5
    Linear-time Temporal Logic with Event Freezing Functions
    • 4
    • PDF
    Safety in Interactive Hybrid Online Labs
    • 4
    • PDF
    Model Checking
    • 5,561
    • PDF
    Gift - An Integrated Development and Training System for Finite State Machine Based Approaches
    • 8
    • PDF
    Parallel Computer System Resource Planning for Synthesis of Neuro-Fuzzy Networks
    • 9
    A framework for the design and verification of software measurement methods
    • 44
    • PDF
    An investigation of the Therac-25 accidents
    • 1,317
    • PDF
    Code Complete, Second Edition
    • 152
    • PDF