Publications by Dr. James J. Hunt

Click on the titles to view and download the abtracts.

Real-Time Specification for Java Update (JSR 282 Progress)

Published/Presented at: 
JTRES 2013, Karlsruhe, Germany
Author: 
James J. Hunt

Real-Time Specification for Java Update (JSR 282 Progress)

A new I/O model for the real-time specification for Java

Published/Presented at: 
JTRES 2012 - Copenhagen, Denmark
Author: 
James J. Hunt

The Real-Time Specification for Java (RTSJ) does not only provide features for realtime programming but also for direct device access. Both reading and writing to a device and reacting to external signals are supported. Unfortunately, the APIs provided have two major drawbacks: since a single class is used to access all types of I/O devices, it is hard to provide an efficient implementation; and there is no mechanism for the user to add new external signals.

Graph Transforming Java Data

Published/Presented at: 
FASE 2012 - 15th International Conference on Fundamental Approaches to Software Engineering, Tallinn, Estonia
Author: 
Maarten De Mol, Arend Rensink and James J. Hunt

The Practical Application of Formal Methods: Where is the Benefit for Industry?

Published/Presented at: 
FoVeOOS 2011 - 2nd International Conference on Formal Verification of Object-Oriented Software, Turin, Italy
Author: 
James J. Hunt

Abstract

Multicore for RealTime and Safety Critical Software: Avoid the Pitfalls

Published/Presented at: 
MultiCore Expo - The 6th Annual Multicore Developers Conference 2011, San Jose, CA, USA
Author: 
Dr. Fridtjof Siebert, Dr. James J. Hunt

The move towards multicores is so strong that real-time and safety-critical applications will make use of multicores and have to adapt to the rules dictated by multicore hardware, while off-the-shelf multicore hardware is optimized for average-case throughput. This talk focusses on the impact this move to multicores has on real-time and safety-critical code. The software developer has to be aware of the effects of cache structures and memory models to understand the consequences on performance and correctness of his code.

The Future of Real-Time Java in Avionics

Published/Presented at: 
JavaOne 2010 - San Francisco, California, USA
Author: 
James J. Hunt

Real-Time Java has been used in avionics systems; however, its use has been limited due to the difficulty of certifying Java programs. Containing a supplement for using object-oriented technology in avionics, the next generation of software certification standards will change this. This supplement gives clear guidance for using object-oriented features such as dynamic dispatch and inheritance as well as other features of Real-Time Java such as interpretation and garbage collection.

Pages