The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks
IRTAW '88 Proceedings of the second international workshop on Real-time Ada issues
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
Query-based debugging of object-oriented programs
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Maintenance of materialized views: problems, techniques, and applications
Materialized views
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
The Real-Time Specification for Java
The Real-Time Specification for Java
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
LCTES '98 Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems
JIVE: java interactive visualization environment
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting
RTAS '05 Proceedings of the 11th IEEE Real Time on Embedded Technology and Applications Symposium
Methodology and architecture of JIVE
SoftVis '05 Proceedings of the 2005 ACM symposium on Software visualization
Relational queries over program traces
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis
RTAS '07 Proceedings of the 13th IEEE Real Time and Embedded Technology and Applications Symposium
Journal of Computing Sciences in Colleges
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
The worst-case execution-time problem—overview of methods and survey of tools
ACM Transactions on Embedded Computing Systems (TECS)
Finding causes of program output with the Java Whyline
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
CDx: a family of real-time Java benchmarks
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Real time Java on resource-constrained platforms with Fiji VM
Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Challenge benchmarks for verification of real-time programs
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification
High-level programming of embedded hard real-time devices
Proceedings of the 5th European conference on Computer systems
Model-Level Debugging of Embedded Real-Time Systems
CIT '10 Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology
Using deterministic replay for debugging of distributed real-time systems
Euromicro-RTS'00 Proceedings of the 12th Euromicro conference on Real-time systems
VILLE: a language-independent program visualization tool
Koli Calling '07 Proceedings of the Seventh Baltic Sea Conference on Computing Education Research - Volume 88
Towards monitoring temporal properties with JamaicaVM
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems
Hi-index | 0.00 |
Hard real-time systems have stringent timing and resource requirements. As such, debugging and tracing such systems often requires low-level hardware support, and online debugging is usually precluded entirely. In other areas, visual debugging has greatly improved program understanding and late cycle development times for non real-time applications. In this paper we introduce a visual test and debug framework for hard real-time Java applications built around the Jive platform and realized in the Fiji VM. Our framework, called Ji.Fi, provides high-level debugging support over low-level execution traces. Ji.Fi provides both powerful visualizations and real-time centric temporal query support. To ensure preservation of the real-time characteristics of the application being tested and debugged, Ji.Fi leverages a real-time event log infrastructure that logs only relevant application and virtual machine level events, such as synchronization and modifications to priorities or thread state. Our performance results indicate that our logging infrastructure is suitable for hard real-time systems, as the performance impact is both uniform and quantifiable.