Differences

This shows you the differences between two versions of the page.

--- 20120921 [2012/09/09 08:03] – bt
+++ 20120921 [2012/09/11 07:25] (current) – luckow
@@ Line 4: / Line 4: @@
 This Friday Bent and Kasper will give a talk about (interesting Java world)?
-**Title**\\ Towards Compositional Schedulability and WCET Analysis for Safety Critical Java
+**Title**\\
+Towards Compositional Schedulability and WCET Analysis for Safety Critical Java
-**Presenter**\\ Bent Thomsen
+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**\\