|Module label||Laboratory Real-Time Systems|
|Credit points||6.0 KP|
|Institute directory||Department of Computing Science|
|Applicability of the module||
Theoretische Informatik I und II
|Skills to be acquired in this module||
The students learn about methods and tools, and how to apply, specify, simulate, verify, and implement real-time systems (RTS). The students gain hands-on experience using tangible Mini-Robots (Lego Mindstorms).
Real-time-systems are systems, where the time at which an output is generated or at which data are read is of importance. Compared to usual programming methods, RTS models are extended by the additional dimension of time. An example for a RTS is an airbag in a car, which needs to be triggered at the right moment of time, not too early and not too late, because the effect of the airbag is useful only for a few hundredths of seconds.
The course introduces methods and tools which are then practically applied to specify, verify, and implement RTS.
The students gain hands-on experience using Mini-Robots (Lego-Mindstorms) to implement RTS.
E.-R. Olderog, H. Dierks: Real-Time Systems: Formal Specification and Automatic Verification, Cambridge University Press, 2008
|Language of instruction||German|
|Duration (semesters)||1 Semester|
|Type of module|
|Examination||Examination times||Type of examination|
|Final exam of module||
At the end of the lecture period
|Type of course||Practical training
|Workload Präsenzzeit||56 h|