9789811007149 - Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices (13 risultati)

Condizione: New. In.

Condizione: New.

Condizione: New. pp. 171.

Condizione: New. pp. 171.

Condizione: New. pp. 171.

Buch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and 'evolution' capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a 'cookbook' for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systemsfor greenhouses and smart homes.

Hardcover. Condizione: Brand New. 196 pages. 9.50x6.50x0.75 inches. In Stock.

Condizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and ¿evolution¿ capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a ¿cookbook¿ for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systemsfor greenhouses and smart homes.

Hardcover. Condizione: Like New. Like New. book.

Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days.

Condizione: new. Questo è un articolo print on demand.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and 'evolution' capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a 'cookbook' for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systems for greenhouses and smart homes. 196 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirementssuch as timeliness, robustness, lifetime and ¿evolution¿ capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a ¿cookbook¿ for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systemsfor greenhouses and smart homes.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 196 pp. Englisch.