Workshops

Workshop 1 : Dependable Software - Tools and Methods

Advance Program
10:30-12:00 Systems and Tools
Chair: Takuo Watanabe
  • Difference of Degradation Schemes among Operating Systems -- Experimental analysis for web application servers --
    Hideaki Hibino, Kenichi Kourai, Shigeru Chiba
  • (*)XGE-ProtoDevel: A Communication Protocol Development Tool for 10Gbps Class Network
    Shinji Sumimoto, Mitsuru Sato, Kohta Nakashima, Kouichi Kumon, Yutaka Ishikawa
  • (*)A methodology for designing fault injection experiments as an addition to communication systems conformance testing
    Ana Maria Ambrosio, Eliane Martins, Valdivino Santiago, Fatima Mattiello-Franscisco, N. L. Vijaykumar, S. V. de Carvalho
  • (*)A Consistency Checker for UML Model Diagrams
    Yasser Kotb and Takuya Katayama
13:00-13:40 Invited Talk
Chair: Takuya Katayama
Building Foundations for Dependable Systems
Richard D. Schlichting (AT&T Labs-Research)
13:40-15:00 Concurrency and Tools
Chair: Yoshiki Kinoshita
  • Typing for Reliable Distributed Systems - Recent Advances
    Pawel T. Wojciechowski
  • Congruences for a Timed Extension of the pi Calculus
    Hiroaki Kuwabara, Shoji Yuen and Kiyoshi Agusa
  • (*)Model Checking of Multi-Process Applications Using SBUML and GDB
    Yoshihito Nakagawa, Richard Potter, Mitsuharu Yamamoto, Masami Hagiya, Kazuhiko Kato
15:30-16:50 Models
Chair: Shoji Yuen
  • Execution Monitoring and Information Flow Properties
    Naoyuki Nagatou and Takuo Watanabe
  • Preconditions of properties described in CTL for statements manipulating pointers
    Yoshinori Tanabe, Toshinori Takai, Toshifusa Sekizawa and Koichi Takahashi
  • (*)Analyzing Behaviors in VDM Specifications by Focusing on User-defined Types
    Kengo Miyoshi, Satoru Hirachi, Shigeru Kusakabe, and Keijiro Araki
The short presentations, 20 minute talks, are marked as (*).
Call for Papers:
Dependability includes attributes such as reliability, availability, safety, and security. In order to realize dependable systems, system software must provide not only such attributes against hardware failures and intrusions, but also the software itself must have robustness. Formal methods and tools, such as UML and model checking, have been recently taken into account with a hope that they enable design-time detection of malfunctioning to reduce the cost of debugging.
This one-day workshop covers all aspects of supporting dependable software including theoretical results, case studies, language aspects, software engineering tools, and system software. Topics include but are not limited to:
  • Integrated specification techniques such as UML, OWL and B
  • Software Analysis
  • Software Testing
  • Automated theorem proving such as model checking
  • Interactive theorem proving using proof assistants
  • Abstraction and refinement using logical relations, abstract interpretations, simulations and lax transformations
  • Tools for building dependable systems, such as real-time, WEB service, and distributed systems.
Paper Submission:
We invite authors to submit a full paper of up to 8 pages in IEEE proceedings style. Authors should submit a Postscript or PDF file to ishikawa@is.s.u-tokyo.ac.jp.
Publication:
Submitted papers will be fully refereed by PC members. Accepted papers will be published in the supplement volume of DSN2005 proceedings.
Important Dates:
Paper submission deadline : March 1, 2005
Author notification : March 28, 2005
Camera-ready deadline : April 21, 2005
Organizers:
  General Chair:
Takuya Katayama (Japan Advanced Institute of Science and Technology)
  Program Co-Chairs:
Yoshiki Kinoshita (National Institute of Advanced Industrial Science and Technology)
Yutaka Ishikawa (University of Tokyo)
  Contact:
Yutaka Ishikawa <ishikawa@is.s.u-tokyo.ac.jp>

Workshop 2 : Hot Topics in System Dependability

For detailed information, see http://www.stanford.edu/~candea/hotdep/

Workshop 3 : Assurance of Networking Systems Dependability Service Level Agreements

Advance Program
08:30-10:30
Chair : Saida Benlarbi
  • Overview of the areas and topics of the workshop
    S. Benlarbi
  • Scalable and Resilient to Denial-of-Service Attacks Overlay Networks
    D.R. Avresky and Y. Varoglu
11:00-12:30
Chair : Saida Benlarbi
  • Cluster-Based Load-Balanced Fault-Tolerant Beacon Vector Routing For Wireless Sensor Networks
    L. Demoracski and D.R. Avresky
  • Dependable Communication Using Multiple Network Paths
    Y. Kodama, T. Kudoh and S. Sekiguchi
13:30-15:30
Chair : Saida Benlarbi
  • Round-table discussion about the two main topics: Estimation issues and Modeling issues of Assuring
  • Converged Networking Systems
  • Discussions of covered topics in work groups
  • Gathering to compare feedback and identify common understanding, issues and directions of the topic
  • Summary and concluding remarks
Call for Papers:
Two main leading communication technologies co-exist in today's interconnected networking systems and are converging: switching and routing. These two technologies have two different and complementary levels of fault detection and recovery. Switching resiliency is focused on sensitivity to delays and connectivity whereas routing resiliency is focused on traffic losses and traffic integrity.
This workshop investigates the issues and challenges of assuring that a multi-service converged networking system meet tight reliability requirements to meet service level agreements. In particular, the workshop will be focused on discussing and investigating the following questions:
  1. What are the challenging issues of reflecting and estimating the contribution of the various network and protocol levels of resiliency to the service availability and reliability?
  2. How to aggregate the complexity and interactions from four levels of networking functions (Physical, link, network and transport layers) and work with a viable model that reflects the networking system behavior from the service provider and the service user standpoints?
  3. How to account for the interaction between reliability and performance i.e. when modeling and estimating network reliability how to account for the failure/repair behavior and demonstrate an SLA is met under a given engineered bandwidth?
The aim of this workshop is to bring together the dependability communities researchers and practitioners from both academia and industry with the aim of cross-fertilization and creation of strong collaboration among the participants to find practical and viable solutions for these challenging questions.
The 5 best submitted papers based on their relevance to the workshop goals will be selected for presentation at the first half day of the workshop and will be published in the supplement volume of the DSN proceedings along with a summary paper of the issues and challenges discussed and elements of proposed solutions based on the hands on work of the second half day of the workshop.
Paper Submission:
Authors are invited to submit both research and industrial experience papers of 6 to 8 pages on original, unpublished work describing current research and novel ideas in the area of converged networking system dependability modeling and estimation. Papers whose contributions are supported by experimental evaluations are strongly encouraged.
Full papers must be received on March 1, 2005. Submissions should contain no more than 8 two-column pages, including all figures and references, single-space, using 11-point font, and 1-inch margins. To submit your paper, please email it in PDF or PostScript format to saida.benlarbi@alcatel.com. Author names and affiliations should appear on the title page.
Important Dates:
Paper submission deadline : March 1, 2005
Acceptance notification : March 30, 2005
Camera-ready deadline : April 22, 2005
Organizers:
  Program Chair:
Dr. Saida Benlarbi, Manager, System Reliability Engineering Group, IP Division, Alcatel (Ottawa, Canada)
  Program Co-Chairs:
Prof. Kishor Trivedi, Professor, Electrical and Computer Engineering, Duke University (NC, USA)
Dr. Khaled El-Emam, Chief Scientists, TrialStat (Ottawa, Canada)