SRDS 2007 Advanced Program

1. Tuesday 9th October
   The 4th International Workshop on Dependable Embedded Systems
   The 2nd International Workshop on Dependable Service Oriented Grid
2. Wednesday 10th October
   08:30 - 09:00 Opening Session
   09:00 – 10:00 Invited Keynote
   10:00 - 10:30 Coffee break
   10:30 - 12:15 Session 1: Wireless and Sensor networks
   12:30 - 13:45 Lunch break
   13:45 - 15:00 Session 2: Replication in Distributed Systems
   15:00 - 15:30 Coffee break
   15:30 - 17:00 Session 3: Fault Tolerance
   19:00 - 21:00 Conference Reception
   
3. Thursday 11th October
   08:30 - 09:30 Invited Keynote
   09:30 - 10:45 Session 4: Software Engineering for Reliable Systems
   10:45 - 11:15 Coffee break
   11:15 - 12:30 Session 5: Fault Detection and Diagnosis
   12:30 - 13:45 Lunch break
   13:45 - 15:00 Session 6: Panel
   15:00 - 15:30 Coffee break
   15:30 - 16:45 Session 7: Security
   19:00 - 21:00 Conference Banquet
   
4. Friday 12th October
   08:30 - 09:30 Invited Keynote
   09:30 - 10:45 Session 8: System Dependability Evaluation
   10:45 - 11:15 Coffee break
   11:15 - 12:30 Session 9: Panel
   12:30 - 13:45 Lunch
   13:45 - 15:00 Session 10: Real-Time Applications
   15:00 - 15:30 Coffee break
   15:30 - 16:45 Session 11: Distributed Systems
   16:45 - 17:30 Closing Session
   

• Tuesday 9th October
  
  13:45 - 15:00 WODSOG 07 Session 1 + WDES 07 Session 1
  15:00 - 15:30 Coffee break
  15:30 - 17:00 WODSOG 07 Session 2 + WDES 07 Session 2

• Wednesday 10th October
  
  08:30 - 09:00 Opening Session
  Chair: Prof. Jinpeng Huai
  
  • Welcome: Jinpeng Huai, General Chair
  • Message from the Program Committee
  
  09:00 - 10:00 Invited Keynote: A Logical Framework for System revision
  • Prof. Wei Li, Beihang University, China
  
  10:00 - 10:30 Coffee break
  
  10:30 - 12:15 Session 1: Wireless and Sensor networks
  Chair: Roy Friedman
  • Murtuza Jadliwala, Shambhu Upadhyaya and Manik Taneja, “ASFALT: A Simple Fault-Tolerant Signature-based Localization Technique for Emergency Sensor Networks”
  • Vadim Drabkin, Roy Friedman, Gabi Kliot and Marc Segal, “RAPID: Reliable Probabilistic Dissemination in Wireless Ad-Hoc Networks”
  • Weigang Wu, Jiannong Cao and Michel Raynal, “The Eventual Clusterer Oracle and Its Application to Consensus in MANETs”
  • Marcello Cinque, Domenico Cotroneo, Catello Di Martino and Stefano Russo, “Modeling and Assessing the Dependability of Wireless Sensor Networks”
  
  12:30 - 13:45 Lunch break
  
  13:45 - 15:00 Session 2: Replication in Distributed Systems
  Chair: Michel Raynal
  • Yi Lin, Bettina Kemme, Marta Patino-Martinez and Ricardo Jimenez-Peris, “Enhancing Edge Computing with Database Replication”
  • Vishal Kher and Yongdae Kim, “Building Trust in Storage Outsourcing: Secure Accounting of Utility Storage”
  • Yair Amir, Brian Coan, Jonathan Kirsch and John Lane, “Customizable Fault Tolerance for Wide-Area Replication”
  
  15:00 - 15:30 Coffee break
  
  15:30 - 17:00 Session 3: Fault tolerance
  Chair: Wei Chen
  • Hans P Reiser and Ruediger Kapitza, “Hypervisor-Based Efficient Proactive Recovery”
  • Michel Raynal, Corentin TRAVERS and Eli Gafni, “Test-and-Set, Adaptive Renaming and Set Agreement: a Guided Visit to Asynchronous Computability”
  • Marco Serafini and Neeraj Suri, “The Fail-Heterogeneous Architectural Model”
  • Harry Li, Allen Clement, Amitanand Aiyer and Lorenzo Alvisi, “The Paxos Register”
  
  19:00 - 21:00 Conference Reception
  
  
