• 中国期刊全文数据库
  • 中国学术期刊综合评价数据库
  • 中国科技论文与引文数据库
  • 中国核心期刊(遴选)数据库
常玉婷, 潘海玉. 线性时间属性中近似安全性和活性的刻画[J]. 桂林电子科技大学学报, 2022, 42(5): 423-430.
引用本文: 常玉婷, 潘海玉. 线性时间属性中近似安全性和活性的刻画[J]. 桂林电子科技大学学报, 2022, 42(5): 423-430.
CHANG Yuting, PAN Haiyu. The characterization of approximate safety and liveness properties in linear-time properties[J]. Journal of Guilin University of Electronic Technology, 2022, 42(5): 423-430.
Citation: CHANG Yuting, PAN Haiyu. The characterization of approximate safety and liveness properties in linear-time properties[J]. Journal of Guilin University of Electronic Technology, 2022, 42(5): 423-430.

线性时间属性中近似安全性和活性的刻画

The characterization of approximate safety and liveness properties in linear-time properties

  • 摘要: 针对线性时间属性中最重要的基础属性安全性和活性, 将它们扩展到模糊背景下, 有助于定量刻画系统与其属性之间的满足程度。结合度量理论中线性距离的概念, 刻画系统与属性之间关系, 进而量化一个系统多大程度满足一个属性。首先回顾线性距离的定义以及一些性质。其次, 基于模糊迁移系统, 研究线性时间属性中安全性和活性的定量扩展形式, 并尽可能多地保留传统线性时间属性相关的优良性质, 通过给定距离阈值α, 定义α-安全性和α-活性, 从而将经典的线性时间属性扩展到模糊背景下。通过对所提出的α-安全性和α-活性理论进行扩充, 对现有模糊背景下的线性时态逻辑进行适当地补充, 从而刻画所定义的α-安全性和α-活性。最后通过一个具体的实例来阐述所得出的结论。

     

    Abstract: For the safety and liveness properties of the most important basic properties in linear-time properties, they are extended to the fuzzy background, which is helpful to quantitatively describe the level of satisfaction between the system and its properties. Combining with the concept of linear distance in metric theory, this paper quantifies how extent a system satisfies its property by describing the relationship between the system and its property with distance. First, the definitions and some properties of linear distance are reviewed. Next, based on the fuzzy transition system, the safety and liveness properties in linear time property are quantitatively expanded, and the good properties of traditional linear time properties are retained as much as possible. In addition, the definitions of α-safety properties and α-liveness properties are defined by introducing the distance threshold α, thus extending the classical linear temporal properties to the fuzzy setting. Then, the proposed theory of α-safety properties and α-liveness properties are extended, and the existing linear temporal logic under fuzzy background is appropriately supplemented in order to characterized α-safety properties and α-liveness properties. Finally, a concrete example is given to illustrate the conclusions of this paper.

     

/

返回文章
返回