After the success of previous editions, the International Workshop on Dependable Embedded Systems (WDES 2007) is now going into its fourth edition, to be held on October 9, 2007 in Beijing, China.

In this workshop we wish to bring together researchers and practitioners to share research results, practical experiences and advances in (or impediments to) the application of embedded systems for dependable systems. We encourage participation by professionals with diverse backgrounds who can contribute to advancing the technology and reflecting the latest trends and who can foster discussing the implications. The aim of the workshop is to provide a forum with interesting discussions and debates. Authors will prepare the final version of their paper after the event to reflect the discussions at the workshop.

Scope and Topics

Today, nearly every processor is deployed as integral part of a daily life artifact. Embedded computing systems can be found performing more or less critical functions, in application domains ranging from mass-consumer entertainment gadgets to vehicular, industrial automation or health mission-critical applications. Furthermore, the availability of wireless and low-power technologies creates opportunities to make some of these applications mobile and distributed, cooperating with other embedded systems, forming what may be called as systems of embedded systems.

We solicit position papers, research contributions and experience reports addressing issues related to the design, analysis, validation, implementation of dependable distributed embedded systems and systems of embedded systems. Topics of particular interest include (but are not limited to):

  • Self-configuring distributed embedded systems
  • Dependable communication in open wireless networks
  • Architectures for dependable distributed applications
  • Security of safety-critical nodes with connectivity to open networks
  • Achieving dependability through adaptation and QoS assurance
  • Formal verification of embedded systems
  • Low-power embedded systems
  • Dependable embedded applications
  • Case studies of dependable embedded systems

Paper Submission Details

Authors are invited to submit extended abstracts, position papers, or research contributions from 2 to 5 pages in length. The authors are requested to send their contributions to no later than August 10, 2007, as PDF or PS file. All submissions will be reviewed by the Program Committee.

It is required that at least one author of an accepted contribution will attend the workshop in order to present the work. A compilation of contributions will be distributed as preprint at the SRDS conference. The final compilation of contributions will be made available as PDF after the event.


Submission: July 30, 2007  August 10, 2007 (extended deadline)
Notification: September 10, 2007
Preprint version: October 5, 2007
Final version: October 29, 2007


  • António Casimiro (University of Lisboa, Portugal)
  • Xavier Défago (JAIST, Japan)

Program Committee

  • Emmanuelle Anceaume (IRISA, France)
  • Leandro Buss Becker (UFSC, Brazil)
  • Felicita Di Giandomenico (CNR-ISTI, Italy)
  • Shlomi Dolev (Ben Gurion Univ., Israel)
  • Joaquim Ferreira (EST-IPCB, Portugal)
  • Yasushi Hibino (JAIST, Japan)
  • Gábor Huszerl (BME, Hungary)
  • Nobuyasu Kanekawa (Hitachi Ltd., Japan)
  • Johan Karlsson (Chalmers Univ., Sweden)
  • Raimund Kirner (TU Vienna, Austria)
  • Phil Koopman (CMU, USA)
  • Xiaodong Lu (TITech., Japan)
  • Tatsuo Nakajima (Waseda Univ., Japan)