Model-Driven Dependability Assessment of Software Systems - Image 1

£75.33

Springer Model-Driven Dependability Assessment of Software Systems

Name: Model-Driven Dependability Assessment of Software Systems
Brand: Springer
Price: 75.73 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 38 days • 38 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 38 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (23 days, 60.5%)

Price range: £75 - £76

Price levels: 2 different prices over 38 days

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.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3662509423
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 23 August 2016
Listed Since: 28 July 2016

Barcode

No barcode data available

Springer Model-Driven Dependability Assessment of Software Systems

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Springer - Strategic System Assurance and Business Analytics

Advances in RAMS Engineering: In Honor of Professor Ajit Kumar Verma on His 60th Birthday (Springer Series in Reliability Engineering)

Optimization Models in Software Reliability (Springer Series in Reliability Engineering)

Safety and Reliability Modeling and Its Applications (Advances in Reliability Science)

Agile Modeling with UML: Code Generation, Testing, Refactoring

Advances in Reliability Analysis and its Applications (Springer Series in Reliability Engineering)

Springer - Composing Model-Based Analysis Tools Book

Dependability of Networked Computer-based Systems (Springer Series in Reliability Engineering)

Reliability Assessment of Safety and Production Systems: Analysis, Modelling, Calculations and Case Studies (Springer Series in Reliability Engineering)

System Reliability Management: Solutions and Technologies (Advanced Research in Reliability and System Assurance Engineering)

Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)

System Assurances: Modeling and Management (Emerging Methodologies and Applications in Modelling, Identification and Control)

Fundamentals of Dependable Computing for Software Engineers (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

Fundamentals of Dependable Computing for Software Engineers (Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series)

The Handbook of Reliability, Maintenance, and System Safety through Mathematical Modeling

Systems Engineering: Reliability Analysis Using k-out-of-n Structures

Theory and Engineering of Dependable Computer Systems and Networks: Proceedings of the Sixteenth International Conference on Dependability of Computer ... in Intelligent Systems and Computing, 1389)

Quality, IT and Business Operations: Modeling and Optimization (Springer Proceedings in Business and Economics)

Model-Implementation Fidelity in Cyber Physical System Design

Multi Pack:Requirements Analysis and System Design with CD:Developing InformationSystems with UML with ... Break Software:A Practical Guide to Testing

Automated Software Testing: Foundations, Applications and Challenges (Services and Business Process Reengineering)

Software Project Management for Distributed Computing: Life-Cycle Methods for Developing Scalable and Reliable Tools (Computer Communications and Networks)

Quantitative Assessments of Distributed Systems: Methodologies and Techniques (Performability Engineering Series)

Software-Entwicklung unter dem Aspekt der Qualitätssicherung