Mohlo by se vám také líbit

Informovat o naskladnění knihy

Více informací o knize Quantitative Model-Based Analysis of Real-Time Embedded Systems

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 458 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Computer architecture & logic design

• Plný název: Quantitative Model-Based Analysis of Real-Time Embedded Systems
• Podnázev: The Quasimodo Project
• Autor: Kim G. Larsen, Jan Tretmans, Brian Nielsen
• Jazyk: Angličtina
• Vazba: Pevná
• Počet stran: 250
• EAN: 9789400713680
• ID: 01978784
• Nakladatelství: Springer Netherlands
• Datum vydání: January 2015

Oblíbené z jiného soudku

---

---

---