Advertisement

Runtime Visualization and Verification in JIVE

  • Lukasz ZiarekEmail author
  • Bharat Jayaraman
  • Demian Lessa
  • J. Swaminathan
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10012)

Abstract

Jive is a runtime visualization system that provides (1) a visual representation of the execution of a Java program, including UML-style object and sequence diagrams as well as domain specific diagrams, (2) temporal query-based analysis over program schedules, executions, and traces, (3) finite-state automata based upon key object attributes of interest to the user, and (4) verification of the correctness of program execution with respect to design-time specifications. In this paper we describe the overall Jive tool-chain and its features.

Keywords

Runtime visualization Object Sequence State diagrams Finite state model extraction Runtime verification 

References

  1. 1.
    Bacon, D.F., Cheng, P., Frampton, D., Pizzonia, M., Hauswirth, M., Rajan, V.T.: Demonstration: on-line visualization and analysis of real-time systems with TuningFork. In: Mycroft, A., Zeller, A. (eds.) CC 2006. LNCS, vol. 3923, pp. 96–100. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  2. 2.
    Blanton, E., Lessa, D., Arora, P., Ziarek, L., Jayaraman, B.: JIFI: visual test and debug queries for hard real-time. Concurrency Comput. Pract. Exper. 26(14), 2456–2487 (2014)CrossRefGoogle Scholar
  3. 3.
    Blanton, E., Lessa, D., Ziarek, L., Bharat Jayaraman, J.: Visual test and debug queries for hard real-time. In: Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, New York, October 2012Google Scholar
  4. 4.
    Cavalcanti, A., Wellings, A., Woodcock, J.: The safety-critical Java memory model: a formal account. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol. 6664, pp. 246–261. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-21437-0_20 CrossRefGoogle Scholar
  5. 5.
    Czyz, J.K., Jayaraman, B.: Declarative and visual debugging in eclipse. In: Proceedings of the 2007 OOPSLA Eclipse Technology eXchange Workshop (ETX 2007), pp. 31–35. ACM, New York (2007)Google Scholar
  6. 6.
    De Pauw, W., Lorenz, D., Vlissides, J., Wegman, M.: Execution patterns in object-oriented visualization. In: Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS 1998), pp. 219–234, April 1998Google Scholar
  7. 7.
    Havelund, K.: Java PathFinder User Guide. NASA Ames Research, California (1999)Google Scholar
  8. 8.
    Zheng, C.-H., Jensen, E., Mitchell, N., Ng, T.-Y., Yang, J.: Visualizing the execution of Java programs. In: Diehl, S. (ed.) Software Visualization. LNCS, vol. 2269, pp. 151–162. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Pizlo, F., Ziarek, L., Blanton, E., Maj, P., Vitek, J.: High-level programming of embedded hard real-time devices. In: Proceedings of the 5th European conference on Computer systems, EuroSys 2010, pp. 69–82. ACM, New York (2010)Google Scholar
  10. 10.
    Systä, T., Koskimies, K., Müller, H.: Shimba–an environment for reverse engineering Java software systems. Softw. Pract. Exper. 31, 371–394 (2001)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Lukasz Ziarek
    • 1
    Email author
  • Bharat Jayaraman
    • 1
  • Demian Lessa
    • 1
  • J. Swaminathan
    • 2
  1. 1.Department of Computer Science and EngineeringState University of New York at BuffaloBuffaloUSA
  2. 2.Amrita Vishwa Vidyapeetham UniversityCoimbatoreIndia

Personalised recommendations