Languages for Embedded Systems and their Applications
Selected Contributions on Specification, Design, and Verification from FDL'08
(Sprache: Englisch)
The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon...
Leider schon ausverkauft
versandkostenfrei
Buch (Gebunden)
Fr. 288.90
inkl. MwSt.
- Kreditkarte, Paypal, Rechnungskauf
- 30 Tage Widerrufsrecht
Produktdetails
Produktinformationen zu „Languages for Embedded Systems and their Applications “
The objective of Languages for Embedded Systems and their Applications is to provide researchers and designers with an overview of current research trends, results, and application experiences in computer languages for embedded systems. The book builds upon the most relevant contributions to FDL'08, the premier international conference specializing in this field. These contributions have been selected based on the results of reviews provided by leading experts from research and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.
Klappentext zu „Languages for Embedded Systems and their Applications “
Embedded systems take over complex control and data processing tasks in diverse application ?elds such as automotive, avionics, consumer products, and telec- munications. They are the primary driver for improving overall system safety, ef?ciency, and comfort. The demand for further improvement in these aspects can only be satis?ed by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on speci?cation, design, and veri?cation languages. The objective of the book at hand is to provide researchers and designers with an overview of current research trends, results, and application experiences in c- puter languages for embedded systems. The book builds upon the most relevant contributions to the 2008 conference Forum on Design Languages (FDL), the p- mier international conference specializing in this ?eld. These contributions have been selected based on the results of reviews provided by leading experts from - search and industry. In many cases, the authors have improved their original work by adding breadth, depth, or explanation.
Inhaltsverzeichnis zu „Languages for Embedded Systems and their Applications “
- Tentative TOC:Part I Model Based System Specification Languages
1 Refining power consumption estimations in the component based AADL design flow; E. Senn, J. Laurent, E. Juin, and J.-P. Diguet
2 MARTE vs. AADL for Discrete-Event and Discrete-Time Domains; Frédéric Mallet and Robert de Simone
3 Generation of MARTE Allocation Models from Activity Threads; Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, and Ulrich Nageldinger
4 Model-Driven System Validation by Scenarios; Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra
5 An Advanced Simulink Verification Flow Using SystemC; Kai Hylla, Jan-Hendrik Oetjens, and Wolfgang Nebel
Part II Langugages for Heterogeneous System Design
6 VHDL-AMS Implementation of a Numerical Ballistic CNT Model; D. Zhou, T. Kazmierski, and B. Al-Hashimi
7 A Sigma-delta BandPass ADC modelling with VHDL-AMS; R. Guelaz, P. Desgreys, and P. Loumeau
8 SystemC-AMS modeling of an electromechanical harvester of vibration energy; K. Caluwaerts and D. Galayko
Part III Digital Systems Design Methodologies based on C++
9 Application Workload and SystemC Platform Modeling for Performance Evaluation; J. Kreku, M. Hoppari, T. Kestilä, Y. Qu, J.-P. Soininen, and K. Tiensyrjä
10 Adaptive Interconnect Models for Transaction-Level Simulation; Rauf Salimi Khaligh and Martin Radetzki
11 Enabling Automated Code Transformation and Variable Tracing; C. Kerstan, N. Bannow, and W. Rosenstiel
12 Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models; J. Gladigau, C. Haubelt, and J. Teich
13 A SystemC Framework for Simulating Networked Embedded Systems; F. Fummi, D. Quaglia, and F. Stefanni
14 Modelling of Embedded Software Multitasking in SystemC/OSSS; Philipp Reinkemeier, Henning Kleen, and Wolfgang Nebel
15 A SystemC Language Extension for Modelling Reconfigurable Systems; Andreas Raabe and Armin Felke
16
... mehr
Stream Programming for FPGAs; Franjo Plavec, Zvonko Vranesic, and Stephen Brown
Part IV Verification and Requirements Evaluation
17 Verification Technique for Custom-Designed Components at the Arithmetic Bit Level; E. Pavlenko, M. Wedler, D. Stoffel, W. Kunz, O. Wienand, and E. Karibaev
18 Debugging Contradictory Constraints in Constraint-based Random Simulation; Daniel Grosse, Robert Wille, Robert Siegmund, and Rolf Drechsler
19 Requirements-Driven Simulation Framework for Communication Infrastructure; A. Meroni, V. Rana, M. Santambrogio, and F. Bruschi
20 Integrated Requirements Evaluation of Non-Functional System-on-Chip Properties; A. Viehl, B. Sander, O. Bringmann, and W. Rosenstiel
Part IV Verification and Requirements Evaluation
17 Verification Technique for Custom-Designed Components at the Arithmetic Bit Level; E. Pavlenko, M. Wedler, D. Stoffel, W. Kunz, O. Wienand, and E. Karibaev
18 Debugging Contradictory Constraints in Constraint-based Random Simulation; Daniel Grosse, Robert Wille, Robert Siegmund, and Rolf Drechsler
19 Requirements-Driven Simulation Framework for Communication Infrastructure; A. Meroni, V. Rana, M. Santambrogio, and F. Bruschi
20 Integrated Requirements Evaluation of Non-Functional System-on-Chip Properties; A. Viehl, B. Sander, O. Bringmann, and W. Rosenstiel
... weniger
Bibliographische Angaben
- 2009, 324 Seiten, Masse: 16,4 x 24,2 cm, Gebunden, Englisch
- Herausgegeben:Radetzki, Martin
- Herausgegeben: Martin Radetzki
- Verlag: Springer Netherlands
- ISBN-10: 1402097131
- ISBN-13: 9781402097133
- Erscheinungsdatum: 30.04.2009
Sprache:
Englisch
Kommentar zu "Languages for Embedded Systems and their Applications"
0 Gebrauchte Artikel zu „Languages for Embedded Systems and their Applications“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Languages for Embedded Systems and their Applications".
Kommentar verfassen