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: