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)


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.


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


  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