Model-Driven Dependability Assessment of Software Systems PDF ePub eBook

Books Info:

Model-Driven Dependability Assessment of Software Systems free pdf 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.

About Simona Bernardi

Simona Bernardi is a professor at the University Center of Defence, General Military Academy of Zaragoza, Spain. She has participated in several projects dealing with the development of fault-tolerant distributed embedded systems. Her research interests include software performance and dependability engineering, UML and object-oriented software development methodologies, and formal methods for the modeling and analysis of software systems. Jose Merseguer is a professor at the Department of Computer Science and Systems Engineering, University of Zaragoza, where he teaches software engineering courses at graduate and undergraduate levels. His main research interests include performance and dependability analysis of software systems, UML semantics, self-adaptive systems and service-oriented software engineering. Dorina C. Petriu is a professor at the Department of Systems and Computer Engineering at Carleton University, Ottawa, ON, Canada. Her main research interests are in the areas of software performance modeling and model-driven development, with an emphasis on integrating performance and dependability engineering into the software development process. She was a contributor to two OMG standards, the "UML Profile for Schedulability, Performance and Time (SPT)" and the "UML Profile for Modeling and Analysis of Real Time Systems (MARTE)".

Details Book

Author : Simona Bernardi
Publisher : Springer-Verlag Berlin and Heidelberg GmbH
Data Published : 22 October 2013
ISBN : 3642395112
EAN : 9783642395116
Format Book : PDF, Epub, DOCx, TXT
Number of Pages : 205 pages
Age + : 15 years
Language : English
Rating :

Reviews Model-Driven Dependability Assessment of Software Systems



17 Comments Add a comment




Related eBooks Download


  • Model Checking Software free pdfModel Checking Software

    This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software. held in San Francisco. USA. on August 22-24.2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based techniques for the validation and analysis of communi- tion protocols and software systems..


  • Applied Multivariate Data Analysis free pdfApplied Multivariate Data Analysis

    An easy to read survey of data analysis. linear regression models and analysis of variance. The extensive development of the linear model includes the use of the linear model approach to analysis of variance provides a strong link to statistical software packages..


  • A Software Process Model Handbook for Incorporating People's Capabilities free pdfA Software Process Model Handbook for Incorporating People's Capabilities

    A Software Process Model Handbook for Incorporating People's Capabilities offers the most advanced approach to date. empirically validated at software development organizations. This handbook adds a valuable contribution to the much-needed literature on people-related aspects in software engineering..


  • Static Analysis of Software free pdfStatic Analysis of Software

    The existing literature currently available to students and researchers is very general. covering only the formal techniques of static analysis. This book presents real examples of the formal techniques called "abstract interpretation" currently being used in various industrial fields: railway..


  • Industrial Deployment of System Engineering Methods free pdfIndustrial Deployment of System Engineering Methods

    A formal method is not the main engine of a development process. its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development..


  • Model-Driven Dependability Assessment of Software Systems free pdfModel-Driven Dependability Assessment of Software Systems

    Free Fiction Ebooks Download. 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