Online, library-based visual formal specification monitoring system for monitoring log-files with visible and hidden data
Loading...
Authors
Drusinsky, Doron
Subjects
Runtime monitoring
Formal specifications
UML
Hidden Markov models
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)
Organization
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.