A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
Filters
Private memory allocation analysis for safety-critical Java
2012
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12
SAFETY-CRITICAL JAVA Safety-critical Java (SCJ) [6] is intended for future safetycritical systems that need certification. ...
Safety-critical Java (SCJ) avoids garbage collection and uses a scope based memory model. This memory model is based on a restricted version of RTSJ [3] style scopes. ...
INTRODUCTION The standard defining safety-critical Java (SCJ) [6] introduces the concept of private memories. ...
doi:10.1145/2388936.2388939
dblp:conf/jtres/DalsgaardHS12
fatcat:ryxc3xogazb4xgjvvb35y4g22m
Reusable Libraries for Safety-Critical Java
2014
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Safety-critical Java uses scope-based memory areas instead of a garbage-collected heap. Therefore, the Java class libraries are problematic to use in safety-critical Java. ...
We have identified common programming patterns in the Java class libraries that make them unsuitable for safety-critical Java. ...
This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences under contract ...
doi:10.1109/isorc.2014.27
dblp:conf/isorc/RiosS14
fatcat:uwh6doxgqva7tpxt7rsuvhwe4m
Developing safety critical Java applications with oSCJ/L0
2010
Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems - JTRES '10
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission-and safety-critical software. ...
It does this by defining a subset of the Real-time Specification for Java that trades expressiveness for verifiability. ...
To support safety-critical development in Java, the JSR-302 expert group was tasked with defining a new standard -the Safety Critical Java (SCJ) specification [5] . ...
doi:10.1145/1850771.1850786
dblp:conf/jtres/PlsekZSTKV10
fatcat:buohgi6kt5hk7mjgtcq5hbcwzq
Safety-critical Java for embedded systems
2016
Concurrency and Computation
The outcome of this project include prototype safety-critical Java implementations, a time-predictable Java processor, analysis tools for memory safety, and example applications to explore the usability ...
of safety-critical Java for this application area. ...
ACKNOWLEDGEMENT This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences ...
doi:10.1002/cpe.3963
fatcat:tmeskmj55jbpbbphborjywn5vy
Certifiable Java for Embedded Systems
2014
Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '14
The Certifiable Java for Embedded Systems (CJ4ES) project aimed to develop a prototype development environment and platform for safety-critical software for embedded applications. ...
There are three core constituents: A profile of the Java programming language that is tailored for safety-critical applications, a predictable Java processor built with FPGA technology, and an Eclipse ...
Acknowledgment This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences ...
doi:10.1145/2661020.2661025
dblp:conf/jtres/SchoeberlDHKRRSS14
fatcat:mxmr4swd3nd7ljcjuagcitqeyi
A desktop 3D printer in safety-critical Java
2012
Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12
With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems. ...
It is desirable to bring Java technology to safety-critical systems. ...
Safety-Critical Java Safety-critical Java (SCJ) [5] is intended for future safety-critical systems that need certification. ...
doi:10.1145/2388936.2388949
dblp:conf/jtres/StromS12
fatcat:krxxxw3uq5f7rpi37tfv6g64yy
Memory Safety for Safety Critical Java
[chapter]
2011
Distributed, Embedded and Real-time Java Systems
This chapter introduces the memory management API of the Safety Critical Java specification and presents a static technique for ensuring memory safety. ...
Memory is a key resource in computer systems. Safety-critical systems often must operate for long periods of time with limited available memory. ...
and comments on the memory safety annotations presented in this chapter. ...
doi:10.1007/978-1-4419-8158-5_10
fatcat:4qzoyyg47rblzbcczxsgptd65e
Challenge benchmarks for verification of real-time programs
2010
Proceedings of the 4th ACM SIGPLAN workshop on Programming languages meets program verification - PLPV '10
Real-time systems, and in particular safety-critical systems, are a rich source of challenges for the program verification community as software errors can have catastrophic consequences. ...
This papers presents open challenges for verification of real-time systems in the context of the Real-time Specification for Java. ...
Type Analysis The size of the code base that must be validated is an important concern in safety-critical applications. ...
doi:10.1145/1707790.1707800
dblp:conf/plpv/KaliberaPHLV10
fatcat:exw44v56fbhkdcu7nhof74b6ca
Implementing Safety-Critical Java Missions in Ada
2016
ACM SIGAda Ada Letters
The Java community has, by necessity, taken a slightly less conservative approach. Safety-Critical Java (SCJ) supports a constrained use of dynamic memory allocation. ...
Critical systems written in Ada are still reluctant to use dynamic memory allocation. The Ravenscar profile, for example, prohibits the dynamic creation of tasks. ...
Safety-Critical Java (SCJ -a subset of Java augmented by the Real-Time Specification for Java) supports a novel application structure based on the notion of missions. ...
doi:10.1145/2971571.2971578
fatcat:dzymaf3fbbe75k5lmnc5eyno4i
Virtualizing real-time embedded systems with Java
2011
Proceedings of the 48th Design Automation Conference on - DAC '11
Programming in Java leads to memory-safe code that can be ported straightforwardly across architecture and operating system. ...
This paper surveys the state of the art in Java virtualization for real-time and embedded systems. ...
The first is the Real-time Specification for Java (RTSJ) [6] and more recently the Safety Critical Java Specification (SCJ) [12] . ...
doi:10.1145/2024724.2024926
dblp:conf/dac/Vitek11
fatcat:2nexeeedkfbdde2nf4vttmq3n4
Safety-Critical Java on a Time-Predictable Processor
2015
Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '15
This paper presents a time-predictable platform for safety-critical Java. ...
The platform consists of (1) the Patmos processor, which is a time-predictable processor; (2) a C compiler for Patmos with support for WCET analysis; (3) the HVM, which is a Java-to-C compiler; (4) the ...
This paper presents a time-predictable execution environment for real-time and safety-critical Java (SCJ). ...
doi:10.1145/2822304.2822309
dblp:conf/jtres/KorsholmSP15
fatcat:d7prxekovze7xcafooshkxdkpi
An Evaluation of Safety-Critical Java on a Java Processor
2014
2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
The safety-critical Java (SCJ) specification provides a restricted set of the Java language intended for applications that require certification. ...
We evaluate the accuracy of periods, linear-time memory allocation, aperiodic event handling, dispatch latency for interrupts, context switch preemption latency, and synchronization. ...
ACKNOWLEDGMENTS This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences ...
doi:10.1109/isorc.2014.41
dblp:conf/isorc/RiosS14a
fatcat:mieyhfprhjezpofy6ahq3hpy3y
Chip-multiprocessor hardware locks for safety-critical Java
2013
Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '13
The solution is implemented for the chip-multiprocessor version of the Java Optimized Processor in the context of safety-critical Java. The implementation is compared to a software solution. ...
Acknowledgments This work is part of the project "Certifiable Java for Embedded Systems" (CJ4ES) and has received partial funding from the Danish Research Council for Technology and Production Sciences ...
We also thank the anonymous reviewers for their detailed reviews where they also pointed out some motivations in the SCJ specification we where not aware of. ...
doi:10.1145/2512989.2512995
dblp:conf/jtres/StromPS13
fatcat:c5h3n3zvx5e7hhay2q4vgl3jwu
Reflexes
2010
ACM Transactions on Embedded Computing Systems
Achieving submillisecond response times in a managed language environment such as Java or C# requires overcoming significant challenges. ...
In this article, we propose Reflexes, a programming model and runtime system infrastructure that lets developers seamlessly mix highly responsive tasks and timing-oblivious Java applications. ...
ACKNOWLEDGMENTS We thank Jason Baker and Toni Cunei for their help with Ovm internals; Joshua Auerbach and David F. Bacon for their help with J9. ...
doi:10.1145/1814539.1814543
fatcat:sm45mzhtlzbcfb3rrjobfpvycq
Hardware Support for Safety-Critical Java Scope Checks
2012
2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Memory management in Safety-Critical Java (SCJ) is based on time bounded, non garbage collected scoped memory regions used to store temporary objects. ...
SCJ offers, compared to the RTSJ, a simplified memory model where only the immortal and mission memory scoped areas are shared between threads and any other scoped region is thread private. ...
The scoped memory model in Safety-Critical Java is restricted to only allow sharing of objects between threads in immortal and mission memory. ...
doi:10.1109/isorc.2012.13
dblp:conf/isorc/RiosS12
fatcat:ldum76qog5fynaeqgxc2de64su
« Previous
Showing results 1 — 15 out of 3,687 results