Simulation of safety-critical, real-time Java: A case study of dynamic analysis of scoped memory consumption

Hamza, Hamza; Counsell, Steve

doi:10.1016/j.simpat.2012.02.011

Cited by 3 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This paper extends previous work on a simulation of a railway control system executed on the Sun RTS2.2 virtual machine [4]; the case study illustrated how simulation of critical safety realtime applications in Java can be used to investigate the implementation of possible scoped memory design models and their memory consumption in multi-threaded environments. Results showed that a memory design model with a higher number of scopes achieved the least memory footprint.…”

Section: Introductionsupporting

confidence: 53%

See 1 more Smart Citation

Exploiting slicing and patterns for RTSJ immortal memory optimization

Hamza

Counsell

2013

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machi

View full text Add to dashboard Cite

The Real-Time Specification for Java (RTSJ) introduces a new memory management model which avoids interfering with the garbage collection process. Two types of memory areas are provided -immortal and scoped. Using this memory management model is not straightforward, since many issues need to be considered. A developer has to decide on the objects that will be allocated in immortal or scoped memory areas and on the memory space required at runtime. On the other hand, reference checks between memory areas constrain the design of the real-time applications and increase the complexity of the development process. In previous work, a new RTSJ case study was implemented and discussed using different scoped memory models. The case study showed the complexity of using the new RTSJ memory model and the space overhead incurred by immortal memory. In this paper, dynamic code slicing is employed as a debugging technique to explore constant increases in immortal memory. Two programming design patterns are presented for decreasing immortal memory overheads generated by specific data structures. Experimental results showed a significant decrease in immortal memory consumption at runtime. The work therefore provides a new approach for assisting developers in debugging and optimising scoped and immortal memory implementation

show abstract

Section: Introductionsupporting

confidence: 53%

“…The platform we ran our experiments on was the same as that used in (Hamza and Counsell, 2012) and is summarized in Table 1.…”

Section: Discussionmentioning

confidence: 99%

Exploiting slicing and patterns for RTSJ immortal memory optimization

Hamza

Counsell

2013

Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machi

View full text Add to dashboard Cite

show abstract

“…This paper will use the software design of real-time Java technology to complete networking gateway based on RTSJ, it not only simplifies the programming difficulty but also guarantees the real-time requirements of the system. To achieve the RTSJ standard, it needs the support from the underlying operating system, JRE and Java Library (Java Class Library, JCL) [5] . This paper is fully compatible with the RTSJ standard, and contains a number of new technologies, designing to improve the real-time system of WebSphere Real Time IBM development platform.…”

Section: Introductionmentioning

confidence: 99%

Research and Application of the IOT Gateway Based on the Real-Time Specification for Java

Haikun

Liu

et al. 2018

Int. J. Onl. Eng.

View full text Add to dashboard Cite

Abstract-The Internet Of Things (IOT) gateway plays an important role in connecting the traditional information network and network aware, in view of the present people use outdated development ways to realize Internet gateway software proposed a scheme of using real-time Java technology. This paper uses ARM cortex-A57 architecture of AMD Opteron 1100 processor as the core to build IOT gateway system hardware platform, through the gateway to realize remote monitoring of underlying device. The IOT gateway adopts "Internet + Sensor Network / FieldBus Technology" network schemes to realize wired / wireless data exchange, and use the fully compatible Real-Time Specification for Java (RTSJ) of the WebSphere Real Time development platform to achieve the Internet gateway protocol conversion and the design of the two layers network communication software to ensure the IOT gateway security real-time communication. Finally, this paper gives the implementation technique and application of the gateway.

show abstract

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

Singh

Wellings

Cavalcanti

2012

Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems

View full text Add to dashboard Cite

The cardiac pacemaker has emerged as a case study for evaluating the effectiveness of techniques for the verification and design of embedded systems with complex control requirements. This paper reports on the experiences of using this case study to evaluate the concurrency model of two programming language subsets that target safety-critical systems development: Safety-Critical Java (SCJ), a subset of the Real-Time Specification for Java, and Ravenscar Ada, a subset of the real-time support provided by Ada 2005. Our conclusions are that for SCJ, the lack of explicit support for watch-dog timers results in a software architecture where the time at which significant events occur must be saved, and polling must be used to detect their absence. Although this results in a less efficient system, the scheduling implications for the resulting software architecture are clear. In contrast, Ravenscar Ada's support for primitive timing events allow the construction of a highly optimized reactive solution. However, the timing properties of this solution are a little more complex to determine. Furthermore, the Ada solution requires a redundant task in order to prevent the program from terminating prematurely.

show abstract

Simulation of safety-critical, real-time Java: A case study of dynamic analysis of scoped memory consumption

Cited by 3 publications

References 17 publications

Exploiting slicing and patterns for RTSJ immortal memory optimization

Exploiting slicing and patterns for RTSJ immortal memory optimization

Research and Application of the IOT Gateway Based on the Real-Time Specification for Java

The cardiac pacemaker case study and its implementation in safety-critical Java and Ravenscar Ada

Contact Info

Product

Resources

About