A desktop 3D printer in safety-critical Java

Tórur Biskopstø Strøm, Martin Schoeberl
2012 Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12  
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 safetycritical 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
more » ... afety-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.
doi:10.1145/2388936.2388949 dblp:conf/jtres/StromS12 fatcat:krxxxw3uq5f7rpi37tfv6g64yy