Find JSRs
Submit this Search


Ad Banner
 
 
 
 

JSR #302
Safety Critical JavaTM Technology
JSR Renewal Ballot
Ballot duration: 2020-05-19   to: 2020-05-26


Special Vote Instructions:

JSR-302's EG has been meeting weekly for the past two months, and is very close to completion of the specification for Public Review. At the moment we are doing final edits, checking references, especially to JSR-282 that recently completed Public Review. We are also working toward completion of a Reference Implementation based upon the Reference Implementation of JSR-282, and are beginning work on a TCK.

At this time, I believe we can begin a Public Review in June or July. The EG will continue to meet weekly until the Public Review has begun. We are currently using Zoom for our EG meetings.

Please let the Spec Lead know if you have additional questions.


Continued Relevance of JSR-302 Safety-Critical Java(tm) Technology
Expert Group Statement
May 25, 2020

JSR-302 has taken much more time to produce than expected, but it is now essentially complete. This effort began in mid-2006, so it has taken 14 years of continuous effort. There are many reasons for the delay, but an examination of our history is not the purpose of this document.

However, it is appropriate to consider whether the original goals of this JSR continue to be relevant in 2020 as we prepare to submit our specification for Public Review. The goal of this JSR was stated in its original request:

“The proposed specification will define those capabilities needed to use Java technology to create safety critical applications. This means that the features included will be a minimal set, with such specific characteristics as static resource allocation and usage, minimal temporal conflicts, and without dynamic loading, leading to the ability to validate implementations using a variety of standards, including DO-178B / ED-12B. It is further implied that the features chosen can be validated using formal models, schedulability analysis, and modified condition/decision coverage (MC/DC) analysis.”

“It is strongly intended that this specification will incorporate the existing Java technology paradigm maximally, subject to the need for application validation. For example, it must be possible to create applications with fully predetermined resource allocation as required by most safety critical standards. This implies, for example, that a garbage collector might not be usable under such standards, and that it might be inappropriate for components to be dynamically loaded. Such applications will likely require a transformation from Java bytecodes to target machine representation prior to certification.”


These are the final results of the JSR Renewal Ballot for JSR #302. The EC has approved this ballot.

Votes


EC
Alibaba Co. Ltd. Yes
Arm Limited No Vote
Azul Systems, Inc. Yes
Biel, Marcus Yes
BNY Yes
Eclipse Foundation, Inc Yes
Fogel, Ken Yes
Fujitsu Limited Yes
Goldman Sachs & Co. Yes
IBM Yes
Intel Corp. Yes
JetBrains s.r.o. Yes
London Java Community Yes
MicroDoc Yes
Oracle Yes
SAP SE Yes
Software AG Yes
SouJava Yes
Tomitribe Yes
Twitter, Inc. Yes

Icon Legend
Yes Yes
No No
Abstain Abstain
Not voted Not voted


View Vote Log


EC