eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096
50% und mehr sparen mit den eBook Schnäppchen der Woche² >>
Klick ins Buch Languages for Embedded Systems and their Applications als Buch (gebunden)
PORTO-
FREI

Languages for Embedded Systems and their Applications

Selected Contributions on Specification, Design, and Verifi…
Sofort lieferbar
Buch (gebunden)
Buch (gebunden) € 192,49* inkl. MwSt.
Portofrei*
Dieser Artikel ist auch verfügbar als:

Produktdetails

Titel: Languages for Embedded Systems and their Applications

ISBN: 1402097131
EAN: 9781402097133
Selected Contributions on Specification, Design, and Verification from FDL'08.
Auflage 2009.
Gb.
Sprache: Englisch.
Herausgegeben von Martin Radetzki
Springer-Verlag GmbH

30. April 2009 - gebunden - XIV

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.
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
Kundenbewertungen zu „Languages for Embedded Systems and their Applications“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: