Die Bemerkungen werden in das gedruckte Vorlesungsverzeichnis übernommen. Description:
Real-time systems play a crucial role in many applications, such as avionic control systems, automotive electronics, telecommunications, industrial automation, and robotics. Such safety-critical applications require high reliability in timing assurance to prevent from serious damage to the environment and significant human loss.
Traditional timing verificatins in real-time systems separate the worst-case execution time of a program and the worst-case response time of a task for the ease of analysis. However, as worst-case execution time analysis is usually quite pessimistic and may be much worse than the real cases. The mixed-criticality scheduling targets at the ease of certifications by considering different tasks with different criticality levels.
In this seminar we will survey the existing body of research in this domain and identify the important scientific challenges for these advanced topics. Areas covered will be fairly broad and will equip participants with necessary knowledge to analyze the novel approaches in the field.
Each of the participants will be expected to go through the relevant literature and prepare a scientific report of about 15 pages on the assigned topic and present the findings through a presentation of 20 minutes in the end of the course. All the presentations will be held at the end of the semester in a block form. The topics will be allocated in the first meeting. Most of the administrative issues will be addressed in the first meeting.