Over the final twenty years, an important problem for researchers engaged on modeling and assessment of computer-based structures has been the evaluate of approach Non useful houses (NFP) resembling functionality, scalability, dependability and security.

In this e-book, the authors current state-of-the-art model-driven concepts for modeling and research of software program dependability. such a lot of them are in accordance with using UML as software program specification language. From the software program method specification perspective, such suggestions take advantage of the normal extension mechanisms of UML (i.e., UML profiling). UML profiles let software program engineers so as to add non-functional homes to the software program version, as well as the sensible ones. The authors element the cutting-edge on UML profile proposals for dependability specification and conscientiously describe the trade-off they accomplish. the focal point is especially on RAMS (reliability, availability, maintainability and security) homes. one of the present profiles, they emphasize the DAM (Dependability research and Modeling) profile, which makes an attempt to unify, less than a typical umbrella, the former UML profiles from literature, delivering functions for dependability specification and research. moreover, they describe admired model-to-model transformation thoughts, which help the new release of the research version and make allowance for additional overview of alternative RAMS homes. Case reviews from various domain names also are awarded, so as to offer practitioners with examples of ways to use the aforementioned techniques.

Researchers and scholars will study uncomplicated dependability thoughts and the way to version them using UML and its extensions. they are going to additionally achieve insights into dependability research innovations by utilizing applicable modeling formalisms in addition to of model-to-model transformation strategies for deriving dependability research versions from UML necessities. in addition, software program practitioners will discover a unified framework for the specification of dependability specifications and homes of UML, and may enjoy the special case studies.