Filters








3,687 Hits in 5.1 sec

Private memory allocation analysis for safety-critical Java

Andreas E. Dalsgaard, René Rydhof Hansen, Martin Schoeberl
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

Juan Ricardo Rios, Martin Schoeberl
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

Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek
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

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard, Andy Wellings, Shuai Zhao
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

Martin Schoeberl, Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Stephan E. Korsholm, Anders P. Ravn, Juan Ricardo Rios Rivas, Tórur Biskopstø Strøm, Hans Søndergaard
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

Tórur Biskopstø Strøm, Martin Schoeberl
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]

Daniel Tang, Ales Plsek, Jan Vitek
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

Tomas Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek
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

A. J. Wellings, V. Cholpanov, A. Burns
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

Jan Vitek
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

Stephan E. Korsholm, Martin Schoeberl, Wolfgang Puffitsch
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

Juan Ricardo Rios, Martin Schoeberl
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

Tórur Biskopstø Strøm, Wolfgang Puffitsch, Martin Schoeberl
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

Jesper Honig Spring, Filip Pizlo, Jean Privat, Rachid Guerraoui, Jan Vitek
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

Juan Ricardo Rios, Martin Schoeberl
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