Rechnerarchitekturen und -systeme
Rechnerarchitekturen und -systeme

M.Sc. Daniel Markert

Raum:  A12.014.2
Tel.:  +49 371 531 - 34946
Fax:  +49 371 531 - 834672
Anschrift:  Rechnerarchitekturen und -systeme
Fakultät für Informatik, TU Chemnitz
Straße der Nationen 62
09111 Chemnitz
E-Mail: 
Sprechzeiten:  nach Vereinbarung

 

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-specified requirements concerning, in particular, timing and reliability.

TUCaktuell