Cargando…

Model-Driven Dependability Assessment of Software Systems

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 m...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Bernardi, Simona (Autor), Merseguer, José (Autor), Petriu, Dorina Corina (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-642-39512-3
003 DE-He213
005 20220119092553.0
007 cr nn 008mamaa
008 131022s2013 gw | s |||| 0|eng d
020 |a 9783642395123  |9 978-3-642-39512-3 
024 7 |a 10.1007/978-3-642-39512-3  |2 doi 
050 4 |a QA76.758 
072 7 |a UMZ  |2 bicssc 
072 7 |a COM051230  |2 bisacsh 
072 7 |a UMZ  |2 thema 
082 0 4 |a 005.1  |2 23 
100 1 |a Bernardi, Simona.  |e author.  |0 (orcid)0000-0002-2605-6243  |1 https://orcid.org/0000-0002-2605-6243  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Model-Driven Dependability Assessment of Software Systems  |h [electronic resource] /  |c by Simona Bernardi, José Merseguer, Dorina Corina Petriu. 
250 |a 1st ed. 2013. 
264 1 |a Berlin, Heidelberg :  |b Springer Berlin Heidelberg :  |b Imprint: Springer,  |c 2013. 
300 |a XVI, 187 p. 55 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a 1 Dependability Assessment and Software Life-cycle -- 2 Dependability Concepts -- 3 Software models -- 4 Dependability Domain Model -- 5 Dependability Modeling and Analysis Profile -- 6 Dependability Analysis Techniques -- 7 Proposals for Dependability Assessment -- 8 From Software Models to Dependability Analysis Models -- 9 Conclusions and Advanced Open Issues -- A The MARTE profile -- B Classes in the dependability domain model. 
520 |a 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. 
650 0 |a Software engineering. 
650 0 |a Computer science. 
650 0 |a Electronic digital computers-Evaluation. 
650 1 4 |a Software Engineering. 
650 2 4 |a Theory of Computation. 
650 2 4 |a System Performance and Evaluation. 
700 1 |a Merseguer, José.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
700 1 |a Petriu, Dorina Corina.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783642395116 
776 0 8 |i Printed edition:  |z 9783642395130 
776 0 8 |i Printed edition:  |z 9783662509425 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-642-39512-3  |z Texto Completo 
912 |a ZDB-2-SCS 
912 |a ZDB-2-SXCS 
950 |a Computer Science (SpringerNature-11645) 
950 |a Computer Science (R0) (SpringerNature-43710)