Safety Critical Java for Robotics Programming
Bent Thomsen, Kasper Søe Luckow, Thomas Bøgholm, Lone Leth Thomsen, Stephan Erbs Korsholm · VBN Forskningsportal (Aalborg Universitet) · 2015
This paper introduces Safety Critical Java (SCJ) and argues its readiness for robotics programming. We give an overview of the work done at Aalborg University and elsewhere on SCJl, some of its implementations in the form of the JOP, FijiVM and HVM and some of the tools, especially WCA, TetaSARTS tool suite and SymRT, allowing programmers to analyze their SCJ applications for correct time behaviour.