SPECIFICATION FOR AUDIT TRAIL IN OIML D31: TOWARD RUNTIME VERIFICATION

Hiroshi Watanabe

Abstract

In general, manually checking a system log does not scale up, if the log becomes large. The problem also arises the case with checking an audit trail in verification of a measuring instrument under legal control. Software support for the check is critical. In this study, we address an approach to use Runtime Verification techniques for checking an audit trail. As an initial attempt to advance the approach, we consider the formal specifications of an audit trail for the check. Analysing the requirements in guidance OIML D31, we obtained abstract formal specifications for an audit trail. As an extension of the approach, a trend toward digital transformation for audit trails can be envisaged.

Keywords

legally relevant measuring instrument, OIML D31, audit trail, verification, traced update, Runtime Verification

Download

IMEKO-TC6-2022-019.pdf

DOI

10.21014/tc6-2022.019

IMEKO TC

TC6 - Digitalization

Back to the proceedings