News

Topic

Our daily life relies more and more on the correct and timely functioning of computer and communication systems. Formal Dependability Engineering aims at modeling, analyzing and verifying such systems in a rigorous way. According to Avizienis, et al., dependability is the ability of a system to avoid service failures that are more frequent or more severe than is acceptable. To ensure that a system meets all its dependability properties, a systematic and rigorous analysis is needed.

This workshop aims at bringing together researchers in Dependability Engineering. It will provide a forum for recent and ongoing work and informal discussions. Focus of the workshop is on a systematic analysis of real-life applications.

Format

The workshop's format is rather informal and much time shall be devoted to discussions. We specifically encourage PhD students and PostDocs to submit an abstract on their recent and ongoing research. Invited presentations will be combined with accepted submissions.

Program

9:45 Arrival and coffee
10:15-12:15 Morning session

• Invited Speaker:
  Arjan van Gemund (TU Delft)
  Fault Diagnosis of Software-Intensive Systems
• Johann Schuster (UdBW Munich)
  What a revision of the AADL Error Annex could/should bring
• H.G. Kerkhoff and X. Zhang (UT Twente)
  Deriving Dependability Requirements for a Beamforming Chip

lunch

13:15-15:15 Afternoon session I

• Invited Speaker:
  Maurits de Graaf (Thales)
  Maximizing the lifetime of communication networks
• Marijn Jongerden (UT Twente)
  Maximizing System Lifetime by Battery Scheduling
• Rena Bakshi (VU Amsterdam)
  An Analytical model of Information Dissimination for a gossip-based Protocol
  

15:45-17:15 Afternoon session II

• Thomas Krieger (UdBW Munich)
  Playing for Time -- on the optimal inspection of (Nuclear) Facilities
  
• D.I. Miretsky (UT Twente)
  An efficient Multilevel Splitting scheme
• Aad Mathijsen (TU Eindhoven)
  Industrial verification of system behaviour using the mCRL2 toolset
  

drinks

19:00 Dinner (participation to be indicated at registration form)

Invited Speakers

• Arjan van Gemund: Fault Diagnosis of Software-Intensive Systems
• Maurits de Graaf: Maximizing the lifetime of communication networks

Registration

Please register before April 30 using the registration form. We will have to charge you a participation fee of 60 Euro including dinner or 30 Euros without dinner participation.

Payment is on-site with credit card or cash.

Important dates

• April 30: Deadline for registration for participation
• May 12: Dutch Dependability Day 2009

Organizers

Anne Remke and Marielle Stoelinga (University of Twente)

Contact

The organisation can be contacted at ddd2009 [at] cs.utwente.nl

Sponsors

The Dutch Dependability Day is sponsored by: