Safety Critical Java for Robotics Programming

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

Safety Critical Java for Robotics Programming

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

Aalborg Universitet
Carnegie Mellon University

Publikation: Konferencebidrag uden forlag/tidsskrift › Paper/skriftligt oplæg › Forskning › peer 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.

Originalsprog	Engelsk
Publikationsdato	2015
Antal sider	10
Status	Udgivet - 2015

Andre filer og links

http://vbn.aau.dk/da/publications/the-3rd-aau-workshop-on-robotics%2882042ff5-e25a-44ce-b65a-1ad1f72c4c6b%29.html

Citationsformater

@conference{51c702fb1a6c46e8a6c1a9f6eca8aaee,

title = "Safety Critical Java for Robotics Programming",

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.",

author = "Bent Thomsen and Luckow, \{Kasper S{\o}e\} and Thomas B{\o}gholm and \{Leth Thomsen\}, Lone and Korsholm, \{Stephan Erbs\}",

year = "2015",

language = "English",

pages = "38--47",

}

TY - CONF

T1 - Safety Critical Java for Robotics Programming

AU - Thomsen, Bent

AU - Luckow, Kasper Søe

AU - Bøgholm, Thomas

AU - Leth Thomsen, Lone

AU - Korsholm, Stephan Erbs

PY - 2015

Y1 - 2015

N2 - 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.

AB - 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.

UR - http://vbn.aau.dk/da/publications/the-3rd-aau-workshop-on-robotics%2882042ff5-e25a-44ce-b65a-1ad1f72c4c6b%29.html

M3 - Paper

SP - 38

EP - 47

ER -

Safety Critical Java for Robotics Programming

Abstract

Andre filer og links

Fingeraftryk

Citationsformater