Module label | Laboratory Real-Time Systems |
Module abbreviation | inf406 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Applicability of the module |
|
Responsible persons |
|
Prerequisites | 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). Professional competence The students:
Methodological competence The students:
Social competence The students:
Self-competence The students:
|
Module contents | 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. |
Recommended reading | E.-R. Olderog, H. Dierks: Real-Time Systems: Formal Specification and Automatic Verification, Cambridge University Press, 2008 |
Links | |
Language of instruction | German |
Duration (semesters) | 1 Semester |
Module frequency | unregelmäßig |
Module capacity | unlimited |
Module level | |
Type of module | |
Teaching/Learning method | |
Previous knowledge |
Examination | Examination times | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
exercises |
Type of course | Practical training |
SWS | 4 |
Frequency | WiSe |
Workload Präsenzzeit | 56 h |