Sunflower

IFIP Working Group 10.4
Dependable Computing and Fault Tolerance

64th Meeting

Visegrád, Hungary

June 27-30, 2013

Meeting Host

Andràs Pataricza, Budapest University of Technology & Economics, Hungary

Program-at-a-Glance and Contents

Workshop on Dependability and Fault Tolerance

Workshop
Coordinators

Andràs Pataricza, Paulo Veríssimo

Introduction

Business Meeting

List of Attendees

Workshop on Dependability and Fault Tolerance

June 27-30, 2013 (Thursday to Sunday)

Introduction

Paulo Veríssimo, Andràs Pataricza,
Meeting Start: Introduction to the meeting and workshop

Session 1

John Meyer, University of Michigan, Ann Arbor, USA Measures of System Quality: A 50-year Evolution	2.8 MB
Mootaz Elnozahy, King Abdullah University of Science and Technology, Saudi Arabia The Challenges of Dependable High-Performance Computing at Exascale	282 KB
Mirek Malek, Faculty of Informatics, University of Lugano (USI), Switzerland Proactive Fault Management: Status and Perspectives	1.2 MB
David Powell, LAAS-CNRS, Toulouse, France *Session 1 Summary*	29 KB

Session 2

Ken Birman, Cornell University, USA GridCloud: Realtime infrastructure to monitor the smart power grid and host advanced power applications	3.6 MB
Phill Koopman, Carnegie Mellon University, USA External Runtime Monitoring for Safety of Embedded Systems	1 MB
Luigi Romano, University of Naples "Parthenope", Italy Real-time SEC&DEP monitoring: *make it a bundle*	4.1 MB
Felicita Di Giandomenico, ISTI-CNRS, Pisa, Italy Session 2 Summary	54 KB

Session 3

Algidras Avizienis, University of California Los Angeles, USA and Vytautas Magnus University, Lithuania The Architecture of a Resilience Infrastructure for Computing and Communication Systems	483 KB
Jacob Abraham, University of Texas, Austin, USA Defects and Faults in Emerging Integrated Circuit Technologies	14.2 MB
Hermann Kopetz, Austria A Conceptual Model for the Information Transfer in System of Systems	552 KB
Jean Arlat, LAAS-CNRS, Toulouse, France *Session 3 Summary*	317 KB

Session 4

Stefan Poledna, TTTECH, Austria Architecture, Issues and Challenges for Safety Related Autonomous Systems	1.4 MB
Raimundo Macedo, University Federal da Bahia, Brazil Self-Manageable Protocols for Dependability	1.3 MB
Karthik Pattabiraman, University of British Colombia, Canada Why do Modern Web Applications Fail and What Can We Do About It?	6.2 MB
Phil Koopman, Carnegie Mellon University, USA *Session 4 Summary*	90 KB

Session 5

Takashi Nanya, Canon, Inc., Japan Economics of Dependability (Research Proposal)	1.1 MB
Ravishankar K. Iyer, University of Illinois at Urbana-Champaign, USA From Measurements to Security Science: A Data Driven Approach	2.9 MB
Farman Jahanian, NSF, USA Emerging Frontiers in Dependability research	11.4 MB
Kevin Driscoll, Honeyewll, USA Murphy Was an Optimist	533 KB
Paulo Veríssimo, University of Lisbon Faculty of Sciences, Portugal The BiobankCloud Project: Genomic data in the clouds, how risky?	2.8 MB
Stefan Poledna, TTTech, Austria *Session 5 Summary*	17 KB

Session 6

Felicita Di Giandomenico, ISTI-CNR, Italy Smart Control of Energy Distribution Grids over Heterogeneous Communication Networks	677 KB
Antònio Casimiro, University of Lisbon Faculty of Sciences, Portugal The KARYON approach for Safe Coordination in Cooperative Vehicular Systems	1.8 MB
Istvan Majzik, Budapest University of Technology and Economics, Hungary Testing the robustness and safety of context-aware autonomous behavior	1.1 MB
Wilfried Steiner, TTTech, Austria Dependability of entering mainstream IT networking standards (IEEE 802.1)	769 KB
Tomohiro Yoneda, National Institute of Informatics, Japan Development of Dependable Network-on-Chip Platform (4)	964 KB

Business Meeting

IFIP Working Group 10.4 business meeting

List of Attendees

Names and Contact Information