The Community for Technology Leaders
Dependable Systems and Networks Workshops (2010)
Chicago, IL, USA
June 28, 2010 to July 1, 2010
ISBN: 978-1-4244-7729-6
TABLE OF CONTENTS
Papers

Front cover (PDF)

pp. c1

FTXS program (PDF)

pp. vii-viii

PFARM program (PDF)

pp. x-xi

WDSN committees (PDF)

pp. xii

WDSN program (PDF)

pp. xiii-xiv

WRAITS program (PDF)

pp. xvi-xvii

Author Index (PDF)

pp. xxi

1<sup>st</sup> workshop on fault-tolerance for HPC at extreme scale FTXS 2010 (PDF)

John Daly , Center for Exceptional Computing / Department of Defense, USA
Nathan DeBardeleben , Center for Exceptional Computing / Department of Defense, USA
pp. 1

Quantifying effectiveness of failure prediction and response in HPC systems: Methodology and example (Abstract)

Jackson Mayo , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
Diana Roe , Sandia National Laboratories, MS 9152, P.O. Box 969, Livermore, CA 94551 U.S.A.
David Thompson , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
Vincent De Sapio , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
Matthew Wong , Sandia National Laboratories, MS 9152, P.O. Box 969, Livermore, CA 94551 U.S.A.
Philippe Pebay , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
James Brandt , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
Ann Gentile , Sandia National Laboratories, MS 9152, P.O. Box 969, Livermore, CA 94551 U.S.A.
Frank Chen , Sandia National Laboratories, MS 9159, P.O. Box 969, Livermore, CA 94551 U.S.A.
pp. 2-7

Accurate fault prediction of BlueGene/P RAS logs via geometric reduction (Abstract)

David W. Dreisigmeyer , 601 Thackery Hall, Department of Mathematics, University of Pittsburgh, Pittsburg PA
Joshua Ladd , Oak Ridge National Laboratory, Oak Ridge TN 37831
Terry Jones , Oak Ridge National Laboratory, Oak Ridge TN 37831
Michael Kirby , 101 Weber, Department of Mathematics, Colorado State University, Fort Collins CO 80523
Joshua Thompson , 101 Weber, Department of Mathematics, Colorado State University, Fort Collins CO 80523
pp. 8-14

A practical failure prediction with location and lead time for Blue Gene/P (Abstract)

Peter Beckman , Mathematics and Computer Science Division, Argonne National Laboratory
Rinku Gupta , Mathematics and Computer Science Division, Argonne National Laboratory
Zhiling Lan , Department of Computer Science, Illinois Institute of Technology
Ziming Zheng , Department of Computer Science, Illinois Institute of Technology
Susan Coghlan , Argonne Leadership Computing Facility, Argonne National Laboratory
pp. 15-22

Distributed object storage rebuild analysis via simulation with GOBS (Abstract)

Justin M. Wozniak , MCS Division, Argonne National Laboratory, Argonne, IL, USA
Robert Ross , MCS Division, Argonne National Laboratory, Argonne, IL, USA
Seung Woo Son , MCS Division, Argonne National Laboratory, Argonne, IL, USA
pp. 23-28

See applications run and throughput jump: The case for redundant computing in HPC (Abstract)

Kurt Ferreira , Sandia National Laboratories
Rolf Riesen , Sandia National Laboratories
Jon Stearley , Sandia National Laboratories
pp. 29-34

Second workshop on proactive failure avoidance, recovery, and maintenance (PFARM) (PDF)

Kishor S. Trivedi , Duke University, Durham, USA
Felix Salfner , Humboldt-Universität zu Berlin, Germany
Miroslaw Malek , Humboldt-Universität zu Berlin, Germany
pp. 35-37

Aspect oriented software fault tolerance and analytically redundant design framework (Abstract)

Jim Smith , University of the West of England, Bristol
Rob Williams , University of the West of England, Bristol
Kashif Hameed , University of the West of England, Bristol
pp. 38-44

A translation of State Machines to temporal fault trees (Abstract)

Yiannis Papadopoulos , Department of Computer Science, University of Hull, Hull, United Kingdom
Nidhal Mahmud , Department of Computer Science, University of Hull, Hull, United Kingdom
Martin Walker , Department of Computer Science, University of Hull, Hull, United Kingdom
pp. 45-51

Fast entropy based alert detection in super computer logs (Abstract)

