With the impending release of the DO-178C safety standard for certifying object-oriented software, code analysis and verification company LDRA announced today that it will support the Java programming language in its tool suite.
Java has not been used in safety-critical applications because there hasn’t been clear guidance on how to certify it, according to Ian Hennell, LDRA’s operations director.
“From our perspective, Java’s time is now firmly in the frame,” he said. “It’s not necessarily about embedded. Java’s being used in areas where more rigor is being demanded.”
Hennell added that Java is mostly used in networking, communications and UI components of complex, safety-critical applications.
Another effort, JSR-302 for safety-critical Java, is taking the processes, rigor and certification required by these types of applications and bringing it to the wider world, he added. “The maturity and acceptance of the language, with new certification controls…You have to take Java into account now.”
Hennell said organizations can learn from others where rigorous coding standards are mandated—often projects that are expensive but funded by the U.S. Department of Defense—and apply that same level of rigor but at much less cost.
Doug Locke, the spec lead for JSR-302 and principal at LC Systems Services, said a draft specification should be posted to the Java Community Process site in a few weeks. “As you may imagine, bringing Java into the safety-critical systems arena is not an easy task,” he said. “Many would consider the idea to be an oxymoron, but we believe we have arrived at a draft standard that will definitely make it possible.”
Java support will appear first in Testbed, the company’s static and dynamic analysis engine; TBrun, the company’s automated unit test engine; and the company’s TBvision reporting and management software.