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.
|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 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
|Workshop||10th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2012)|
|Location||Technical University of Denmark|
|Period||24/10/2012 → 26/10/2012|