Towards programming Safety Critical Systems in Java
- đ¤ Speaker: Bent Thomsen (Aalborg University)
- đ Date & Time: Monday 03 November 2008, 15:15 - 16:15
- đ Venue: Computer Laboratory, Room FW26
Abstract
Java and Real-time programming is by many considered as an oxymoron. However, Java was originally developed as a programming language for embedded systems, but it was the Internet that propelled Java into mainstream computing, because there was a need for a language that was portable and truly object-oriented, eliminating the error-prone programming of memory allocation and pointer manipulation. Unfortunately, precisely those features made it less suited for predictable, real-time embedded systems. Especially the virtual machine, that gave portability, was considered inefficient. However, with recent advances in JVM implementations, especially the emergence hardware JVMs such as the aJ-100 and JOP , it is now possible to write real-time applications in Java that execute as efficiently as their non-Java alternatives.
In this talk I will give an overview of research activities at CISS (Center for Indlejrede [Embedded] Software Systemer) concerned with programming Safety Critical Systems in Java.
I will in particular go into details about a new, minimal specification for real-time Java for safety critical applications. The intention is to provide a profile that supports programming of applications that can be validated against safety critical standards such as DO-178B. The proposed profile is in line with the Java specification request JSR -302: Safety Critical Java Technology, which is still under discussion. In contrast to the current direction of the expert group for the JSR -302 we do not subset the rather complex Real-Time Specification for Java (RTSJ). Nevertheless, our profile can be implemented on top of an RTSJ compliant JVM and has indeed been on both the aJ-100 processor and JOP . One aim with this profile is that it should be relatively easy for Java midlet/J2ME programmers to move into programming Safety Critical Systems in Java.
Series This talk is part of the Computer Laboratory Programming Research Group Seminar series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computer Laboratory Programming Research Group Seminar
- Computer Laboratory, Room FW26
- Department of Computer Science and Technology talks and seminars
- Interested Talks
- School of Technology
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.
![[Talks.cam]](/static/images/talkslogosmall.gif)


Monday 03 November 2008, 15:15-16:15