Kontakt
Jak nakupovat
Doručení
Nákupní rádce
Quantitative Model-Based Analysis of Real-Time Embedded Systems
The Quasimodo Project
Angličtina
357 b
Až 30 dní na vrácení zboží
Zákazníci také koupili
/
Brožovaná
413
Kč
/
Brožovaná
732
Kč
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.
Informace o knize
Angličtina
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovanéhoMohlo by vás také zajímat
/
Brožovaná
2 185
Kč
Ahoj! Jsem Libroamiko, tvůj knižní rádce.
Jak ti můžu pomoct?