Publication:
Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data

Loading...
Thumbnail Image
Authors
Drusinsky, Doron
Subjects
Runtime monitoring
Formal specifications
UML
Hidden Markov models
Advisors
Date of Issue
2016-09-28
Date
Publisher
SpringerLink
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. This paper describes an online library of formal specification oracles and an accompanying toolset for the runtime monitoring log-files that contain hidden and visible data.
Type
Article
Description
The article of record as published may be found at http://link.springer.com/article/10.1007/s11334-016-0286-6
Series/Report No
Department
Computer Science (CS)
Other Units
Naval Postgraduate School (U.S.)
Identifiers
NPS Report Number
Sponsors
Defense Threat Reduction Agency
Funder
(ID0EIIAC15)
Format
13 p.
Citation
Drusinsky, Doron. "Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data." Innovations in Systems and Software Engineering 13.1 (2017): 67-79.
Distribution Statement
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.
Collections