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.
Year
DOI
Venue
2012
10.1145/2388936.2388949
JTRES
Keywords
Field
DocType
java application,safety-critical system,safety-critical java specification,use case,safety-critical standard,open group,java technology,safety-critical java framework implementation,safety-critical java level,safety-critical use case
Programming language,Java annotation,Computer science,Real time Java,Java API for XML-based RPC,Real-time computing,strictfp,Generics in Java,Java applet,Java Modeling Language,Java
Conference
Citations 
PageRank 
References 
9
0.55
17
Authors
2
Name
Order
Citations
PageRank
Tórur Biskopstø Strøm1174.45
Martin Schoeberl2120086.32