**Department news**: \\

**Presentation (discussion)** \\
This Friday Bent and Kasper will give a talk about (interesting Java world)?

**Title**\\ 
Towards Compositional Schedulability and WCET Analysis for Safety Critical Java

and

Model Based Schedulability Analysis of Java Bytecode Programs Executed on Commodity Hardware


**Presenter**\\ Bent Thomsen and Kasper Søe Luckow

**Abstract**\\ 
C is the dominant programming language for embedded systems, but there is a crisis as the number of C programmers is declining.
Java is the most popular language on earth with more than 9 million programmers. What would it take to make Java suitable for safety critical hard-real-time embedded systems? This talk will give an overview of the work at Aalborg University in this area. 

Schedulability analysis is used for determining whether there exists a schedule, such that the real-time tasks comprising the system, can uphold their respective deadlines. Hence, this analysis is an imperative in verifying that the (hard) real-time system is temporally correct.
In this session, I will present our latest research in model-based schedulability analysis of Java bytecode

**Keywords**\\ 


**Attendance:**\\