31/03/2010

oSCJ Released!

We are happy to announce
oSCJ : open Safety-Critical Java implementation 
has been released.

The oSCJ distribution contains:
  • Library
    • SCJ Level 0 library implementation
    • an RTSJ-compatible implementation for evaluating SCJ on top of RTSJ VMs
  • SCJ-compliant VM
    • our VM is based on OVM
    • we provide support also for FijiVM
  • Tools 
    • Checker - a static checker for proving memory safety of SCJ programs and other properties
    • TCK - Technology Compatibility Kit for SCJ
  • Benchmark Suite 
    • HelloWorld example for experimenting with SCJ
    • miniCDj - SCJ implementation of our CDx benchmark
Download the distribution from oSCJ webpage.
    Enjoy and we are looking forward to your feedback!

    07/03/2010

    Collision Detector Benchmark : A New Version Released

    We have just released a new version of CDx : Open-source Realtime Collision Detector benchmark.
    Download our CDx benchmark version 1.1 here.

    This new version is largely simplified, specially the simulation of the input Frames is changed, now each frame is computed on-the-fly. The version 1.1 of the benchmark is used in two research papers recently published at EuroSys'10 and PLDI'10, see our list of publications.

    The CDx benchmark is now distributed under the New BSD License.

    03/02/2010

    ROOTs'10 Workshop Announcement

    ROOTs 2010 stands for 1st International Workshop on Real-time Object-Oriented Technologies. Workshop will be collocated with ECOOP 2010 in Slovenia in June. 

    Briefly, the workshop will be concentrated around object-oriented desing and development of real-time, embedded and safety-critical applications
    The Program Committee comprises 16 independent specialists both from academia and industry.
    See more at our webpage:
    Feel free to propose participation. We are looking for your papers, demos submissions, etc.

    See you at ECOOP 2010!

    31/01/2010

    oSCJ White Paper

    oSCJ : Open Safety-Critical Java white paper will be part of annual report of Computer Science department at Purdue University. See the paper here:

    19/12/2009

    Safety-Critical Java Introduction

    Safety-Critical Java is a new JSR-302 specification for a Safety-Critical standard on the Java platform.

    A good introductory paper to the Safety-Critical Java implementation is Java for Safety-Critical Applications.

    Look also at TCK for SCJ paper.

    11/12/2009

    oSCJ Webpage Launched

    Recently, we have launched our Open Safety-Critical Java (oSCJ) Project. This project is based on the JSR302 Safety-Critical Java Specification, 

    As the first result, an oSCJ Home Page was launched:



    More news to come soon, the first release is coming January 2010. Stay tuned.

    16/11/2009

    A New Real-time VM Was Born - Fiji VM

    The new virtual machine for real-time world is here. Fiji VM technology enables developers to:
    • Seamlessly integrate pure Java code into real-time, safety-critical, and mission-critical systems.
    • Deploy on a broad range of hardware and operating systems, ranging from ARM and ERC32 to PowerPC and x86/x86_64, from RTEMS to Linux or Darwin.
    • Boot Java from bare hardware - for small footprint (100KB) applications, Fiji VM provides the unique ability to boot Java from bare hardware.
    • Execute Java with deterministic garbage collection, as well as full support for safe GC-less allocation.
    • Achieve high performance execution. From the peformance perspective, Fiji VM seems very promising, having only 40% slow down comparing to C.
    Fiji VM library choicesFiji VM technology offers a variety of footprint and library options to the developer, if extremely small footprint (100KB) is desired, Fiji offers Fiji HardRTJ library.

    To give you a better picture, here is how FijiVM fits into the whole stuck:

    fiji diagram
    Fiji VM 1.0 release is coming in December 2009. More at Fiji Systems LLC home page.