000 04346nam a22004815i 4500
001 vtls000485152
003 RU-ToGU
005 20210922070220.0
007 cr nn 008mamaa
008 140715s2013 gw | s |||| 0|eng d
020 _a9783642395123
_9978-3-642-39512-3
024 7 _a10.1007/978-3-642-39512-3
_2doi
035 _ato000485152
040 _aSpringer
_cSpringer
_dRU-ToGU
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aBernardi, Simona.
_eauthor.
_9416985
245 1 0 _aModel-Driven Dependability Assessment of Software Systems
_helectronic resource
_cby Simona Bernardi, José Merseguer, Dorina Corina Petriu.
260 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
300 _aXVI, 187 p. 55 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
505 0 _a1 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 _aOver 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 _aComputer Science.
_9155490
650 0 _aComputer system performance.
_9303225
650 0 _aSoftware engineering.
_9566225
650 1 4 _aComputer Science.
_9155490
650 2 4 _aSoftware Engineering.
_9566285
650 2 4 _aComputation by Abstract Devices.
_9305111
650 2 4 _aSystem Performance and Evaluation.
_9303229
700 1 _aMerseguer, José.
_eauthor.
_9416986
700 1 _aPetriu, Dorina Corina.
_eauthor.
_9416987
710 2 _aSpringerLink (Online service)
_9143950
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-39512-3
912 _aZDB-2-SCS
999 _c358154