Quantitative Model-Based Analysis of Real-Time Embedded Systems
The Quasimodo Project
Seiten
2015
|
2012
Springer (Verlag)
9789400713680 (ISBN)
Springer (Verlag)
9789400713680 (ISBN)
- Titel wird leider nicht erscheinen
- Artikel merken
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: 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.
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.
| Erscheint lt. Verlag | 15.1.2015 |
|---|---|
| Reihe/Serie | Embedded Systems |
| Zusatzinfo | 10 black & white illustrations, 20 black & white tables, biography |
| Verlagsort | Dordrecht |
| Sprache | englisch |
| Einbandart | gebunden |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Technik ► Elektrotechnik / Energietechnik | |
| Schlagworte | Echtzeitsysteme • Embedded Systems |
| ISBN-13 | 9789400713680 / 9789400713680 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
Entwurfsmuster für effektive Softwareentwicklung
Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 27,95
Praxishandbuch für Java- und Webservice-Entwickler
Buch | Softcover (2025)
dpunkt (Verlag)
CHF 62,85
