A Hidden Markov Model based Runtime Monitoring tool
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.
Rights
This publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.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
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 of ... -
AN ANALYSIS OF METRICS TRENDS IDENTIFIED BY THE ARMY'S OPERATIONAL SUSTAINMENT REVIEWS
Meickle, David W. (Monterey, CA; Naval Postgraduate School, 2019-09);This research provides an analysis of sustainment metrics and their application by product support managers (PSMs) within the context of the Army's operational sustainment review (OSR) process. The research explored the ... -
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 ...