A Hidden Markov Model based Runtime Monitoring tool
Loading...
Authors
Drusinsky, Doron
Subjects
Formal Specifications
Hidden Markov Models
Runtime monitoring
Runtime Verification
Hidden Markov Models
Runtime monitoring
Runtime Verification
Advisors
Date of Issue
2016-01
Date
January 2016
Publisher
Monterey, California. Naval Postgraduate School
Language
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.
Type
Technical Report
Description
Series/Report No
Department
Computer Science
Organization
Computer Science (CS)
Graduate School of Operational and Information Sciences (GSOIS)
Identifiers
NPS Report Number
NPS-CS-16-001
Sponsors
Defense Threat Reduction Agency (DTRA), 6801 Telegraph Rd, Alexandria, VA 22310
Funder
Format
Citation
Distribution Statement
Approved for public release; distribution is unlimited.
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.