did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

did-you-know? rent-now

Amazon no longer offers textbook rentals. We do!

We're the #1 textbook rental company. Let us show you why.

9789400713680

Quantitative Model-Based Analysis of Real-Time Embedded Systems : The Quasimodo Project

by ; ;
  • ISBN13:

    9789400713680

  • ISBN10:

    9400713681

  • Format: Hardcover
  • Copyright: 2012-08-12
  • Publisher: Springer Verlag
  • Purchase Benefits
List Price: $139.00
We're Sorry.
No Options Available at This Time.

Summary

Characteristic for embedded systems is that they have to meet a multitude of quantitative constraints such as resource-, real-time-, or energy-consumption constraints. Model-Driven Development is a new software development technique in which the primary software artifacts are models providing a collection of views. Existing model-driven tools for real-time embedded systems are limited with respect to their treatment of quantitative constraints. This book presents methods and tools for dealing with quantitative constraints in model-driven development of embedded systems. It provides:1. methods for modelling various quantitative aspects of embedded systems;2. a wide range of powerful techniques and tools for analyzing such models;3. methods for schedulability analysis, controller synthesis, and model-based testing with quantitative properties;4. several industrial case studies demonstrating the strength of the techniques and tools.

Supplemental Materials

What is included with this book?

The New copy of this book will include any supplemental materials advertised. Please check the title of the book to determine if it should include any access cards, study guides, lab manuals, CDs, etc.

The Used, Rental and eBook copies of this book are not guaranteed to include any supplemental materials. Typically, only the book itself is included. This is true even if the title states it includes any access cards, study guides, lab manuals, CDs, etc.

Rewards Program