A. Nur Zincir-Heywood , Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia, Canada. B3H 1W5
Evangelos E. Milios , Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia, Canada. B3H 1W5
Adetokunbo Makanju , Faculty of Computer Science, Dalhousie University, Halifax, Nova Scotia, Canada. B3H 1W5
pp. 52-58

Qualitative performance control in supervised IT infrastructures (Abstract)

Tamas Kovacshazy , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Gergely Janos Paljak , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Daniel Toth , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Andras Pataricza , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Zoltan Egel , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
Imre Kocsis , Department of Measurement and Information Systems, Budapest University of Technology and Economics, Budapest, Hungary
pp. 59-65

Adaptive monitoring in microkernel OSs (Abstract)

Domenico Cotroneo , Dipartimento di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
Domenico Di Leo , Dipartimento di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
Roberto Natella , Dipartimento di Informatica e Sistemistica, Università degli Studi di Napoli Federico II, Via Claudio 21, 80125, Naples, Italy
pp. 66-72

Hybrid, recursive, nested monitoring of control systems using Petri nets and particle filters (Abstract)

Leila Zouaghi , Institute for Computer Engineering, Automation Laboratory, University of Heidelberg, Mannheim, Germany
Achim Wagner , Institute for Computer Engineering, Automation Laboratory, University of Heidelberg, Mannheim, Germany
Essam Badreddin , Institute for Computer Engineering, Automation Laboratory, University of Heidelberg, Mannheim, Germany
pp. 73-79

Rejuvenation with workload migration (Abstract)

Veena B. Mendiratta , Bell Laboratories, Alcatel-Lucent
Robert S. Hanmer , Carrier Product Group, Alcatel-Lucent
pp. 80-85

Fourth workshop on dependable and secure nanocomputing (PDF)

Johan Karlsson , Dept. Computer Science & Eng., Chalmers University of Technology, 41296 Göteborg - Sweden
Cristian Constantinescu , AMD, 2950 E Harmony Rd., Fort Collins, CO 80528 - USA
Jean Arlat , LAAS-CNRS and Université de Toulouse, 7, Av. du Colonel Roche 31077 Toulouse - France
Ravishankar K. Iyer , Coordinated Science Laboratory, UIUC, 1308 West Main Street, Urbana, IL 61801 - USA
Michael Nicolaidis , TIMA (CNRS, Grenoble INP, UJF), 46, Av. Felix Viallet, 38031 Grenoble - France
pp. 93-94

Massive statistical process variations: A grand challenge for testing nanoelectronic circuits (Abstract)

S. Hellebrand , University of Paderborn, Germany
I. Polian , University of Passau, Germany
W. Vermeiren , Fraunhofer IIS/EAS, Dresden, Germany
B. Becker , University of Freiburg, Germany
H.-J. Wunderlich , University of Stuttgart, Germany
B. Straube , Fraunhofer IIS/EAS, Dresden, Germany
pp. 95-100

Towards understanding the effects of intermittent hardware faults on programs (Abstract)

Sathish Gopalakrishnan , The University of British Columbia, Canada
Layali Rashid , The University of British Columbia, Canada
Karthik Pattabiraman , The University of British Columbia, Canada
pp. 101-106

Gate input reconfiguration for combating soft errors in combinational circuits (Abstract)

Warin Sootkaneung , Department of Electrical and Computer Engineering, University of Wisconsin-Madison, Madison, WI 53706, USA
Kewal K. Saluja , Department of Electrical and Computer Engineering, University of Wisconsin-Madison, Madison, WI 53706, USA
pp. 107-112

Verification of soft error detection mechanism through fault injection on hardware emulation platform (Abstract)

Anne Wantens , STMicroelectronics, 12 Rue Jules Horowitz, BP217, F-38019, Grenoble, France
Oscar Bailan , STMicroelectronics, Via Olivetti 2, 20041 Agrate Brianza (MI), Italy
Philippe Roche , STMicroelectronics, 850 Rue Jean Monnet, F-38926 Crolles, France
Jean-Marc Daveau , STMicroelectronics, 850 Rue Jean Monnet, F-38926 Crolles, France
Salvatore Nappi , STMicroelectronics, Via Remo De Feo 1, 80022 Arzano (NA), Italy
Umberto Rossi , STMicroelectronics, Via Olivetti 2, 20041 Agrate Brianza (MI), Italy
pp. 113-118

Pair and swap: An approach to graceful degradation for dependable chip multiprocessors (Abstract)

