Model-Driven Dependability Assessment of Software Systems

Nonfiction, Computers, Advanced Computing, Theory, Programming, Software Development, General Computing
Cover of the book Model-Driven Dependability Assessment of Software Systems by Simona Bernardi, José Merseguer, Dorina Corina Petriu, Springer Berlin Heidelberg
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Simona Bernardi, José Merseguer, Dorina Corina Petriu ISBN: 9783642395123
Publisher: Springer Berlin Heidelberg Publication: October 22, 2013
Imprint: Springer Language: English
Author: Simona Bernardi, José Merseguer, Dorina Corina Petriu
ISBN: 9783642395123
Publisher: Springer Berlin Heidelberg
Publication: October 22, 2013
Imprint: Springer
Language: English

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.

Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Over the last two decades, a major challenge for researchers working on modeling and evaluation of computer-based systems has been the assessment of system Non Functional Properties (NFP) such as performance, scalability, dependability and security.

In this book, the authors present cutting-edge model-driven techniques for modeling and analysis of software dependability. Most of them are based on the use of UML as software specification language. From the software system specification point of view, such techniques exploit the standard extension mechanisms of UML (i.e., UML profiling). UML profiles enable software engineers to add non-functional properties to the software model, in addition to the functional ones. The authors detail the state of the art on UML profile proposals for dependability specification and rigorously describe the trade-off they accomplish. The focus is mainly on RAMS (reliability, availability, maintainability and safety) properties. Among the existing profiles, they emphasize the DAM (Dependability Analysis and Modeling) profile, which attempts to unify, under a common umbrella, the previous UML profiles from literature, providing capabilities for dependability specification and analysis. In addition, they describe two prominent model-to-model transformation techniques, which support the generation of the analysis model and allow for further assessment of different RAMS properties. Case studies from different domains are also presented, in order to provide practitioners with examples of how to apply the aforementioned techniques.

Researchers and students will learn basic dependability concepts and how to model them using UML and its extensions. They will also gain insights into dependability analysis techniques through the use of appropriate modeling formalisms as well as of model-to-model transformation techniques for deriving dependability analysis models from UML specifications. Moreover, software practitioners will find a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies.

More books from Springer Berlin Heidelberg

Cover of the book Towards Equity in Mathematics Education by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Errors in Uroradiology by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Das schöpferische Gehirn by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Bisphosphonates and Tumor Osteolysis by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Recent Developments in Modeling and Applications in Statistics by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book JIMD Reports, Volume 14 by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Monopsonistic Labour Markets and the Gender Pay Gap by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Viruses and the Lung by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Modern NMR Methodology by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Handbuch Arbeits- und Gesundheitsschutz by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Imaging for Pediatricians by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book A Comparison of Probabilistic Unfolding Theories for Paired Comparisons Data by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Diversity and Biotechnology of Ectomycorrhizae by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Seasonal Spermatogenesis in the Mute Swan (Cygnus olor) by Simona Bernardi, José Merseguer, Dorina Corina Petriu
Cover of the book Konzerncontrolling by Simona Bernardi, José Merseguer, Dorina Corina Petriu
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy