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.>
International Conference on Theoretical Computer Science (5 : 2008 : Mailand) Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 New York, NY : Springer, 2008 (2008), Seite 537-553 XIII, 553 S.
