Theoretische Informatik - Entwicklung korrekter Systeme
Welcome
Real-time systems are systems in which a time critical output is produces or data is read. The modells for realtimesystems are expended by one dimension, the time, compared against normal programming methods. A daily example for realtimesystems is the airbag. It has do ignite fast enough but not too fast, because the airbag effect lasts only a hundredth of a second. In this practical course the basic methods should be educated and trained in practical examples.