@inbook{37c917e6305f4f069cfef533e6eead28,
title = "Component-based development of dependable systems with UML",
abstract = "Dependable systems have to be developed carefully to prevent loss of life and resources due to system failures. Some of their mechanisms (for example, providing fault-tolerance) can be complicated to design and use correctly in the system context and are thus error-prone. This chapter gives an overview of reliability-related analyzes for the design of component-based software systems. This enables the identification of failure-prone components using complexity metrics and the operational profile, and the checking of reliability requirements using stereotypes. We report on the implementation of checks in a tool inside a framework for tool-supported development of reliable systems with UML and two case studies to validate the metrics and checks.",
author = "Jan J{\"u}rjens and Stefan Wagner",
year = "2005",
doi = "10.1007/11591962_16",
language = "English",
isbn = "3540306447",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "320--344",
booktitle = "Component-Based Software Development for Embedded Systems",
}