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 ...
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 ...
Security enhancement of littoral combat ship class utilizing an autonomous mustering and pier monitoring system Stubblefield, Philip N. (Monterey, California. Naval Postgraduate School, 2010-03);Littoral Combat Ships (LCS) are designed and built to have minimum crew sizes thus, while the ship is in port, there are fewer crewmembers to facilitate pier monitoring, security, and conducting mustering of personnel. ...