BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Schedulability analysis of embedded real-time Java - Thomas Boegho
 lm (University of Cambridge)
DTSTART:20101012T120000Z
DTEND:20101012T130000Z
UID:TALK26944@talks.cam.ac.uk
CONTACT:Thomas Tuerk
DESCRIPTION:Embedded systems are getting increasingly complex due to deman
 ds for increased functionality and shorter time to market. The conventiona
 l low-level programming languages used in this area do not capture this co
 mplexity very well\, and do not conform to the methods of modern software 
 engineering. This makes embedded systems development very hard for develop
 ers trained in modern software engineering practices and languages\, and t
 his is why more attention is turning towards using modern programming lang
 uages for developing embedded systems. \nOne such language is Java\, a pop
 ular modern language with a great number of skilled developers\, but with 
 features not very well-suited for real-time or embedded systems. For real-
 time systems\, a suitable specification of Java is required along with too
 ls supporting this specification. Work in this area includes the real-time
  specification for Java (RTSJ) which adds real-time functionality to Java\
 , and the upcoming safety-critical Java specification (SCJ) intended for h
 ard real-time systems. Both are are steps towards using Java as a language
  for real-time embedded safety critical systems.\n\nIn this talk we presen
 t our approach to real-time Java: a Java framework inspired by SCJ\, and t
 he SARTS tool for schedulability analysis of systems developed using this 
 framework. The presented framework is an event-handler-based approach with
  fixed priority pre-emptive scheduling and scoped memory\, where the analy
 sis consists of a translation of the program byte-code into a timed automa
 ta model using the model-checker UPPAAL for verification of schedulability
 .
LOCATION:Computer Laboratory\, William Gates Building\, Room SS03
END:VEVENT
END:VCALENDAR