Computer Architectures and Systems
Computer Architectures and Systems

M.Sc. Daniel Markert

Room:  A12.014.2
Tel.:  +49 371 531 - 34946
Fax:  +49 371 531 - 834672
Address:  Computer Achitectures and Systems
Dept. of Computer Science, TU Chemnitz
Strasse der Nationen 62
09111 Chemnitz, Germany
E-mail: 
Consultation:  on appointment

 

Thesis Title: openCPS: Stochastic Models for the Design and Analysis of Open-Ended Cyber-Physical Systems

Description: In general, deterministic methods do not seem adequate for the design and analysis of open-ended CPS. Since the concept of open-ended CPS implies certain randomness - components join and leave the system at arbitrary points in time - it seems more natural to use stochastic models instead. Stochastic models then facilitate statistical and probabilistic techniques for timing/reliability analysis and validation. The focus in this project is on developing stochastic models for system-level design and analysis of open-ended CPS that allow us to give probabilistic guarantees of meeting pre-speci ed requirements concerning, in particular, timing and reliability.

University News