IEEE International Conference on Software Testing, Verification and Validation (10. : 2017 : Tokio) 10th IEEE International Conference on Software Testing, Verification and Validation workshops Piscataway, NJ : IEEE, 2017 (2017), Seite 61-64 1 Online-Ressource
2015 IEEE Vehicular Networking Conference (VNC 2015) New York : Institute of Electrical and Electronics Engineers (IEEE), 2015 (2015), Seite 64-67 294 Seiten
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 28th International Conference on Advanced Information Networking and Applications workshops (WAINA 2014) Piscataway, NJ : IEEE, 2014 (2014), Seite 334-341 LXXII, 932 S.
Das vorliegende Buch betrachtet verteilte Systeme, welche unter wahrscheinlichkeitstheoretischen Einflüssen, wie beispielsweise Fehlern, arbeiten. Wie gut können solche Systeme unter den Auswirkungen von Fehlern ihren Dienst erbringen? Wie gut können sie sich von Fehlern erholen? Neben einer ausführlichen Einleitung in das Gebiet der Fehlertoleranz stellt dieses Buch ein Maß genannt 'limiting window availability' zur Beantwortung dieser Fragen vor. Desweiteren wird eine Methode zur Berechnung der 'limiting window availability' entwickelt, welche auf der Konstruktion des Transitionsmodells aus System- und Umgebungsmodell basiert. Die Methode ist jedoch nur eingeschränkt tragfähig, da sich die Größe des Transitionsmodells exponentiell zur Größe des Systemmodells verhält. Dieser Effekt ist allgemein als Zustandsraumexplosion bekannt. Die Kombination von Dekomposition und Lumping - Methoden zur Zustandsraumreduktion aus dem Bereich Modellprüfung - erlaubt es jedoch, die Zustandsraumexplosion zu dämpfen. Dadurch kann das Spektrum analysierbarer Systeme maßgeblich erweitert werden. <dt.>
The present book 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? Along with a thorough introduction into the area of fault tolerance, this book introduces a measure called 'limiting window availability' to answer such questions. Furthermore, a method for computing the 'limiting window availability' based on constructing the transition models from the system and environment models is developed. The method yet hinges on the transition model being exponential in the size of the constituting system models. This effect is commonly known as state space explosion. Combining decomposition and lumping - methods for reducing the state space from the domain of model checking - yet allows to dampen the state space explosion, thus enhancing the spectrum of systems that are tractable for an analysis significantly. <engl.>
2012 26th International Conference on Advanced Information Networking and Applications workshops (WAINA 2012) ; 2 Piscataway, NJ : IEEE, 2012 (2012), Seite 936-943 LXXXIII S., S. 678 - 1360
Auch als elektronisches Dokument verfügbar: http://www.offis.de/uploads/tx_useroffis/20110415032612_fina11.pdf
2011 IEEE workshops of International Conference on Advanced Information Networking and Applications (WAINA 2011) Piscataway, NJ : IEEE, 2011 (2011), Seite 21-27 LXXIII, 919 S.