Masashi Imai , The University of Tokyo
Tomohide Nagai , The University of Tokyo
Takashi Nanya , Canon Inc.
pp. 119-124

Implementation of self-healing asynchronous circuits at the example of a video-processing algorithm (Abstract)

Thomas Panhofer , Institute of Computer Engineering, Vienna University of Technology, Austria
Werner Friesenbichler , Institute of Computer Engineering, Vienna University of Technology, Austria
Andreas Steininger , Institute of Computer Engineering, Vienna University of Technology, Austria
pp. 125-130

Fault tolerant communication in 3D integrated systems (Abstract)

Lorena Anghel , TIMA Laboratory, 46, Avenue Felix Viallet, 38000, Grenoble, France
Vladimir Pasca , TIMA Laboratory, 46, Avenue Felix Viallet, 38000, Grenoble, France
Mounir Benabdenbi , TIMA Laboratory, 46, Avenue Felix Viallet, 38000, Grenoble, France
pp. 131-135

Towards self-timed logic in the Time-Triggered Protocol (Abstract)

Markus Ferringer , Department of Computer Engineering, Vienna University of Technology
pp. 136-141

A concept of a trust management architecture to increase the robustness of nano age devices (Abstract)

Werner Brockmann , Institute of Computer Science, University of Osnabrück, Germany
Thilo Pionteck , Institute of Computer Engineering, University of Lübeck, Germany
pp. 142-147

4th workshop on recent advances in intrusion-tolerant systems, WRAITS 2010 (PDF)

Patha Pal , BBN Technologies, USA
Miguel Correia , University of Lisboa, Portugal
pp. 148-149

Analysis of the effect of Java software faults on security vulnerabilities and their detection by commercial web vulnerability scanner tool (Abstract)

Regina Moraes , State University of Campinas, UNICAMP, Brazil
Mario Jino , State University of Campinas, UNICAMP, Brazil
Plinio Cesar Simoes Fernandes , State University of Campinas, UNICAMP, Brazil
Tania Basso , State University of Campinas, UNICAMP, Brazil
pp. 150-155

Analysis of a Markov decision process model for intrusion tolerance (Abstract)

O. Patrick Kreidl , MIT Laboratory for Information and Decision Systems, Cambridge, MA 02139 U.S.A.
pp. 156-161

On rootkit and malware detection in smartphones (Abstract)

Shivakant Mishra , Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309-0430, USA
Bryan Dixon , Department of Computer Science, University of Colorado at Boulder, Boulder, CO 80309-0430, USA
pp. 162-163

SCIT and IDS architectures for reduced data ex-filtration (Abstract)

Arun Sood , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA
Ajay Nagarajan , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA
pp. 164-169

RAVE: Replicated antivirus engine (Abstract)

Carlos Silva , Portugal Telecom
Paulo Sousa , LaSIGE, Faculty of Sciences, University of Lisbon
Paulo Verissimo , LaSIGE, Faculty of Sciences, University of Lisbon
pp. 170-175

Realizing S-Reliability for services via recovery-driven intrusion tolerance mechanism (Abstract)

Arun Sood , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030 SCIT Labs, Clifton, VA 20124
Quyen Nguyen , International Cyber Center and Department of Computer Science, George Mason University, Fairfax, VA 22030 SCIT Labs, Clifton, VA 20124
pp. 176-181

Assessing the attack resilience capabilities of a fortified primary-backup system (Abstract)

Paul Ezhilchelvan , School of Computing Science, Newcastle University, UK
Dylan Clarke , School of Computing Science, Newcastle University, UK
pp. 182-187

A security evaluation of a novel resilient web serving architecture: Lessons learned through industry/academia collaboration (Abstract)

Tom Bracewell , Integrated Defense Systems, Raytheon Company, 2461 S. Clark St Ste. 1000, Arlington, VA 22202
Brian Mastropietro , Integrated Defense Systems, Raytheon Company, 2461 S. Clark St Ste. 1000, Arlington, VA 22202
Yih Huang , Center for Secure Information Systems, George Mason University, 4400 University Drive, MS 5B5, Fairfax, VA 22030
Anup K. Ghosh , Center for Secure Information Systems, George Mason University, 4400 University Drive, MS 5B5, Fairfax, VA 22030
pp. 188-193

Survivability and information assurance in the cloud (Abstract)

Melvin Greer , Chief Strategist, Cloud Computing, Lockheed Martin
pp. 194-195
93 ms
(Ver 3.1 (10032016))