Model-Driven Dependability Assessment of Software Systems by Simona Bernardi (En

Description: Model-Driven Dependability Assessment of Software Systems by Simona Bernardi, Dorina Corina Petriu, José Merseguer Estimated delivery 3-12 business days Format Paperback Condition Brand New Description 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. Publisher Description 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 willfind a unified framework for the specification of dependability requirements and properties of UML, and will benefit from the detailed case studies. Author Biography 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)". Details ISBN 3662509423 ISBN-13 9783662509425 Title Model-Driven Dependability Assessment of Software Systems Author Simona Bernardi, Dorina Corina Petriu, José Merseguer Format Paperback Year 2016 Pages 187 Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG GE_Item_ID:144523816; About Us Grand Eagle Retail is the ideal place for all your shopping needs! With fast shipping, low prices, friendly service and over 1,000,000 in stock items - you're bound to find what you want, at a price you'll love! Shipping & Delivery Times Shipping is FREE to any address in USA. Please view eBay estimated delivery times at the top of the listing. Deliveries are made by either USPS or Courier. We are unable to deliver faster than stated. International deliveries will take 1-6 weeks. NOTE: We are unable to offer combined shipping for multiple items purchased. This is because our items are shipped from different locations. Returns If you wish to return an item, please consult our Returns Policy as below: Please contact Customer Services and request "Return Authorisation" before you send your item back to us. Unauthorised returns will not be accepted. Returns must be postmarked within 4 business days of authorisation and must be in resellable condition. Returns are shipped at the customer's risk. We cannot take responsibility for items which are lost or damaged in transit. For purchases where a shipping charge was paid, there will be no refund of the original shipping charge. Additional Questions If you have any questions please feel free to Contact Us. Categories Baby Books Electronics Fashion Games Health & Beauty Home, Garden & Pets Movies Music Sports & Outdoors Toys

Price: 130.53 USD

Location: Fairfield, Ohio

End Time: 2024-12-31T03:52:38.000Z

Shipping Cost: 0 USD