BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Towards programming Safety Critical Systems in Java - Bent Thomsen
  (Aalborg University)
DTSTART:20081103T151500Z
DTEND:20081103T161500Z
UID:TALK14616@talks.cam.ac.uk
CONTACT:Alan Mycroft
DESCRIPTION:Java and Real-time programming is by many considered as an oxy
 moron.\nHowever\, Java was originally developed as a programming language 
 for embedded systems\, but it was the Internet that propelled Java into ma
 instream computing\, because there was a need for a language that was port
 able and truly object-oriented\, eliminating the error-prone programming o
 f memory allocation and pointer manipulation. Unfortunately\, precisely th
 ose features made it less suited for predictable\, real-time embedded\nsys
 tems. Especially the virtual machine\, that gave portability\, was conside
 red inefficient. However\, with recent advances in JVM implementations\, e
 specially the emergence hardware JVMs such as the aJ-100 and JOP\, it is n
 ow possible to write real-time applications in Java that execute as effici
 ently as their non-Java alternatives.\n\nIn this talk I will give an overv
 iew of research activities at CISS (Center for Indlejrede [Embedded] Softw
 are Systemer) concerned with programming Safety Critical Systems in Java.\
 n\nI will in particular go into details about a new\, minimal specificatio
 n for real-time Java for safety critical applications. The intention is to
  provide a profile that supports programming of applications that can be v
 alidated against safety critical standards such as DO-178B. The proposed p
 rofile is in line with the Java specification request JSR-302: Safety Crit
 ical 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 th
 e rather complex Real-Time Specification for Java (RTSJ). Nevertheless\, o
 ur profile can be implemented on top of an RTSJ compliant JVM and has inde
 ed been on both the aJ-100 processor and JOP.\nOne aim with this profile i
 s that it should be relatively easy for Java midlet/J2ME programmers to mo
 ve into programming Safety Critical Systems in Java.\n
LOCATION:Computer Laboratory\, Room FW26
END:VEVENT
END:VCALENDAR
