Safety Critical Java for Robotics Programming

Bent Thomsen, Kasper Søe Luckow, Thomas Bøgholm, Lone Leth Thomsen, Stephan Erbs Korsholm

    Publikation: Konferencebidrag uden forlag/tidsskriftPaper/skriftligt oplægForskningpeer review

    Abstract

    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.
    OriginalsprogEngelsk
    Publikationsdato2015
    Antal sider10
    StatusUdgivet - 2015

    Citationsformater