inf406 - Laboratory Real-Time Systems (Complete module description)

inf406 - Laboratory Real-Time Systems (Complete module description)

Original version English PDF Download
Module label Laboratory Real-Time Systems
Modulkürzel inf406
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Verwendbarkeit des Moduls
  • Dual-Subject Bachelor's Programme Computing Science (Bachelor) >
  • Master of Education Programme (Vocational and Business Education) Computing Science (Master of Education) >
Zuständige Personen
  • Olderog, Ernst-Rüdiger (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
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:
  • implement RTS with Lego Mindstorm Robots NXT
  • simulate and verify RTS on the basis of real-time automata with the model checker UPPAAL
  • apply the tool Moby/RT to specify and simulate RTS on the basis of PLC-Automata, and to translate them into Java-Code for Lego Mindstorms NXT and into UPPAAL

Methodological competence
The students:
  • realise control tasks with Lego Mindstorms
  • specify RTS as networks of real-time automata and verify them with UPPAAL
  • design RTS using Moby/RT
  • realise systematically sophisticated time-dependent control tasks with Moby/RT, Lego Mindstorms, and UPPAAL

Social competence
The students:
  • solve tasks in a team
  • present solutions and discuss them

Self-competence
The students:
  • recognise (sub-)problems of RTS and are responsible for their realisation
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.
Literaturempfehlungen
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
Examination Prüfungszeiten Type of examination
Final exam of module
At the end of the lecture period
exercises
Form of instruction Practical training
SWS 4
Frequency WiSe