A Concurrent Real-time System Reliability Evaluation Method Based on Quantitative Verification Method

Abstract

The invention discloses a method for evaluating the reliability of a concurrent real-time system based on a quantitative verification method, which includes the following steps: (1) constructing a concurrent real-time system model by using a probabilistic time interface automaton with parameters; The model established in is combined according to the input / output action pairs on the interface, and the combined PPTIA model is converted into a time domain graph using the forward reachability algorithm with parameters; (3) using the probabilistic time logic language PTSL to construct a reliable (4) Use verification algorithms to evaluate the reliability of concurrent real-time systems. Aiming at the problem that the existing logic language cannot directly formally express the strategy and the data required by the model cannot be accurately obtained in the design stage, the present invention adopts a quantitative verification method based on the probabilistic time interface automata with parameters and the probabilistic time strategy logic To evaluate the reliability of concurrent real-time systems.

Description

technical field [0001] The invention belongs to the field of computer application technology, and mainly relates to formal verification technology, in particular to a concurrent real-time system reliability evaluation method based on a quantitative verification method. Background technique [0002] With the rapid development of computer technology, the scale and complexity of computer systems are increasing day by day, it is becoming more and more difficult to ensure the reliability and security of the system, and because these systems usually have interactive, real-time, concurrent, distributed Therefore, its behavior has a certain degree of uncertainty, which also makes it difficult for traditional testing methods such as tracing and debugging, use case coverage and other techniques to achieve ideal test results. So how to ensure the correctness and reliability of the system has become an increasingly urgent problem. Among the many theories and methods proposed for this p...

AI Technical Summary

Problems solved by technology

[0005] Aiming at the problem that the existing logic language cannot formally express the strategy directly and the data required by the model cannot be accurately obtained in the design stage, the present invention proposes a probabilistic time interface automaton with parameters and a probabilistic time strategy logic Quantitative verification methods and their use to evaluate the reliability of concurrent real-time systems

Images