Workshop on Dependable Software Systems
Friday Workshop of the DATE Conference. The program can be found here
News
| 2008-04-06 | Find links to the slides as far as we received them in the final program. |
| 2008-02-26 | The final program is up. |
| 2007-12-07 | Paper submission extension by roughly a week to 16.12.2007. |
Summary
The Design, Automation, and Test in Europe conference and exhibition is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in hardware and software design, test and manufacturing of electronic circuits and systems. The conference includes plenary invited papers, regular papers, panels, hot-topic sessions, tutorials and workshops, two special focus days and a track for executives. Friday Workshops are focusing on emerging research and application topics. At DATE 2008, one of the Friday Workshops is devoted to Dependable Software Systems. This one-day event consists of two invited paper sessions, poster presentations, and a panel session.
Workshop Description
Dependable Software Systems have become increasingly ubiquitous in recent years. This spans the domains of safety critical, fault-tolerant, real-time, distributed, and operating systems. In standing with the main conference special focus is directed at the design, test, and verification of desired systems properties. We seek contributions and participation from both academic researchers and industry practitioners to achieve a mix of current problems and approaches and long term research vision.
The program committee particularly invites papers that create a healthy debate and tackle important and emerging questions in dependability.
Topic Area
You are invited to participate and submit your contributions to the DATE 2008 Friday Workshop on Dependable Software Systems. The area of interest includes (but is not limited to) the following topics:
- automated failure management and recovery
- tools, concepts, and techniques for the design of robust systems
- self testing and self healing systems
- quantification of aspects of dependability in different domains
- specification of dependability requirements
- improved detection and recovery from failures
- failure management and review
- tradeoffs between requirements like performance, scalability, availability, reliability, security, etc.
- self adapting systems
- certification aspects of software systems including tool and component qualification
Submission Instructions
Submissions are invited in the form of papers of up to 6 pages and must be sent by email as PDF file to smp.date08@cse.unsw.edu.au with "DATE08WS" as subject. All submissions will be evaluated for selection with regard to their suitability for the workshop, originality, and technical soundness. Selected submissions can be accepted for regular or poster presentation. At the workshop, an electronic Digest of Contributions will be made available to all workshop participants which will include all material that authors are willing to provide: paper, abstract, slides, poster, etc.
Important Dates
| Paper Submission deadline: | December 16, 2007 |
| Notification of Acceptance: | January 17, 2008 |
| Camera-Ready Material due date: | February 28, 2008 |
Organisers
Workshop Co-Chairs
Iain Bate, University of York, UK
Stefan M. Petters, NICTA Ltd., Australia
Program Committee
Bojan Cukic, West Virginia University, USA
Hermann Kopetz, University of Vienna, Austria
Iain Bate, University of York, UK
John Regehr, University of Utah, USA
Mario Trapp, Fraunhofer Gesellschaft, Germany
Simin Nadjm-Tehrani, Linkoping University, Sweden/University of
Lucembourg, Luxembourg
Stavros Tripakis, Cadence Inc., USA
Stefan M. Petters, NICTA Ltd., Australia
Westley Weimer, University of Virginia, USA