• Thursday 11th October
  
  08:30 - 09:30 Invited Keynote: The Return of Transactions
  
• • Prof. Rachid Guerraoui, EPFL, Switzerland
    
  
  09:30 - 10:45 Session 4: Software Engineering for Reliable Systems
  Chair: Ricardo Jimenez Peris
  • Domenico Cotroneo, Salvatore Orlando and Stefano Russo, “Characterizing Aging Phenomena of the Java Virtual Machine”
  • Tatsuhiro Tsuchiya and André Schiper, “Model Checking of Consensus Algorithms”
  • Laurent Burgy, Laurent Réveillère, Julia Lawall and Gilles Muller, “A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations”
  
  10:45 - 11:15 Coffee break
  
  11:15 - 12:30 Session 5: Fault Detection and Diagnosis
  Chair: I-Ling Yen
  • Felix Salfner and Miroslaw Malek, “Using Hidden Semi-Markov Models for Effective Online Failure Prediction”
  • Cheng-Zhong Xu and Song Fu, “Quantifying Spatio-Temporal Event Correlations for Proactive Failure Management”
  • Gunjan Khanna, Fahad A. Arshad, Ignacio Laguna and Saurabh Bagchi, “Distributed Diagnosis of Failures in a Three Tier E-Commerce System”
  
  12:30 - 13:45 Lunch break
  
  13:45 - 15:00 Session 6: Panel I
  Chair: Miroslaw Malek
  • Topic: Trends and Challenges in Service Availability and Security
  
  15:00 - 15:30 Coffee Break
  
  15:30 - 16:45 Session 7: Security
  Chair: Neeraj Suri
  • Jianxin Li, Jinpeng Huai and Chunming Hu, “PEACE-VO: A Secure Policy-Enabled Collaboration Framework for Virtual Organizations”
  • Xuxian Jiang, Helen Wang, Dongyan Xu and Yi-Min Wang, “RandSys: A Two-Dimensional Randomization Approach to Thwarting Code Injection Attacks”
  • Yi Yang, Xinran Wang, Sencun Zhu and Guohong Cao, “Distributed Software-based Attestation for Node Compromise Detection in Sensor Networks”
  
  19:00 – 21:00 Conference Banquet
  • After dinner speaker (TBD)
  
  
• Friday 12th October
  
  08:30 - 09:30 Invited Keynote: Transaction Calculus
  • Prof. Jifeng He, China
  
  09:30 - 10:45 Session 8: System Dependability Evaluation
  Chair: Jiannong Cao
  • Jingqiang Lin, Jiwu Jing and Peng Liu, “A Framework for Intrusion Tolerant Certification Authority System Evaluation”
  • Ming Chen, Wei Chen, Likun Liu and Zheng Zhang, “An Analytical Framework and Its Applications for Studying Brick Storage Reliability”
  • Wagner Dantas, Alysson Bessani, Joni da Silva Fraga and Miguel Correia, “Evaluating Byzantine Quorum Systems”
  
  10:45 - 11:15 Coffee Break
  
  11:15 - 12:30 Session 9: Panel II
  Chair: Huaimin Wang
  • Topic: High Dependable Software: Opportunities and Challenges
  
  12:30 - 13:45 Lunch Break
  
  13:45 - 15:00 Session 10: Real-Time Applications
  Chair: Chunming Hu
  • Wei SUN, Yuanyuan ZHANG and Xavier Défago, “Hybrid Overloading and Stochastic Analysis for Redundant Scheduling in Real-time Multiprocessor Systems”
  • Gunjan Khanna, Ignacio Laguna, Fahad A Arshad and Saurabh Bagchi, “Stateful Detection in High Throughput Distributed Systems”
  • Mouna Allani, Benoît Garbinato, Fernando Pedone and Marija Stamenkovic, “A Gambling Approach to Scalable Resource-Aware Streaming”
  
  15:00 - 15:30 Coffee Break
  
  15:30 - 16:45 Session 11: Distributed Systems
  Chair: Roberto Baldoni
  • l João Leitão, Jose Pereira and Luís Rodrigues, “Epidemic Broadcast Trees”
  • Dan Dobre, HariGovind Ramasamy and Neeraj Suri, “On the Latency-Efficiency of Message-Parsimonious Asynchronous Atomic”
  • Guowei Huang, Zhi Chen and Gongyi Wu, “Activity monitoring to guarantee file availability in structured P2P file-sharing systems”
  
  16:45 - 17:30 Closing Session
  • Wrap Up and Final Remarks of the General Chair