Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

TL;DR

This paper introduces three numerical coverage metrics for symbolic simulation of dense-time systems, along with estimation techniques, property analysis, implementation, and experimental validation.

Contribution

It presents novel numerical coverage metrics and estimation methods specifically designed for dense-time symbolic simulation, with detailed property analysis and practical implementation.

Findings

Effective estimation techniques for dense-time state-spaces.

Properties of coverage metrics analyzed against four criteria.

Experimental results demonstrate the metrics' applicability.

Abstract

Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of dense-time state-spaces have also been developed. Properties of the metrics are also discussed with respect to four criteria. Implementation and experiments are then reported.