SPECIFICATION FOR AUDIT TRAIL IN OIML D31: TOWARD RUNTIME VERIFICATION205 KB

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.