Model-Driven Dependability Assessment of Software Systems

0 valoración promedio
( 0 valoraciones por Goodreads )
 
9783662509425: Model-Driven Dependability Assessment of Software Systems

This book presents cutting-edge model-driven techniques for modeling and analysis of software dependability. It details the state of the art on UML profile proposals for dependability specification and rigorously describes the trade-off they accomplish.

"Sinopsis" puede pertenecer a otra edición de este libro.

From the Back Cover:

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 the Author:

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.

José 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)”.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Bernardi, Simona
Editorial: Springer (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783662509425_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 81,65
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,22
De Reino Unido a España
Destinos, gastos y plazos de envío

2.

Simona Bernardi
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2016. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9783662509425

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,98
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,07
De Reino Unido a España
Destinos, gastos y plazos de envío

3.

Simona Bernardi
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 2016. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9783662509425

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 83,93
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,08
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

4.

SIMONA BERNARDI
Editorial: Springer (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Paperback Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: NEW. 9783662509425 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Nº de ref. de la librería HTANDREE01157535

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 84,12
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,07
De Reino Unido a España
Destinos, gastos y plazos de envío

5.

Simona Bernardi; José Merseguer; Dorina Corina Petriu
Editorial: Springer (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Tapa blanda Cantidad: 15
Impresión bajo demanda
Librería
Valoración
[?]

Descripción Springer, 2016. Estado de conservación: New. This item is printed on demand for shipment within 3 working days. Nº de ref. de la librería LP9783662509425

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 105,16
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,99
De Alemania a España
Destinos, gastos y plazos de envío

6.

Simona Bernardi, Jose Merseguer, Dorina C. Petriu
Editorial: Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Paperback Cantidad: > 20
Impresión bajo demanda
Librería
The Book Depository EURO
(London, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 2016. Paperback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****.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. Softcover reprint of the original 1st ed. 2013. Nº de ref. de la librería AAV9783662509425

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 131,11
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,40
De Reino Unido a España
Destinos, gastos y plazos de envío

7.

Simona Bernardi
Editorial: Springer
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Paperback Cantidad: > 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Springer. Paperback. Estado de conservación: New. 187 pages. 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 usingUML 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9783662509425

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 130,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 8,47
De Estados Unidos de America a España
Destinos, gastos y plazos de envío

8.

Bernardi, Simona/ Merseguer, Jose/ Petriu, Dorina C
Editorial: Springer-Verlag New York Inc (2016)
ISBN 10: 3662509423 ISBN 13: 9783662509425
Nuevos Paperback Cantidad: 2
Librería
Revaluation Books
(Exeter, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag New York Inc, 2016. Paperback. Estado de conservación: Brand New. reprint edition. 9.30x6.20 inches. In Stock. Nº de ref. de la librería x-3662509423

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 129,00
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 17,02
De Reino Unido a España
Destinos, gastos y plazos de envío