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…mehr
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.
Artikelnr. des Verlages: 12545360, 978-1-4020-9713-3
2009 edition
Seitenzahl: 324
Erscheinungstermin: 30. April 2009
Englisch
Abmessung: 242mm x 164mm x 32mm
Gewicht: 619g
ISBN-13: 9781402097133
ISBN-10: 1402097131
Artikelnr.: 25705355
Herstellerkennzeichnung
Libri GmbH
Europaallee 1
36244 Bad Hersfeld
06621 890
Inhaltsangabe
Model-Based System Specification Languages.- Power and Energy Estimations in Model-Based Design.- MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.- Generation of MARTE Allocation Models from Activity Threads.- Model-Driven System Validation by Scenarios.- An Advanced Simulink Verification Flow Using SystemC.- Languages for Heterogeneous System Design.- VHDL-AMS Implementation of a Numerical Ballistic CNT Model.- Wide-Band Sigma-Delta ADC Design in Superconducting Technology.- Heterogeneous and Non-linear Modeling in SystemC-AMS.- Digital Systems Design Methodologies Based on C++.- Application Workload and SystemC Platform Modeling for Performance Evaluation.- Adaptive Interconnect Models for Transaction-Level Simulation.- Efficient Architecture Evaluation Using Functional Mapping.- Symbolic Scheduling of SystemC Dataflow Designs.- SystemC Simulation of Networked Embedded Systems.- Modeling of Embedded Software Multitasking in SystemC/OSSS.- High-Level Reconfiguration Modeling in SystemC.- Stream Programming for FPGAs.- Verification and Requirements Evaluation.- A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.- Debugging Contradictory Constraints in Constraint-Based Random Simulation.- Design of Communication Infrastructures for Reconfigurable Systems.- Analysis of Non-functional Properties of MPSoC Designs.
Model-Based System Specification Languages.- Power and Energy Estimations in Model-Based Design.- MARTE vs. AADL for Discrete-Event and Discrete-Time Domains.- Generation of MARTE Allocation Models from Activity Threads.- Model-Driven System Validation by Scenarios.- An Advanced Simulink Verification Flow Using SystemC.- Languages for Heterogeneous System Design.- VHDL-AMS Implementation of a Numerical Ballistic CNT Model.- Wide-Band Sigma-Delta ADC Design in Superconducting Technology.- Heterogeneous and Non-linear Modeling in SystemC-AMS.- Digital Systems Design Methodologies Based on C++.- Application Workload and SystemC Platform Modeling for Performance Evaluation.- Adaptive Interconnect Models for Transaction-Level Simulation.- Efficient Architecture Evaluation Using Functional Mapping.- Symbolic Scheduling of SystemC Dataflow Designs.- SystemC Simulation of Networked Embedded Systems.- Modeling of Embedded Software Multitasking in SystemC/OSSS.- High-Level Reconfiguration Modeling in SystemC.- Stream Programming for FPGAs.- Verification and Requirements Evaluation.- A New Verification Technique for Custom-Designed Components at the Arithmetic Bit Level.- Debugging Contradictory Constraints in Constraint-Based Random Simulation.- Design of Communication Infrastructures for Reconfigurable Systems.- Analysis of Non-functional Properties of MPSoC Designs.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826