Quantitative Trace Analysis Using Extended Timing Diagrams

Abstract

Putting runtime verification into everyday industrial practice, shows the demand for formalisms that are easily understandable and usable, also for non-experts. To gain deeper insight into a system’s behaviour, methods must be sufficiently expressive and support the evaluation of quantitative properties. We present a graphical specification language for quantitative trace analysis based on timing diagrams to meet these requirements. The proposed formalism allows the verification of functional requirements against traces in combination with the determination of quantitative parameters that characterize the system and render original requirements more precisely. We successfully included the timing diagram specification formalism and the corresponding evaluation methods into commercial trace analysis and test tools which are used to examine measurement data from the industrial automation and automotive domains.