Pattern- and Component-based Development of Dependable Systems
Hatebur, Denis
Produktnummer:
1889d03e3fe38b44fb868e76912f1f3d90
Autor: | Hatebur, Denis |
---|---|
Themengebiete: | Computerwissenschaft Informatik Software |
Veröffentlichungsdatum: | 02.08.2012 |
EAN: | 9783868880496 |
Auflage: | 1 |
Sprache: | Englisch |
Seitenzahl: | 292 |
Produktart: | Kartoniert / Broschiert |
Verlag: | Deutscher Wissenschaftsverlag |
Produktinformationen "Pattern- and Component-based Development of Dependable Systems"
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.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen