Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language

@inproceedings{Viswanathan2004FoundationsFT,
  title={Foundations for the Run-Time Monitoring of Reactive Systems - Fundamentals of the MaC Language},
  author={Mahesh Viswanathan and Moonzoo Kim},
  booktitle={ICTAC},
  year={2004}
}
As the complexity of systems grows, the correctness of systems becomes harder to achieve. This difficulty promotes a run-time monitoring technique as a promising complementary methodology for higher system assurance. To formalize and understand the computational nature of run-time monitoring is a key to utilize this valuable technique. In this paper, we formalize the notion of run-time monitoring of reactive systems in terms of ω-languages and show that the language of Monitoring and Checking… CONTINUE READING
Highly Cited
This paper has 22 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
Showing 1-10 of 14 extracted citations

Runtime enforcement of timed properties revisited

Formal Methods in System Design • 2014
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 21 references

Monitoring Java Programs with Java PathExplorer

Electr. Notes Theor. Comput. Sci. • 2001
View 4 Excerpts
Highly Influenced

Partial Order Trace Analyzer (POTA) for Distributed Programs

Electr. Notes Theor. Comput. Sci. • 2003
View 1 Excerpt

Information Extraction for Run-time Formal Analysis

M. Kim
PhD thesis, Department of Computer and Information Science, University of Pennsylvania • 2001
View 1 Excerpt

Enforceable security policies

ACM Trans. Inf. Syst. Secur. • 2000
View 2 Excerpts

Similar Papers

Loading similar papers…