2014 Eleventh International Conference on Wireless and Optical Communications Networks (WOCN 2014) Piscataway, NJ : IEEE, 2014 2014, insges. 7 S. 311 S.
2014 28th International Conference on Advanced Information Networking and Applications workshops (WAINA 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 334-341 LXXII, 932 S.
2014 IEEE 28th International Conference on Advanced Information Networking and Applications (AINA 2014) ; 2 Piscataway, NJ : IEEE, 2014 (2014), Seite 1049-1056 XXXV S., S. 584 - 1160
Die vorliegende Arbeit betrachtet verteilte Systeme, welche unter wahrscheinlichkeitstheoretischen Einflüssen, beispielsweise Fehlern, operieren. Wie gut können solche Systeme unter den Auswirkungen von Fehlern ihren Dienst erbringen? Wie gut können sie sich von Fehlern erholen? Die vorliegende Arbeit stellt mit der limiting window availability ein geeignetes Maß zur Beantwortung dieser Fragen vor und präsentiert eine Methode, um es zu berechnen. Zur Berechnung werden die Transitionsmodelle der Systeme konstruiert, welche exponentiell in der Größe der zugrundeliegenden Systemmodelle sind. Dies ist auch bekannt als Zustandsraumexplosion. Die Kombination von Dekomposition und Lumping - Methoden zur Zustandsraumreduktion aus dem Bereich Modellprüfung - erlaubt es, die Zustandsraumexplosion zu dämpfen. <dt.>
The present thesis focuses on distributed systems operating under probabilistic influences like faults. How well can such systems provide their service under the effects of faults? How well can they recover from faults? The present thesis introduces with limiting window availability a suitable measure to answer such questions, and presents a method for its computation. For the computation, the transition models of the systems are constructed, which are exponential in the size of the constituting system models. This is known as state space explosion. Combining decomposition and lumping - methods for state space reduction from the domain of model checking - allows to dampen the state space explosion. <engl.>
2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 1-6 675 S.
Seite 6 von 11
