|
--------------------------------------------------------------
Deadline for submission of extended abstracts:
July 30th, 2007
--------------------------------------------------------------
International Workshop on Dependable Embedded Systems
http://wdes07.di.fc.ul.pt/
October 9, 2007
Beijing, China
in conjunction with
26th Symposium on Reliable Distributed Systems (SRDS 2007)
http://www.srds2007.org/
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 [log in to unmask] no later
than July 30, 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.
DEADLINES:
Submission: July 30, 2007
Notification: September 10, 2007
Preprint version: October 5, 2007
Final version: October 29, 2007
CO-CHAIRS:
* 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)
* Gabór Huszerl (BUTE, 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)
|
