Simulation Distances

Černý, Pavol; Henzinger, Thomas A.; Radhakrishna, Arjun

doi:10.1007/978-3-642-15375-4_18

Cited by 41 publications

(65 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This distance has been used in [5,9,42]. The limit-average trace distance, which has been used in [9], is td limavg :…”

Section: Examples Of Trace Distancesmentioning

confidence: 99%

“…Henzinger et.al. have employed distances in a software engineering context in [9] and for abstraction refinement and synthesis in [10,11].…”

Section: Introductionmentioning

confidence: 99%

“…Two major types have been considered here: the discounted accumulating distance e.g. in [5,9,42] and the limit-average accumulating distance e.g. in [9].…”

Section: Introductionmentioning

confidence: 99%

“…in [5,9,42] and the limit-average accumulating distance e.g. in [9]. For real-time systems, a useful distance is the maximum-lead one of [28,42] which measures the maximum difference between accumulated time delays along traces.…”

Section: Introductionmentioning

confidence: 99%

See 3 more Smart Citations

Generalized Quantitative Analysis of Metric Transition Systems

Fahrenberg

Legay

2013

Programming Languages and Systems

View full text Add to dashboard Cite

Abstract. The formalism of metric transition systems, as introduced by de Alfaro, Faella and Stoelinga, is convenient for modeling systems and properties with quantitative information, such as probabilities or time. For a number of applications however, one needs other distances than the point-wise (and possibly discounted) linear and branching distances introduced by de Alfaro et.al. for analyzing quantitative behavior. In this paper, we show a vast generalization of the setting of de Alfaro et.al., to a framework where any of a large number of other useful distances can be applied. Concrete instantiations of our framework hence give e.g. limit-average, discounted-sum, or maximum-lead linear and branching distances; in each instantiation, properties similar to the ones of de Alfaro et.al. hold. In the end, we achieve a framework which is not only suitable for modeling different kinds of quantitative systems and properties, but also for analyzing these by using different application-determined ways of measuring quantitative behavior.

show abstract

“…This distance has been used in [5,9,42]. The limit-average trace distance, which has been used in [9], is td limavg :…”

Section: Examples Of Trace Distancesmentioning

confidence: 99%

“…Henzinger et.al. have employed distances in a software engineering context in [9] and for abstraction refinement and synthesis in [10,11].…”

Section: Introductionmentioning

confidence: 99%

“…Two major types have been considered here: the discounted accumulating distance e.g. in [5,9,42] and the limit-average accumulating distance e.g. in [9].…”

Section: Introductionmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Generalized Quantitative Analysis of Metric Transition Systems

Fahrenberg

Legay

2013

Programming Languages and Systems

View full text Add to dashboard Cite

show abstract

“…Most of them, if not all, base their definitions on the (bi)simulation game that characterizes (bi)simulations between processes [11,3,2]. Although these are branching semantics, their co-inductive characterizations provide a (partially) local way to compare processes by considering, one by one, all the possible transitions from the compared states.…”

Section: Introductionmentioning

confidence: 99%

Defining Distances for All Process Semantics

Hernández

Frutos-Escrig

2012

Formal Techniques for Distributed Systems

View full text Add to dashboard Cite

Abstract. Recently several authors have proposed some notions of distance between processes that try to quantify "how far away" is a process to be related with some other with respect to a certain semantics. These proposals are usually based on the simulation game, and therefore are mainly defined for simulation semantics or other semantics more or less close to these. These distances have a local character since only one of the successors of each state is taken into account in their computation. Here, we present an alternative proposal exploiting the fact that processes are trees. We define the distance between two of them as the cost of the transformations that we need to apply to get two processes related by the corresponding semantics. Our new distances can be uniformly defined for all the semantics in the ltbt-spectrum.

show abstract

Measuring Masking Fault-Tolerance

Castro¹,

D’Argenio²,

Demasi³

et al. 2019

Tools and Algorithms for the Construction and Analysis of Systems

View full text Add to dashboard Cite

In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhibited by a candidate system. In practice, there are different kinds of fault-tolerance, here we restrict ourselves to the analysis of masking fault-tolerance because it is often a highly desirable goal for critical systems. Roughly speaking, a system is masking fault-tolerant when it is able to completely mask the faults, not allowing these faults to have any observable consequences for the users. We capture masking fault-tolerance via a simulation relation, which is accompanied by a corresponding game characterization. We enrich the resulting games with quantitative objectives to define the notion of masking fault-tolerance distance. Furthermore, we investigate the basic properties of this notion of masking distance, and we prove that it is a directed semimetric. We have implemented our approach in a prototype tool that automatically computes the masking distance between a nominal system and a fault-tolerant version of it. We have used this tool to measure the masking tolerance of multiple instances of several case studies.

show abstract

Simulation Distances

Cited by 41 publications

References 21 publications

Generalized Quantitative Analysis of Metric Transition Systems

Generalized Quantitative Analysis of Metric Transition Systems

Defining Distances for All Process Semantics

Measuring Masking Fault-Tolerance

Contact Info

Product

Resources

About