Mission Modes for Safety Critical Java
Java is now considered as a language for the domain of safety critical applications. A restricted version of the Real-Time Specification for Java (RTSJ) is currently under development within the Java Specification Request (JSR) 302. The application model follows the Ravenscar Ada approach with a fixed number of threads during the mission phase. This static approach simplifies certification against safety critical standards such as DO-178B. In this paper we extend this restrictive model by mission modes. Mission modes are intended to cover different modes of a real-time application during runtime without a complete restart. Mission modes are still simpler to analyze with respect to WCET and schedulability than the full dynamic RTSJ model. Furthermore our approach to thread stopping during a mode change provides a clean coordination between the runtime system and the application threads.
- 1.Bollella, G., Gosling, J., Brosgol, B., Dibble, P., Furr, S., Turnbull, M.: The Real-Time Specification for Java. Java Series. Addison-Wesley, Reading (2000)Google Scholar
- 2.Puschner, P., Wellings, A.J.: A profile for high integrity real-time Java programs. In: 4th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC), IEEE Computer Society Press, Los Alamitos (2001)Google Scholar
- 5.Java Expert Group: Java specification request JSR 302: Safety critical java technology. Available, at http://jcp.org/en/jsr/detail?id=302
- 6.RTCA/DO-178B: Software considerations in airborne systems and equipment certification (December 1992)Google Scholar
- 7.Schoeberl, M., Sondergaard, H., Thomsen, B., Ravn, A.P.: A profile for safety critical java. In: 10th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2007), IEEE Computer Society Press, Los Alamitos (2007)Google Scholar
- 8.Audsley, N.C., Burns, A., Richardson, M.F., Wellings, A.J.: Hard real-time scheduling: The deadline monotonic approach. In: Proceedings 8th IEEE Workshop on Real-Time Operating Systems and Software, Atalanta, IEEE Computer Society Press, Los Alamitos (1991)Google Scholar