A Hidden Markov Model based Runtime Monitoring tool
MetadataShow full item record
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.
Approved for public release; distribution is unlimited.
NPS Report NumberNPS-CS-16-001
Showing items related by title, author, creator and subject.
Drusinsky, Doron; Shing, Man-Tak (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 Drusinsky, Doron (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 ...
Esarey, John Gilbert (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 ...