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
- Event details
- Event name:
- M4Dconf2022
- Title:
First International IMEKO TC6 Conference on Metrology and Digital Transformation
- Place:
- Berlin, GERMANY
- Time:
- 19 September 2022 - 21 September 2022
- Event details
- Event name:
- Special session at M4Dconf2022
- Title:
First International IMEKO TC6 Conference on Metrology and Digital Transformation
- Place:
- Berlin, GERMANY
- Time:
- 19 September 2022 - 21 September 2022
- Event details
- Event name:
- M4Dconf2022 (2)
- Title:
First International IMEKO TC6 Conference on Metrology and Digital Transformation
- Place:
- Berlin, GERMANY
- Time:
- 19 September 2022 - 21 September 2022