VERFE Workshop at ARCS Conference “Dependability and Fault Tolerance”

  • Venue:

    Architecture of Computing Systems (ARCS)

  • Date:

    February 28, 2012

  • Program Chair:

    Jörg Henkel,
    Karl-Erwin Grosspietsch

  • 9.15 Opening (J. Henkel)


    9.30 Invited Talk

    M.B. Tahoori (Karlsruhe)
    Assessment and Mitigation of Runtime Failures: From Device to Systems


    10.30 Coffee Break


    11.00 Fault Diagnosis and Fault Correction in Hardware Systems

    B. Fechner, A. Garbade, S. Weis, T. Ungerer (Augsburg)

    Fault Localization in NoCs by Timed Heartbeat Messages

    D. Neuhäuser, E. Zehendner (Jena)

    Correction of Faulty Signal Transmission for Resilient Designs Signed-Digit Arithmetic


    12.30 Lunch Break


    13.30 Dependable Autonomous Systems

    R. Maas, E. Meahle (Lübeck)

    Fault Tolerant and Adaptive Path Planning in Crowded Environments for Mobile Robots Based on Hazard Estimation via Health Signals

    K.-E. Großpietsch (Sankt Augustin), T.A. Silayeva (Moscow)

    ART Networks as Flexible Means to Implement Dependability Properties in Autonomous Systems

    R. Lill, F. Saglietti (Erlangen)

    Model-based Testint of Autonomous Systems Based on Colored Petri Nets


    15.00 Coffee Break


    15.30 Fault-Tolerant Hardware Systems

    S. Müller, M. Schölzel, H.T. Vierhaus (Cottbus)
    Hierarchical Self-Repair in Heterogeneous Multi-Core Systems by Means of a Software-Based Reconfiguration

    H. Rauchfuss, T. Wild, A. Herkersdorf (München)

    Enhanced Reliability in Tiled Manycore Architectures through Transparent Task Relocation


    16.30 Dependable Software

    D. Obermann, J. Börcsök (Kassel)

    Two-Way Compiler: Additional Data Saving for Generating the Original Source Code out of a Binary Program

    F. Belli (Paderborn)

    Verlässlichkeit bei Wiederverwendung von IT-Komponenten - Stand der Normaktivitäten

  • Place:

    Munich, Germany

  • Links: