Diese Dissertation trägt zur quantitativen und strukturellen Analyse von Realzeit- und probabilistischen Systemen bei. Für die quantitative Analyse berücksichtigen wir Systemmodelle, die Ungenauigkeiten, Kosten und Wahrscheinlichkeiten aufweisen, und dabei über die klassische "ja/nein''-Korrektheit hinausgehen. Für die strukturelle Analyse berücksichtigen wir Reduktionsansätze für Netzwerke von Realzeit- und probabilistischen Systemen, die Nebenläufigkeit aufweisen. Diese quantitative und strukturelle Analyse wird in Bezug auf (Varianten von) Erreichbarkeitseigenschaften auf den folgenden Systemmodellen durchgeführt: 1. Realzeitautomaten mit Ungenauigkeiten in den Uhren und mit deren Resynchronization, 2. kostenbehafteten Realzeitautomaten mit begrenztem Budget, 3. Netzwerken von Realzeitautomaten mit geteilten Datenvariablen, 4. Netzwerken von probabilistichen Automaten mit geteilten Datenvariablen, und 5. probabilistichen Realzeitautomaten mit Ungenauigkeiten in den Uhren und mit deren Resynchronization. <dt.>
This dissertation contributes to the quantitative and structural analysis of real-time and probabilistic systems. The quantitative analysis herein goes beyond the classical boolean notion of system correctness, and is performed on system models that incorporate perturbations, prices, and probabilities in their behaviour. The structural analysis investigated in this dissertation entails reduction techniques for networks of real-time and probabilistic systems that exhibit parallelism. These four aspects (namely, perturbations, prices, probabilities, and parallelism) are analyzed on the following system models w.r.t variants of reachability properties: 1. perturbed timed automata with drifting clocks and with clock resynchronization, 2. multi-priced timed automata with a bounded budget, 3. networks of timed automata extended with shared data variables, 4. networks of probabilistic automata extended with shared data variables, and 5. perturbed probabilistic timed automata with drifting clocks and with clock resynchronization. <engl.>
Workshop on Symbolic and Numerical Methods for Reachability Analysis (2. : 2016 : Wien) Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) Piscataway, NJ : IEEE, 2016 (2016), insges. 6 S. 1 Online-Ressource
International journal of distributed sensor networks London : Sage Publishing, 2005 Bd. 12 (2016), 5, Article ID 1576038, insges. 28 S. Online-Ressource