RPTU University Library

Concepts for the Analysis and Management of Real-Time Systems

  • On the one hand, this work introduces concepts facilitating a more expressive and efficient system timing analysis. On the other hand, it introduces schemes for ensuring that the system stays within its operational bounds, such as execution time envelopes under resource contention and does so in the presence of power and thermal restrictions.

Download full text files

Export metadata

Metadaten
Author:Kai LampkaORCiD
URN:urn:nbn:de:hbz:386-kluedo-132557
DOI:https://doi.org/10.26204/KLUEDO/13255
Advisor:Jens SchmittORCiD
Document Type:Habilitation
Language of publication:English
Date of Publication (online):2026/06/22
Year of first Publication:2026
Publishing Institution:Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Granting Institution:Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau
Acceptance Date of the Thesis:2024/06/26
Date of the Publication (Server):2026/06/24
Page Number:159
Faculties / Organisational entities:Kaiserslautern - Fachbereich Informatik
CCS-Classification (computer science):D. Software / D.2 SOFTWARE ENGINEERING (K.6.3) / D.2.4 Software/Program Verification (F.3.1) (REVISED) / Formal methods (NEW)
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 000 Allgemeines, Wissenschaft
MSC-Classification (mathematics):68-XX COMPUTER SCIENCE (For papers containing software, source code, etc. in a specific mathematical area, see the classification number 04 in that area.) / 68-02 Research exposition (monographs, survey articles)
Licence (German):Creative Commons 4.0 - Namensnennung (CC BY 4.0)