Quantitative Model-Based Analysis of Real-Time Embedded Systems
The Quasimodo Project
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
106.95 €
Produktdetails
Produktinformationen zu „Quantitative Model-Based Analysis of Real-Time Embedded Systems “
Klappentext zu „Quantitative Model-Based Analysis of Real-Time Embedded Systems “
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.
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.
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.
Bibliographische Angaben
- 2015, 2012., 250 Seiten, 10 Schwarz-Weiß-Abbildungen, Maße: 23,5 cm, Gebunden, Englisch
- Eds.: Larsen, Kim G.; Tretmans, Jan; Nielsen, Brian
- Verlag: Springer Netherlands
- ISBN-10: 9400713681
- ISBN-13: 9789400713680
Sprache:
Englisch
Kommentar zu "Quantitative Model-Based Analysis of Real-Time Embedded Systems"
0 Gebrauchte Artikel zu „Quantitative Model-Based Analysis of Real-Time Embedded Systems“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Quantitative Model-Based Analysis of Real-Time Embedded Systems".
Kommentar verfassen