@InBook{Buckl2011,
  author    = {Christian Buckl and Alois Knoll and Ina Kathrin Schieferdecker and Justyna Zander},
  booktitle = {Model-Based Engineering of Embedded Real-Time Systems},
  title     = {Model-Based Analysis and Development of Dependable Systems},
  doi       = {10.1007/978-3-642-16277-0_10},
  isbn      = {978-3-642-16276-3},
  pages     = {271--293},
  publisher = {Springer},
  abstract  = {The term dependability was defined in the 1980s to encompass aspects like fault tolerance and system reliability. According to IFIP, it is defined as the trustworthiness of a computing system which allows reliance to be justifiably placed on the service it delivers. Hence, dependability is the capability of a system to successfully and safely complete its mission. This chapter concentrates on safety and reliability aspects. It starts with a review of the basic terminology including, for example, fault, failure, availability, and integrity. In the following, a mathematical model of fault-tolerant systems is defined. It is used in the further sections for comparison with different techniques for safety and reliability analysis. Also selected currently available model-based development tools are reviewed. A summary and identification of future research challenges conclude the chapter.},
  file      = {:2011/Buckl2011 - Model Based Analysis and Development of Dependable Systems.pdf:PDF},
  type      = {inbook},
  year      = {2011}
}