Languages for Embedded Systems and Their Applications: Selected Contributions on Specification, Design, and Verification from FDL'08

ISBN-13: 9781402097133 / Angielski / Twarda / 2009 / 324 str.

Martin Radetzki

Opis

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."

Spis treści

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 ASystemC 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 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 Große, 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

Blurb

Embedded systems take over complex control and data processing tasks in diverse application fields such as automotive, avionics, consumer products, and telecommunications. They are the primary driver for improving overall system safety, efficiency, and comfort. The demand for further improvement in these aspects can only be satisfied by designing embedded systems of increasing complexity, which in turn necessitates the development of new system design methodologies based on specification, design, and verification languages.

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.