A desktop 3D printer in safety-critical Java

Tórur Biskopstø Strøm; Martin Schoeberl

doi:10.1145/2388936.2388949

A desktop 3D printer in safety-critical Java

Tórur Biskopstø Strøm
, Martin Schoeberl

Technical University of Denmark

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification.
In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.

Original language	English
Title of host publication	Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems
Publisher	Association for Computing Machinery
Publication date	2012
Pages	72-79
ISBN (Print)	978-1-4503-1688-0
DOIs	https://doi.org/10.1145/2388936.2388949
Publication status	Published - 2012
Event	10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012) - Technical University of Denmark, Copenhagen, Denmark Duration: 24 Oct 2012 → 26 Oct 2012 http://jtres2012.imm.dtu.dk/

Workshop

Workshop	10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012)
Location	Technical University of Denmark
Country/Territory	Denmark
City	Copenhagen
Period	24/10/2012 → 26/10/2012
Internet address	http://jtres2012.imm.dtu.dk/

Access to Document

10.1145/2388936.2388949

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{05deaa20eda14b4ea4f562e8d234b6d0,

title = "A desktop 3D printer in safety-critical Java",

abstract = "It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.",

author = "Str{\o}m, \{T{\'o}rur Biskopst{\o}\} and Martin Schoeberl",

year = "2012",

doi = "10.1145/2388936.2388949",

language = "English",

isbn = "978-1-4503-1688-0",

pages = "72--79",

booktitle = "Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems",

publisher = "Association for Computing Machinery",

address = "United States",

note = "10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012) ; Conference date: 24-10-2012 Through 26-10-2012",

url = "http://jtres2012.imm.dtu.dk/",

}

Strøm, TB & Schoeberl, M 2012, A desktop 3D printer in safety-critical Java. in Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems. Association for Computing Machinery, pp. 72-79, 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012), Copenhagen, Denmark, 24/10/2012. https://doi.org/10.1145/2388936.2388949

TY - GEN

T1 - A desktop 3D printer in safety-critical Java

AU - Strøm, Tórur Biskopstø

AU - Schoeberl, Martin

PY - 2012

Y1 - 2012

N2 - It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.

AB - It is desirable to bring Java technology to safety-critical systems. To this end The Open Group has created the safety-critical Java specification, which will allow Java applications, written according to the specification, to be certifiable in accordance with safety-critical standards. Although there exist several safety-critical Java framework implementations, there is a lack of safety-critical use cases implemented according to the specification. In this paper we present a 3D printer and its safety-critical Java level 1 implementation as a use case. With basis in the implementation we evaluate the specification and its usability for developers of safety-critical systems.

U2 - 10.1145/2388936.2388949

DO - 10.1145/2388936.2388949

M3 - Article in proceedings

SN - 978-1-4503-1688-0

SP - 72

EP - 79

BT - Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems

PB - Association for Computing Machinery

T2 - 10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012)

Y2 - 24 October 2012 through 26 October 2012

ER -

A desktop 3D printer in safety-critical Java

Abstract

Workshop

Access to Document

OpenUrl availability

Fingerprint

Cite this