Java-MaC: A Run-Time Assurance Approach for Java Programs

@article{Kim2004JavaMaCAR,
  title={Java-MaC: A Run-Time Assurance Approach for Java Programs},
  author={Moonzoo Kim and Mahesh Viswanathan and Sampath Kannan and Insup Lee and Oleg Sokolsky},
  journal={Formal Methods in System Design},
  year={2004},
  volume={24},
  pages={129-155}
}
We describe Java-MaC, a prototype implementation of the Monitoring and Checking (MaC) architecture for Java programs. The MaC architecture provides assurance that the target program is running correctly with respect to a formal requirements specification by monitoring and checking the execution of the target program at run-time. MaC bridges the gap between formal verification, which ensures the correctness of a design rather than an implementation, and testing, which does not provide formal… CONTINUE READING
BETA

Citations

Publications citing this paper.
SHOWING 1-10 OF 135 CITATIONS

Time-triggered Runtime Verification of Real-time Embedded Systems

VIEW 4 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Assessing the genuineness of events in runtime monitoring of cyber systems

  • Computers & Security
  • 2013
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

Mega: A framework for runtime monitoring of distributed software system

  • 2011 International Conference on Computer Science and Service System (CSSS)
  • 2011
VIEW 4 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

A runtime verification monitoring approach for embedded industrial controllers

  • 2008 IEEE International Symposium on Industrial Electronics
  • 2008
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Is runtime verification applicable to cheat detection?

VIEW 7 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

From Complex Event Processing to Simple Event Processing

VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Formal passive testing of timed systems: theory and tools

  • Softw. Test., Verif. Reliab.
  • 2012
VIEW 5 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

2004
2019

CITATION STATISTICS

  • 16 Highly Influenced Citations

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…