Naval Postgraduate School
A Hidden Markov Model based Runtime Monitoring tool
NPS-CS-16-001.pdf (674.5Kb)Abstract
Runtime Monitoring (RM), also known as Runtime Verification (RV), is the process of monitoring and verifying the sequencing and temporal behavior of an underlying application and comparing it to the correct behavior as specified by a formal specification pattern. Hidden Markov Model (HMM) based RM enables the monitoring of systems with both visible and hidden data, using the same formal specifications used by deterministic RM. Hence, with HMM-based RM, formal specifications need not contain probability measures. This report details the process and instructions for using the newly developed tool kit for HMM-based RV.
Description
Approved for public release; distribution is unlimited.
NPS Report Number
NPS-CS-16-001Related items
Showing items related by title, author, creator and subject.
-
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
(2003);Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring however, is limited to observing sequences ... -
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data
(SpringerLink, 2016-09-28);Runtime Monitoring (RM), also known as Runtime Verification (RV), is the process of monitoring and verifying the sequencing and temporal behavior of an underlying application and comparing it to the correct behavior ... -
Continuous measurement by eddy current methods of age hardening in aluminum alloys
(Monterey, California. Naval Postgraduate School, 1992-09);Many materials processing operations such as age hardening heat treatments typically involve following predetermined time and temperature schedules to obtain the desired final material properties. The intelligent processing ...
