Also available as: dvi (no graphics, 12k), postscript (350k), gzipped postscript (60k), Adobe acrobat (pdf) (130k), ascii (8k) Logo

DCCA-7 Call For Papers

Seventh IFIP International Working Conference on

Dependable Computing for Critical Applications


Can we rely on computers?
January 6-8, 1999
San Jose, California, USA

sun&moon
Organized by
IFIP Working Group 10.4 on Dependable Computing and Fault Tolerance
In cooperation with (approvals pending)
The Software Engineering Institute, Carnegie Mellon University
IFIP Technical Committee 11 on Security and Protection in Information Processing Systems
IEEE Computer Society Technical Committee on Fault-Tolerant Computing
EWICS Technical Committee 7 on Systems Reliability, Safety and Security

General Chair

Charles B. Weinstock , Software Engineering Institute, USA

Program Chair

John Rushby, SRI International, USA

Program Committee

Kathy Abbott, FAA, USA
Jacob Abraham, Univ. of Texas, USA
Ozalp Babaoglu, Univ. of Bologna, Italy
Alan Burns, Univ. of York, UK
Flaviu Cristian, UCSD, USA
Ben Di Vito, ViGYAN/NASA, USA
Danny Dolev, Hebrew Univ., Israel
Kevin Driscoll, Honeywell, USA
Marie-Claude Gaudel, LRI, France
Friedrich von Henke, U of Ulm, Germany
Gerard Holzmann, Bell Labs, USA
Ravi Iyer, Univ. of Illinois, USA
Yoshiaki Kakuda, Hiroshima City U, Japan
Peter Kearney, SVRC, Australia
Carl Landwehr, NRL, USA
Bev Littlewood, City Univ., UK
Cathy Meadows, NRL, USA
David Powell, LAAS-CNRS, France
Brian Randell, U Newcastle upon Tyne, UK
Mike Reiter, AT&T Labs, USA
Bill Roscoe, Oxford Univ., UK
William H. Sanders, Univ. of Illinois, USA
Rick Schlichting, Univ. of Arizona, USA
Roger Shaw, ERA Technology Ltd., UK
Paulo Verissimo, Univ. of Lisbon, Portugal
Ex-officio
Hermann Kopetz, TU Vienna, Austria
IFIP WG 10.4 Chair

Important Dates

Submission deadline: 3 August 1998
Notification of acceptance: 12 Oct. 1998
Camera-ready copy: 14 Dec 1998
Conference: 6-8 January 1999

Submitting a Paper

Papers should be submitted electronically according to these instructions
This is the seventh conference in a series dedicated to advancing the theory and practice of dependable computing for critical applications. Previously unpublished papers are sought in all aspects of dependable computing, including, but not limited to:
  • Attributes of dependability such as security, safety, reliability
  • Impairments to dependability such as permanent and transient faults, intrusions, design flaws, human error
  • Algorithms and techniques for fault-tolerant, real-time, secure, distributed systems
  • Design and verification techniques such as formal methods, model checking, fault injection, stochastic modeling
  • Requirements validation, hazard analysis, safety analysis
  • Regulatory and certification issues such as standards, safety cases, reliability assessment
  • Critical application areas such as transportation and medical systems, process and power industries
Papers that deal with combinations of issues, such as security and reliability, or combinations of techniques, such as formal methods and fault injection, are particularly encouraged.

DCCA differs from other conferences on related topics in encouraging participation across all fields that contribute to dependable computing, and in its format as a working conference that provides ample time for discussion; these attributes provide for a stimulating meeting that facilitates cross-fertilization of ideas and interaction between researchers and practitioners.

Proceedings

The proceedings will be published as a book in the Dependable Computing Series of the IEEE Computer Society (which also published the proceedings of DCCA-5 and DCCA-6), with preliminary proceedings available at the conference and on the Web.

Location

The conference will be held at the Fairmont Hotel in San Jose, California. San Jose, at the southern end of the San Francisco Bay, is in the heart of Silicon Valley. There are direct flights to San Jose airport (code SJC) from major US cities and gateways. Alternatively, you can fly to San Francisco, about 40 miles north, and use a van service, bus, or rental car. http://www.itn.com is a good place to search for flights and fares. The winter weather in San Jose is mild with overnight low temperatures around 50F/10C and daytime highs around 65F/18C; the typical pattern alternates rainstorms of 2-3 days duration with week-long spells of sunshine and clear skies. Here's the current weather forecast. More details to follow.

Last changed 20 March 1998 by John Rushby: Rushby@csl.sri.com