Differences

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

--- 20120921 [2012/09/07 12:27] – created root
+++ 20120921 [2012/09/11 07:25] (current) – luckow
@@ Line 5: / Line 5: @@
 **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**\\