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 specifi cation, which will allow Java applications, written according to the speci fication, to be certi fiable in accordance with safety-critical standards. Although safety-critical Java framework implementations are well under way, there is a lack of safety-critical use cases implemented according to the speci fication.
This thesis presents a RepRap 3D desktop printer as a use case. As a part of the thesis it is implemented as a safety-critical Java level 1 application. Based on the implementation the speci fication and its usability is evaluated. It is shown that whilst there are several problematic areas in safety-critical Java, such as WCET analysability and lack of garbage collection, it is still possible to create a functioning RepRap in safety-critical Java. | | Type | Master's thesis [Academic thesis] | | Year | 2012 | | Publisher | Technical University of Denmark, DTU Informatics, E-mail: reception@imm.dtu.dk | | Address | Asmussens Alle, Building 305, DK-2800 Kgs. Lyngby, Denmark | | Series | IMM-M.Sc.-2012-141 | | Note | DTU supervisor: Martin Schoeberl, masca@imm.dtu.dk, DTU Informatics | | Electronic version(s) | [pdf] | | Publication link | http://www.imm.dtu.dk/English.aspx | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|