Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur

Quantitative Model-Based Analysis of Real-Time Embedded Systems

- The Quasimodo Project (2012)

Forfatter: info mangler
Bog
  • Format
  • Bog, hardback
  • Engelsk

Beskrivelse

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: methods for modelling various quantitative aspects of embedded systems; a wide range of powerful techniques and tools for analyzing such models; methods for schedulability analysis, controller synthesis, and model-based testing with quantitative properties; and, several industrial case studies demonstrating the strength of the techniques and tools.

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal260
  • Udgivelsesdato12-08-2012
  • ISBN139789400713680
  • Forlag Springer
  • Nummer i serien0
  • FormatHardback

Findes i disse kategorier...

Se andre, der handler om...

Machine Name: SAXO082