Description
(Text)
English summary: This book presents an engineering process for dependable systems using patterns and components. Dependable systems are systems with security and safety requirements addressing confidentiality, integrity, reliability and availability. The process covers requirements engineering, specification, architectural design, and testing. Within this process, methods for describing dependability requirements and identifying conflicting and missing requirements based on patterns and a pattern system are presented. In the book, rules for specifying the system to be build are developed and a step-by-step how an architecture of the dependable system can be derived is described. Moreover, a novel approach for automatic test case generation based on UML models of the environment is presented. The methods are integrated into a development process that is described by steps with detailed input, procedure and output. Additionally, validation conditions are described and formally expressed with OCL. The validation conditions check the consistency among the diagrams. The development process is supported by a UML profile that extends a UML tool. The engineering process steps are related to standards such as Common Criteria and IEC 61508.
(Author portrait)
Dr. Denis Hatebur, 1993-1996 Ausbildung zum Informationstechnischen Assistenten, 1997-2000 Studium der Technischen Informatik an der Fachhochschule Dortmund, 2001-2004 Berater und Prüfer bei der TÜV Informationstechnik GmbH in Essen, seit 2004 Geschäftsführer der ITESYS GmbH in Dortmund mit Projekten im Bereich der Safety und Security, 2005-2006 Master-Studium Computer Engineering an der Universität Duisburg-Essen, 2006-2012 Wissenschaftlicher Mitarbeiter an der Universität Duisburg-Essen, 2012 Promotion im Fach Informatik/Software Engineering an der Universität Duisburg-Essen, Forschungsinteressen: Anforderungsanalyse, Design und Verifkation von sicheren Systemen.
