Real-Time Systems


Real-time systems are integrated in many safety critical applications. Therefore the verification of timing behavior and performance analysis are essential for designing safe, energy efficient, and cost efficient embedded systems.


The LaS³ focuses on simulation based and formal analysis of real-time systems.


Go to Top

Ostbayerische Technische Hochschule Regensburg; Fakultät Elektro- und Informationstechnik; Seybothstraße 2; Postfach 12 03 27; 93053 Regensburg; Impressum