Author Description

In November 2006, the "International Research Training Groups Workshop" brought together more than 30 computer science PhD students from all over Europe, who focus on dependability engineering and trustworthy systems. Systematic development of dependable hardware/software systems is a major concern in many applications areas. Safety-critical systems need to be dependable to prevent the harm or loss of human life, while non-safety critical systems need to be dependable to retain their business value. As the ubiquity and complexity of hardware/software system is continuously growing, dependability engineering is one of the fastest growing research domains in computer science. This volume contains abstracts of the talks given by the PhD students at the workshop. It can be considered as an extract of the state of the art in dependability engineering and highlights many recent research approaches. Covered topics include fault-tolerance, model checking, quality-of-service engineering, dependable web services and embedded systems, formal verification techniques, and model-driven approaches to dependability engineering.