Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 by Martin RadetzkiLanguages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08 by Martin Radetzki

Languages for Embedded Systems and their Applications: Selected Contributions on Specification…

EditorMartin Radetzki

Paperback | October 28, 2010

Pricing and Purchase Info

$271.57 online 
$310.95 list price save 12%
Earn 1358 plum® points

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Languages for Embedded Systems and their Applications: Selected Contributions on Specification…Format:PaperbackDimensions:340 pages, 9.25 × 6.1 × 0.68 inPublished:October 28, 2010Publisher:Springer NetherlandsLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:9048181917

ISBN - 13:9789048181919

Look for similar items by category:

Customer Reviews of Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08

Reviews

Table of Contents

Tentative TOC:Part I Model Based System Specification Languages1 Refining power consumption estimations in the component based AADL design flow; E. Senn, J. Laurent, E. Juin, and J.-P. Diguet2 MARTE vs. AADL for Discrete-Event and Discrete-Time Domains; Frédéric Mallet and Robert de Simone3 Generation of MARTE Allocation Models from Activity Threads; Andreas W. Liehr, Klaus J. Buchenrieder, Heike S. Rolfs, and Ulrich Nageldinger4 Model-Driven System Validation by Scenarios; Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, and Patrizia Scandurra5 An Advanced Simulink Verification Flow Using SystemC; Kai Hylla, Jan-Hendrik Oetjens, and Wolfgang NebelPart II Langugages for Heterogeneous System Design6 VHDL-AMS Implementation of a Numerical Ballistic CNT Model; D. Zhou, T. Kazmierski, and B. Al-Hashimi7 A Sigma-delta BandPass ADC modelling with VHDL-AMS; R. Guelaz, P. Desgreys, and P. Loumeau8 SystemC-AMS modeling of an electromechanical harvester of vibration energy; K. Caluwaerts and D. GalaykoPart 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 Radetzki11 Enabling Automated Code Transformation and Variable Tracing; C. Kerstan, N. Bannow, and W. Rosenstiel12 Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models; J. Gladigau, C. Haubelt, and J. Teich13 A SystemC Framework for Simulating Networked Embedded Systems; F. Fummi, D. Quaglia, and F. Stefanni14 Modelling of Embedded Software Multitasking in SystemC/OSSS; Philipp Reinkemeier, Henning Kleen, and Wolfgang Nebel15 A SystemC Language Extension for Modelling Reconfigurable Systems; Andreas Raabe and Armin Felke16 Stream Programming for FPGAs; Franjo Plavec, Zvonko Vranesic, and Stephen BrownPart IV Verification and Requirements Evaluation17 Verification Technique for Custom-Designed Components at the Arithmetic Bit Level; E. Pavlenko, M. Wedler, D. Stoffel, W. Kunz, O. Wienand, and E. Karibaev18 Debugging Contradictory Constraints in Constraint-based Random Simulation; Daniel Große, Robert Wille, Robert Siegmund, and Rolf Drechsler19 Requirements-Driven Simulation Framework for Communication Infrastructure; A. Meroni, V. Rana, M. Santambrogio, and F. Bruschi20 Integrated Requirements Evaluation of Non-Functional System-on-Chip Properties; A. Viehl, B. Sander, O. Bringmann, and W. Rosenstiel