Auflistung nach:
Auflistung FERS-Mitteilungen 29(1) - 2011 nach Titel
1 - 8 von 8
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelFirst workshop on software-controlled, adaptive fault-tolerance in microprocessors(FERS-Mitteilungen: Vol. 29, No. 1, 2011)SCAFT 2011 Held in conjunction with ARCS 2011 - Architecture of Computing Systems Lake Como, Italy 22 February 2011 http://scaft.in.tum.de
- ZeitschriftenartikelQuantitative Model-Based Safety Analysis: A Case Study(FERS-Mitteilungen: Vol. 29, No. 1, 2011) Güdemann, Matthias; Ortmeier, FrankThe rising complexity of many safety-critical systems necessitates new analysis methods. Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, and failure modes). The big advantage of these methods compared to traditional approaches is that the results are of very high significance. Until now, model-based approaches have only to a limited extent been applied to answer quantitative questions in safety analysis. Model-based approaches in this context are often limited to analysis of specific failure propagation models. They do not include system dynamics and behavior. A consequence is, that the methods are very error-prone because of wrong assumptions. New achievements in the domain of (probabilistic) model-checking now allow for overcoming this problem. This paper illustrates how such an approach for quantitative model-based safety analysis is used to model and analyze a real-world case study from the railway domain.
- ZeitschriftenartikelReal-Time Fault-Tolerant Routing in High-Availability Multicast-Aware Video Networks(FERS-Mitteilungen: Vol. 29, No. 1, 2011) Messmer, Roman; Keller, JörgLive-videostream networks based on multimedia switches are the most recent products used in television production and distribution facilities to transport the live signal from sources like cameras or microphones to dedicated sinks like video monitors, loudspeakers and transmission lines. To switch signals from a single source to several destinations multicasting or point-to-multipoint technology is considered. To compute multicast trees for multimedia communication, constrained shortest paths algorithms are needed. They are fundamental to important network functionality such as Quality of Service (QoS) routing or Multiprotocol label switching (MPLS) path selection and the problems they attempt to solve are known to be NP-complete. In previous work, we have introduced a heuristic called Multimedia Multicast algorithm (MulMic), which delivers nearly optimal multicast trees in a short time. Here, we propose the combination of MulMic and two models for fault-tolerant routing: disjoint paths and reservation of backup paths. Furthermore we introduce a realtime algorithm we call ZirkumFlex to handle one or even several simultaneous node or line failures in a multicast network by a local search to bypass the failed node or line. We also apply our algorithm to example graphs to demonstrate its feasibility.
- ZeitschriftenartikelSpecial Session “Dependability and Fault Tolerance”(FERS-Mitteilungen: Vol. 29, No. 1, 2011) Freiling, F.
- ZeitschriftenartikelState Transfer for Hypervisor-Based Proactive Recovery of Heterogeneous Replicated Services(FERS-Mitteilungen: Vol. 29, No. 1, 2011) Distler, Tobias; Kapitza, Rüdiger; Reiser, HansIntrusion-tolerant replication enables the construction of systems that tolerate a finite number of malicious faults. An arbitrary number of faults can be tolerated during system lifetime if faults are eliminated periodically by proactive recovery. The periodic rejuvenation of stateful replicas requires the transfer and validation of the replica state. This paper presents two novel efficient state transfer protocols for a hypervisorbased replication architecture that supports proactive recovery. Our approach handles heterogeneous replicas, and allows changing/updating the replica implementation on each recovery. We harness virtualization for an efficient state transfer between 'old' and 'new' replicas in virtual machines on the same physical host, and use copy-on-write disk snapshots for low-intrusive recovery of replicas in parallel with service execution. We apply the generic algorithm to a realistic three-tier application (RUBiS) and study the impact of recovery and state transfer on system performance.
- ZeitschriftenartikelTagungsbericht zur MMB 2010 & DFT in Essen(FERS-Mitteilungen: Vol. 29, No. 1, 2011)Vom 15. bis 17. März 2010 fand in Essen die 15. Jahrestagung des GI/ITG-Fachausschuss 'Messung, Modellierung und Bewertung von Rechensystemen' (MMB) statt, diesmal in Kooperation mit dem Fachausschuss ,,Verlässlichkeit und Fehlertoleranz', und erstmalig explizit deklariert als internationale Konferenz: 15th International GI/ITG Conference on 'Measurement, Modelling and Evaluation of Computing Systems' and 'Dependability and Fault Tolerance', kurz ,,MMB & DFT 2010'. Ausrichter der Tagung waren die drei Arbeitsgruppen ,,Systemmodellierung' (Prof. MüllerClostermann), ,,Verlässlichkeit von Rechensystemen' (Prof. Echtle) und ,,Technik der Rechnernetze' (Prof. Rathgeb), die dem Institut für Informatik und Wirtschaftsinformatik am Campus Essen der Universität Duisburg-Essen angehören. Die Konferenz wurde von insgesamt 70 Teilnehmern besucht und freundlicherweise ideell und finanziell unterstützt von der Gesellschaft für Informatik (GI), der Informationstechnischen Gesellschaft (ITG) und der Deutschen Forschungsgemeinschaft (DFG). Als industrieller Sponsor konnte das Dortmunder System- und Softwarehaus Materna gewonnen werden. Einreichungen, Programm und Tagungsband Es waren 42 Einreichungen zu verzeichnen (davon 5 Tool-Beschreibungen), die von Autoren aus 15 verschiedenen Ländern stammten. Jeder eingereichte Beitrag wurde von 3 bis zu 5 Programmkomiteemitgliedern begutachtet, wobei insgesamt 158 Gutachten erstellt und schließlich 19 reguläre Beiträge (sowie 5 Tool Paper) zur Veröffentlichung ausgewählt wurden. Das wissenschaftliche Programm wurde vervollständigt durch zwei eingeladene Vorträge: Phil Koopman (Carnegie Mellon University) mit seinem Vortrag 'Mitigating the Effects of Internet Timing Faults Across Embedded Network Gateways' und Paul Kühn (Universität Stuttgart) mit ,,Green IT - The Power Saving Challenge and ICT Solutions'. In einer ,,Industry Session' wurden Anforderungen und Einsatzmöglichkeiten für modellgestützte Entwurfs- und Analysemethoden bei der Systementwicklung vorgestellt: Jeroen Voeten (Embedded Systems Institute, Eindhoven, Netherlands) sprach über ,,Performance Prediction and Design-Space Exploration for Wafer Scanners' und Thomas Herpel (Automotive Safety Technologies GmbH) zum Thema ,,Development and Performance Evaluation of Intelligent Vehicle Safety Systems'. Das vollständige Konferenzprogramm ist zu finden unter http://mmb2010.org/ (auch als Anhang zu diesem Bericht). Der Tagungsband erschien beim Springer-Verlag in der Reihe LNCS als Band 5987 ,,Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance 15th international GI/ITG Conference MMB & DFT 2010, Proceedings; B. MüllerClostermann, K. Echtle, E. P. Rathgeb (Eds.) Best Paper Award Den ,,Best Paper Award' des MMB-Fachausschusses erhielten Christian Hübsch, Christoph Mayer und Oliver Waldhorst für ihre Arbeit ,,User-perceived Performance of the NICE Application Layer Multicast Protocol in Large and Highly Dynamic Groups', die von Herrn Waldhorst präsentiert wurde.
- ZeitschriftenartikelÜbersichten von Tagungen & Workshops(FERS-Mitteilungen: Vol. 29, No. 1, 2011)
- ZeitschriftenartikelVeranstaltungskalender(FERS-Mitteilungen: Vol. 29, No. 1, 2011)