3rd International Workshop on Dependable Embedded Systems

http://www.vmars.tuwien.ac.at/wdes2006/

October 1st, 2006, Leeds, UK

 

Final Workshop Proceedings: wdes06_final.pdf (5 MB!)

 

Workshop Program:

 

 

 

09:30

Opening Session
Session Chair: Raimund Kirner, Eduardo Tovar

 

 

09:45

Session 1: Verification and Analysis
Session Chair: António Casimiro

 

Preliminary Thoughts on Verifying L4-Based Operating Systems
Marcus Völp

 

Verification of Platform-Independent and Platform-Specific Semantics of Dependable Embedded Systems
Susanne Kandl, Raimund Kirner, Gordon Fraser

10:45

Coffee Break

11:15

Session 2: Fault Tolerance
Session Chair: Einar Vollset

 

Analysis of Constraints in a Fault-Tolerant Distributed Clock Generation Scheme
Gottfried Fuchs, Matthias Függer, Andreas Steininger, Franz Zangerl

 

Tolerating SEU Faults in the Raw Architecture
Karandeep Singh, Adnan Agbaria, Dong-In Kang, Matthew French

12:15

Lunch

13:45

Keynote Speech
Session Chair: Raimund Kirner

 

Controller Area Network (CAN) Schedulability Analysis: Refuted, Revisited and Revised
Dr. Robert Davis (University of York, UK)

 

 

14:45

Session 3: Communication and Scheduling
Session Chair: Xavier Defago

 

Task Allocation In An Industrial Avionics Application
Paul Emberson, Mike Bennett, Iain Bate

 

ChickWeed: Group Communication for Embedded Devices in Opportunistic Networking Environments
Einar Vollset, Robbert van Renesse, Ken Birman

 

Improving Network Link Quality in Embedded Wireless Systems
Andrew R. Dalton, Jason O. Hallstrom, Hamza A. Zia, Nigamanth Sridhar

16:15

Coffee Break

16:45

Session 4: Design Considerations of Dependable Systems
Session Chair: Jörg Kaiser

 

The Effect of Diverse Hardware Platforms on N-Version Programming in Embedded Systems - An Empirical Evaluation
Falk Salewski, Dirk Wilking, Stefan Kowalewski

 

On the Development of Dependable Embedded Applications Using Specialized Wormholes
António Casimiro, Odorico M. Mendizabal, Paulo Verissimo

 

Building Adaptable, QoS-aware Dependable Embedded Systems
Luís Nogueira, Luís Miguel Pinho

18:15

Workshop Closing